<--- Back to Details
First PageDocument Content
Philosophical logic / Metalogic / Branches of philosophy / Epistemic modal logic / Non-monotonic logic / Model theory / Epistemology / Logic programming / Entailment / Logic / Non-classical logic / Modal logic
Date: 2008-08-11 05:22:29
Philosophical logic
Metalogic
Branches of philosophy
Epistemic modal logic
Non-monotonic logic
Model theory
Epistemology
Logic programming
Entailment
Logic
Non-classical logic
Modal logic

Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008

Add to Reading List

Source URL: www.cs.uu.nl

Download Document from Source Website

File Size: 3,46 MB

Share Document on Facebook

Similar Documents

Visual Sedimentation Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete To cite this version: Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete. Visual Sedimentation. IEEE Transactions on Visualization and Computer Grap

Visual Sedimentation Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete To cite this version: Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete. Visual Sedimentation. IEEE Transactions on Visualization and Computer Grap

DocID: 1rhAK - View Document

Formalizing Symbolic Decision Procedures  | {z in

Formalizing Symbolic Decision Procedures | {z in

DocID: 1rgM0 - View Document

From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1  Information Science and Technology Institute, University of Urbino

From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino

DocID: 1qY5Z - View Document

On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ e zilber/

On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ e zilber/

DocID: 1qXA7 - View Document

Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain.  Florent Madelaine

Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine

DocID: 1qXjg - View Document