On the Relationship Between BDI Logics and Standard Logics of Concurrency.

Published in: ATAL (1998)

Keyphrases

expressive power
modal logic
cooperative
inference rules
propositional calculus
classical logic
propositional dynamic logic
genetic algorithm
database systems
logic programming
nonmonotonic logics
agent architecture
database
higher order
expert systems
multi agent systems
neural network