Taming the complexity of linear time BDI logics.

Nils Bulling Koen V. Hindriks

Published in: AAMAS (2011)

Keyphrases

worst case
multi agent systems
computational complexity
modal logic
multi agent
space complexity
expressive power
complexity analysis
cooperative
classical logic
data sets
agent architecture
temporal logic
autonomous agents
expert systems
search engine
neural network