Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.
Maurizio GabbrielliGiorgio LeviPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- logic programs
- fixpoint semantics
- logic programming
- fixpoint
- answer sets
- general logic programs
- model theoretic
- answer set programming
- declarative semantics
- stable models
- normal logic programs
- background knowledge
- inductive logic programming
- strong equivalence
- deductive databases
- datalog programs
- default reasoning
- programming language