Towards a Unified Theory of Operational and Axiomatic Semantics.
Grigore RosuAndrei StefanescuPublished in: ICALP (2) (2012)
Keyphrases
- general theory
- decision making
- decision theory
- theoretical framework
- formal semantics
- speech acts
- theoretical basis
- logic programming
- proof theoretic
- databases
- abstract argumentation
- set theory
- argumentation semantics
- stable models
- closed world assumption
- proof theory
- logical framework
- computational model
- neural network