ASP-PROLOG: a system for reasoning about answer set programs in prolog.
Omar El-KhatibEnrico PontelliTran Cao SonPublished in: NMR (2004)
Keyphrases
- answer set programs
- answer set programming
- logic programming
- logic programs
- answer sets
- answer set solvers
- expert systems
- programming language
- knowledge representation
- stable models
- knowledge base
- theorem proving
- nonmonotonic reasoning
- answer set semantics
- deductive databases
- data model
- stable model semantics
- reasoning tasks