Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.
Philippe BesnardTorsten SchaubHans TompitsStefan WoltranPublished in: ECSQARU (2003)
Keyphrases
- quantified boolean formulas
- inconsistent knowledge
- reasoning tasks
- decision procedures
- automated reasoning
- logic programming
- knowledge base
- description logics
- modal logic
- temporal knowledge
- universally quantified
- computational properties
- classical logic
- knowledge based systems
- expressive power
- logic programs
- theorem proving
- propositional satisfiability
- answer set programming
- temporal reasoning
- default logic
- situation calculus
- inference rules
- valued logic
- knowledge representation
- probabilistic reasoning
- theorem prover
- temporal logic
- integrity constraints
- first order logic