A Formal Semantics for an Active Functional DBPL.
Alexandra PoulovassilisSwarup ReddiCarol SmallPublished in: J. Intell. Inf. Syst. (1996)
Keyphrases
- formal semantics
- eca rules
- formal language
- logical language
- operational semantics
- er model
- speech acts
- modeling language
- ontology languages
- modelling language
- logical reasoning
- theorem prover
- first order logic
- database programming language
- e learning
- black box
- machine learning
- software systems
- epistemic logic
- domain knowledge
- multi agent systems