Propositional Attitudes in Non-Compositional Logic.
Matthias GernerPublished in: FLAIRS Conference (2012)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- deductive reasoning
- horn clauses
- proof procedure
- modal logic
- attitudes toward
- predicate calculus
- general logic programs
- propositional logic
- propositional variables
- logic programming
- truth maintenance systems
- conditional logic
- possibilistic logic
- strips planning
- default logic
- first order logic
- classical first order logic
- predicate logic
- abductive reasoning
- dynamic logic
- classical logic
- autoepistemic logic
- inference mechanism
- coalition logic
- neural network