Generative Datalog and Answer Set Programming - Extended Abstract.
Mario AlvianoPublished in: JELIA (2023)
Keyphrases
- extended abstract
- answer set programming
- logic programming
- logic programs
- deductive databases
- answer sets
- expressive power
- reasoning tasks
- constraint logic programming
- stable model semantics
- query answering
- programming language
- answer set programs
- nonmonotonic reasoning
- knowledge representation
- stable models
- knowledge base
- causal theories
- query language
- database
- haplotype inference
- disjunctive logic programming
- qualitative spatial and temporal reasoning
- knowledge representation and reasoning
- default logic
- inductive logic programming
- function symbols
- update semantics
- answer set semantics
- software engineering