PTL: A Propositional Typicality Logic.
Richard BoothThomas MeyerIvan José VarzinczakPublished in: JELIA (2012)
Keyphrases
- propositional logic
- sound and complete axiomatization
- belief revision
- multi valued
- nonmonotonic logics
- proof procedure
- first order logic
- possibilistic logic
- propositional variables
- probabilistic logic
- predicate calculus
- logic programming
- autoepistemic logic
- logical theories
- minimal models
- deductive reasoning
- classical logic
- set theory
- belief change
- logical framework
- classical first order logic
- coalition logic
- satisfiability testing
- general logic programs
- truth maintenance systems
- asynchronous circuits
- strips planning
- modal logic
- default logic
- deontic logic
- horn clauses
- relational databases