Keyphrases
- theorem proving
- logic programming
- logic programs
- first order logic
- answer set programming
- knowledge representation
- nonmonotonic reasoning
- theorem prover
- logic programming language
- decision procedures
- automated reasoning
- automated deduction
- deductive databases
- programming language
- inference rules
- knowledge representation and reasoning
- knowledge base
- reasoning tasks
- classical logic
- inductive logic programming
- stable models
- probabilistic reasoning
- default logic
- answer sets
- artificial intelligence
- data mining
- search algorithm
- fixpoint
- propositional logic
- linear logic