Login / Signup
Model theoretic implications for agent languages in support of interoperability and composability.
Andreas Tolk
Saikou Y. Diallo
Jose J. Padilla
Heber Herencia-Zapana
Published in:
WSC (2011)
Keyphrases
</>
model theoretic
operational semantics
description logics
multi agent systems
autonomous agents
hidden markov models
proof theoretic
metadata
multi agent
logic programs
multiagent systems
knowledge base
search algorithm
expert systems
software engineering
intelligent agents