An Axiomatic Approach to Semantics of Disjunctive Programs.
Jürgen DixMartin MüllerPublished in: ICLP (1994)
Keyphrases
- answer sets
- logic programming
- answer set semantics
- stable model semantics
- logic programs
- stable models
- normal logic programs
- dynamic logic
- answer set programming
- fixpoint semantics
- fixpoint
- programming language constructs
- semantic representation
- formal semantics
- control flow
- owl ontologies
- datalog programs
- model theoretic
- control program
- neural network
- semantics of logic programs
- databases
- computer programs
- description logics
- programming language
- relational databases