Partition-based logical reasoning for first-order and propositional theories.
Eyal AmirSheila A. McIlraithPublished in: Artif. Intell. (2005)
Keyphrases
- logical reasoning
- propositional theories
- computational problems
- computational properties
- logic programs
- formal semantics
- sat solvers
- first order logic
- expressive power
- logic programming
- description logics
- databases
- stable models
- constraint satisfaction problems
- evolutionary algorithm
- answer set semantics
- lower bound
- artificial intelligence