A Tarskian Informal Semantics for Answer Set Programming.
Marc DeneckerYuliya LierlerMiroslaw TruszczynskiJoost VennekensPublished in: ICLP (Technical Communications) (2012)
Keyphrases
- answer set programming
- logic programming
- stable model semantics
- reasoning tasks
- disjunctive logic programs
- update semantics
- logic programs
- disjunctive logic programming
- answer sets
- answer set semantics
- stable models
- default theories
- action language
- constraint logic programming
- knowledge representation
- answer set programs
- formal semantics
- causal theories
- haplotype inference
- deductive databases
- knowledge representation and reasoning
- strong equivalence
- programming language
- database systems
- derivation rules
- model theoretic
- event calculus
- possibilistic logic
- owl ontologies
- nonmonotonic reasoning
- default logic
- inductive logic programming