Operational Semantics for Declarative Networking.

Juan Antonio Navarro Pérez Andrey Rybalchenko

Published in: PADL (2009)

Keyphrases

operational semantics
declarative semantics
formal semantics
model theoretic
mental states
knowledge representation
data model
denotational semantics
high level
relational databases
peer to peer
machine learning
expert systems
activity diagrams