Clausal resolution in a logic of rational agency.
Clare DixonMichael FisherAlexander BolotovPublished in: Artif. Intell. (2002)
Keyphrases
- defeasible logic
- temporal resolution
- horn clauses
- high resolution
- consequence finding
- modal logic
- theorem proving
- constraint propagation
- environmental protection
- decision making
- predicate logic
- low resolution
- logic programming
- propositional theories
- classical logic
- multi valued
- abductive reasoning
- decision procedures
- decomposable negation normal form
- knowledge representation and reasoning
- computational properties
- logical framework
- probabilistic logic
- automated reasoning
- default logic
- inductive logic programming
- expressive power
- logic programs