Propositional Logics for the Reasoning about Knowledge Integrations.
Sebastian BabPublished in: ICAART (1) (2012)
Keyphrases
- default logic
- classical first order logic
- first order logic
- coalition logic
- expressive power
- propositional variables
- propositional logic
- linearly ordered
- logic programming
- modal logic
- nonmonotonic logics
- inference rules
- autoepistemic logic
- classical logic
- logical framework
- prime implicates
- horn logic
- propositional calculus
- default theories
- default reasoning
- epistemic logic
- strips planning
- conditional logic
- knowledge representation
- probabilistic logic
- programming language
- belief revision
- theorem prover
- nonmonotonic reasoning
- statistical relational learning
- multi valued
- computational properties
- horn clauses
- expert systems