ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.
Omar El-KhatibEnrico PontelliTran Cao SonPublished in: PADL (2004)
Keyphrases
- answer set programs
- logic programming
- answer set programming
- logic programs
- answer sets
- knowledge representation
- answer set solvers
- programming language
- expert systems
- stable models
- answer set semantics
- knowledge base
- nonmonotonic reasoning
- database
- knowledge representation and reasoning
- reasoning tasks
- horn clauses
- theorem proving
- temporal reasoning
- deductive databases
- orders of magnitude
- stable model semantics
- machine learning
- software engineering