Login / Signup
Personalization, Verification and Conformance for Logic-based Communicating Agents.
Matteo Baldoni
Cristina Baroglio
Alberto Martelli
Viviana Patti
Claudio Schifanella
Laura Torasso
Viviana Mascardi
Published in:
WOA (2005)
Keyphrases
</>
communicating agents
artificial agents
event calculus
protocol specification
model checking
user profiles
knowledge representation
recommender systems
computational intelligence
spatial databases
temporal reasoning