Temporal and Modal Logic

Maysoon Al-Suwaidan ميسون السويدان

Tufts University

Graduate Student

Philosophy Department

Abbasid Poetry, Action Theory, Al Mutanabbi, and Al Shanfara's Lamiyyat Al 'Arab

Miltos Petridis

University of Brighton

Head of School

School of Computing, Engineering and Mathematics

Agile Software Process Improvement, Architectural Patterns, Artificial Intelligence, and Artificial Neural Network

Uli Sattler

The University of Manchester

Faculty Member

Computer Science Department

Automated Deduction, Knowledge Representation and Reasoning (Computer Science), Temporal and Modal Logic, and Computer Science

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Sonja Smets

Universiteit van Amsterdam

Faculty Member

Institute for Logic, Language and Computation

Artificial Intelligence, Belief Revision (Computer Science), Epistemic Logic, and Epistemology

Roberto Ciuni

Ruhr Uni

Post-Doc

Institut für Philosophie II Department

Epistemic Logic, Logic, Non-Classical Logic, and Philosophy

Enrico Franconi

Free University of Bozen-Bolzano

Faculty Member

KRDB Department

Artificial Intelligence, Computational Logic, Conceptual Modelling, and Description logics

Nischal Sathyanarayana

University of Oxford

Graduate Student

Computing Laboratory

Belief Revision (Computer Science), Computer Science, Database Systems, and Formal Methods (Formal Verification)

Ronald de Haan

Vienna University of Technology

Graduate Student

Faculty of Informatics

Algorithms, Artificial Intelligence, Automata Theory (Formal Languages), and Automated Deduction

David Castaneda

Universidad Nacional de Colombia (National University of Colombia)

Alumnus

Philosophy Department

Arabic Philosophy, Argumentation Theory, Aristotle, and Christian Philosophy

Pierre-Yves Schobbens

FUNDP (University of Namur)

Faculty Member

Computer Science Department

(Multi-) Agent Technology, Artificial Intelligence, Computer Science, and Modal Logic

Marco Montali

Free University of Bozen-Bolzano

Faculty Member

KRDB Research Centre for Knowledge and Data

Business Process Management, Business Rules & Processes, Computational Logic, and Conceptual Modelling

Pavel Davydov

Rutgers

Graduate Student

Philosophy Department

Epistemology, Individuation, Intentionality, and Metaphysics

Behnam Esfahbod

Stevens Institute of Technology

Graduate Student

School of Systems and Enterprises

Complex Systems, Complex Systems Science, Computational Logic, and Privacy

Sara Negri

University of Helsinki

Faculty Member

Department of Philosophy, History, Culture and Art Studies

Constructivism, Formal Epistemology, Logic And Foundations Of Mathematics, and Proof Theory

Joanna Golińska-Pilarek

University of Warsaw

Faculty Member

Institute of Philosophy

Analytic Philosophy, Computational Logic, Fuzzy Logic, and Linear Logic

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Ross Birdwise

Art, Contemporary Art, Continental Philosophy of Mind, and Critical Theory and Difference

Gillman Payette

University of Calgary

Graduate Student

Philosophy Department

Logical Consequence, Logical Pluralism, Modal Logic, and Philosophical Logic

Henrique Lopes Cardoso

Universidade do Porto

Faculty Member

Faculdade de Engenharia Department

Agent Based, Artificial Intelligence, Autonomous Agentes, and Business Rules & Processes

Michael Chary

Mount Sinai School of Medicine

Graduate Student

Neuroscience Department

Agent-Based Computational Economics, Artificial Intelligence, Artificial Neural Network, and Automata Theory (Formal Languages)

Carolina Blasio

Universidade Estadual de Campinas

Graduate Student

Institute of Philosophy and Human Sciences

Identity (Philosophy), Logic, Metaphysics of Time, and Ontology

Marcello Leida

KUSTAR

Department Member

EBTIC Department

Data Mining, Distributed Computing, Prediction-based Decisions & Planning, and Semantic Web technology - Ontologies

hanife bilgili

Yildiz Technical University

Faculty Member

Philosophy Department

Frege (Frege), History and Method of Analytical Ontology, History of Logic, and Modal Logic
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012