Building an Epistemic Logic for Argumentation.

François Schwarzentruber Srdjan Vesic Tjitze Rienstra

Published in: JELIA (2012)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
inference rules
logical framework
multi faceted
formal semantics
image processing
artificial intelligence
computation tree logic
mathematical theory
argumentation frameworks
formal specification
probabilistic model
cooperative