On the Coincidence of Semantics for Uniquely Determined Programs.
Pascal HitzlerAnthony Karel SedaPublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- stable model semantics
- dynamic logic
- fixpoint semantics
- control flow
- programming language constructs
- formal semantics
- logic programming
- logic programs
- stable models
- fixpoint
- declarative semantics
- semantic information
- database languages
- databases
- deductive databases
- database
- semantic representation
- object oriented databases
- datalog programs
- automatic programming
- language constructs
- query language
- domain knowledge
- multi agent
- neural network