Login / Signup
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems.
Floris Roelofsen
Luciano Serafini
Alessandro Cimatti
Published in:
ECAI (2004)
Keyphrases
</>
multi context systems
propositional logic
information flow
belief revision
bdi agents
knowledge sources
satisfiability problem
nonmonotonic logics
np complete
social networks
computational complexity
first order logic
phase transition
mental attitudes
data sets
learning algorithm