On the Unification of Process Semantics: Equational Semantics.
David de Frutos-EscrigCarlos Gregorio-RodríguezMiguel PalominoPublished in: MFPS (2009)
Keyphrases
- formal semantics
- logic programming
- conceptual model
- semantic information
- equational theories
- database
- theorem prover
- higher order
- information systems
- neural network
- query processing
- natural language
- bayesian networks
- case study
- decision making
- theorem proving
- speech acts
- nonmonotonic logics
- logical language
- argumentation semantics