Login / Signup
A Rewriting Logic Approach to Operational Semantics (Extended Abstract).
Traian-Florin Serbanuta
Grigore Rosu
José Meseguer
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
extended abstract
operational semantics
declarative semantics
model theoretic
formal semantics
term rewriting
mental states
agent programming
denotational semantics
data model
database
conjunctive queries
machine learning
logic programs
autonomous agents