Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms.

Vineet Padmanabhan Guido Governatori Abdul Sattar

Published in: MIWAI (2011)

Keyphrases

multi agent systems
user interaction
agent architecture
computational properties
neural network
knowledge base
multi agent
human computer interaction
expressive power
agent systems
learning environment
digital libraries
data quality
human interaction
bdi architecture