Login / Signup
Structural operational semantics for AKL.
Seif Haridi
Sverker Janson
Catuscia Palamidessi
Published in:
Future Gener. Comput. Syst. (1992)
Keyphrases
</>
operational semantics
formal semantics
mental states
model theoretic
data model
agent programming
declarative semantics
denotational semantics
activity diagrams
database
machine learning
case study
deductive databases