Login / Signup
Rule-Based Reasoners in Epistemic Logic.
Anthia Solaki
Published in:
ESSLLI Student Sessions (2018)
Keyphrases
</>
epistemic logic
modal logic
model checking
inference rules
multi agent systems
dynamic epistemic logic
expert systems
logical framework
multi faceted
mathematical theory
formal semantics
computation tree logic
incomplete information
software engineering
temporal logic
knowledge base