Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us.
Sahil GuptaYi-Yun ChengBertram LudäscherPublished in: Datalog (2019)
Keyphrases
- answer set programming
- logic programming
- logic programs
- deductive databases
- answer sets
- expressive power
- constraint logic programming
- reasoning tasks
- query answering
- stable model semantics
- nonmonotonic reasoning
- causal theories
- programming language
- answer set programs
- stable models
- knowledge representation
- default logic
- knowledge representation and reasoning
- integrity constraints
- answer set semantics
- knowledge base
- data complexity
- fixpoint
- disjunctive logic programming
- artificial intelligence
- transitive closure
- data exchange
- update semantics
- haplotype inference