A-system: Declarative Programming with Abduction.
Bert Van NuffelenAntonis C. KakasPublished in: LPNMR (2001)
Keyphrases
- declarative programming
- logic programming
- answer set programming
- logic programs
- reasoning tasks
- nonmonotonic reasoning
- abductive reasoning
- deductive databases
- background knowledge
- knowledge base
- knowledge representation
- answer sets
- default logic
- programming language
- inductive logic programming
- stable model semantics