Theory and Implementation of Multi-Context Systems Containing Logical and Sub-Symbolic Contexts of Reasoning.

Tarek R. Besold

Published in: Informatiktage (2010)

Keyphrases

multi context systems
bdi agents
information flow
propositional logic
knowledge sources
cooperative
logical framework
mental attitudes
logical reasoning
nonmonotonic logics
agent architecture
communication networks
autonomous agents
model checking
knowledge based systems
multi agent
decision making
databases