Three Semantics: A Framework for Studying Program Structures and Program Logics.
Patrice EnjalbertGuy CousineauPublished in: IFIP Congress (1980)
Keyphrases
- main contribution
- bayesian networks
- formal semantics
- introduce a general framework
- grounded semantics
- declarative semantics
- theoretical framework
- logic programming
- computer programs
- data sets
- logical framework
- model theoretic
- program execution
- stable model semantics
- semantic information
- intended meaning
- knowledge base