Login / Signup
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems.
Olivier Gasquet
Valentin Goranko
François Schwarzentruber
Published in:
Auton. Agents Multi Agent Syst. (2016)
Keyphrases
</>
multi agent systems
epistemic logic
computational logic
logical framework
dynamic epistemic logic
temporal epistemic
proof theory
normative systems
automated reasoning
deductive reasoning
computational properties
logic programming
coalition logic
non stationary
order of magnitude reasoning
logical inference
visual information
proof theoretic
computation tree logic
reasoning engine
model checking
cooperative
intuitionistic logic
cognitive agents
agent systems
meta level
knowledge representation
probabilistic reasoning
agent architecture
knowledge base
multi agent
reasoning systems
reasoning about actions
default reasoning
modal logic
human reasoning
logical rules
reasoning tasks
intelligent agents
inference rules
coalition formation
model based diagnosis
proof procedure
temporal logic
big data
linear logic
derivation rules
visual features
abductive reasoning
low level
qualitative reasoning