A Compositional Semantics for Logic Programs.
Annalisa BossiMaurizio GabbrielliGiorgio LeviMaria Chiara MeoPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- semantics for logic programs
- logic programs
- logic programming
- open world
- stable models
- answer sets
- fixpoint
- minimal models
- normal logic programs
- propositional logic
- normal form
- closed world
- answer set programming
- deductive databases
- incomplete information
- artificial intelligence
- database
- default logic
- data complexity
- multi agent
- high level