CC Programs with both In- and Non-determinism: A Concurrent Semantics.
Ugo MontanariFrancesca RossiVijay A. SaraswatPublished in: PPCP (1994)
Keyphrases
- fixpoint semantics
- stable model semantics
- stable models
- logic programming
- control flow
- formal semantics
- logic programs
- dynamic logic
- semantic information
- declarative semantics
- concurrent programs
- fixpoint
- model theoretic
- automatic programming
- answer set programming
- speech acts
- normal logic programs
- web services
- information systems
- semantics for logic programs
- databases