Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.
Maurizio GabbrielliGiorgio LeviPublished in: ALP (1990)
Keyphrases
- logic programs
- fixpoint semantics
- fixpoint
- logic programming
- answer sets
- general logic programs
- stable models
- answer set programming
- background knowledge
- model theoretic
- declarative semantics
- inductive logic programming
- strong equivalence
- deductive databases
- normal logic programs
- temporal logic
- theorem proving
- incomplete information
- decision procedures
- general purpose