Login / Signup
Epistemic Logic Programs: an approach to Semantic Comparison.
Stefania Costantini
Andrea Formisano
Published in:
CILC (2022)
Keyphrases
</>
epistemic logic
model checking
modal logic
inference rules
logical framework
dynamic epistemic logic
knowledge base
multi agent systems
domain independent
mathematical theory