Non-clausal Reasoning with Propositional Definite Theories.
Zbigniew StachniakPublished in: AISC (1998)
Keyphrases
- propositional theories
- computational properties
- defeasible logic
- computational problems
- logic programs
- proof procedure
- theorem proving
- reasoning tasks
- knowledge compilation
- knowledge representation and reasoning
- deductive reasoning
- horn clauses
- formal models
- probabilistic logic
- reasoning and decision making
- reasoning mechanisms
- description logics
- knowledge representation
- legal reasoning
- causal reasoning
- decomposable negation normal form
- reasoning systems
- first order logic
- default logic
- inductive logic programming
- automated reasoning
- propositional logic
- prime implicates
- logic programming
- knowledge base
- spatial reasoning
- nonmonotonic reasoning
- constraint propagation
- knowledge processing
- refinement operators
- truth maintenance systems
- expert systems