Semantics of Disjunctive Programs: A Unifying Approach.
Teodor C. PrzymusinskiPublished in: GI Jahrestagung (1994)
Keyphrases
- answer sets
- logic programming
- answer set semantics
- stable model semantics
- logic programs
- fixpoint semantics
- answer set programming
- dynamic logic
- formal semantics
- stable models
- normal logic programs
- programming language constructs
- semantics of logic programs
- declarative semantics
- data sets
- model theoretic
- computer programs
- semantic representation
- fixpoint
- conceptual graphs
- update semantics
- semantic information
- databases
- database