Decidability of Predicate Logics with Team Semantics.
Juha KontinenAntti KuusistoJonni VirtemaPublished in: MFCS (2016)
Keyphrases
- knowledge base
- description logics
- model theoretic
- computational properties
- knowledge representation formalisms
- logic programming
- conditional logic
- proof theoretic
- propositional dynamic logic
- nonmonotonic logics
- reasoning tasks
- proof theory
- belief revision
- number restrictions
- decision procedures
- modal logic
- valued semantics
- conceptual model
- expressive power
- epistemic logic
- robot soccer
- formal semantics
- logic rules
- first order logic
- semantic information
- logical framework
- inference rules
- default logic
- robotic soccer
- higher order logic
- query answering
- intuitionistic logic
- proof procedures
- nonmonotonic reasoning
- team members
- dynamic logic
- autoepistemic logic
- default reasoning
- horn clauses