Keyphrases
- logic programming
- logic programs
- nonmonotonic reasoning
- logic programming language
- abductive reasoning
- answer set programming
- deductive databases
- programming language
- background knowledge
- causal networks
- knowledge base
- default logic
- answer sets
- knowledge representation
- abductive logic programming
- evolutionary algorithm
- model checking
- object oriented
- domain knowledge
- data structure
- multi agent
- image processing
- computer vision
- genetic algorithm
- predicate invention
- databases