Login / Signup
An epistemic logic for modeling decisions in the context of incomplete knowledge.
Dorde Markovic
Simon Vandevelde
Linde Vanbesien
Joost Vennekens
Marc Denecker
Published in:
CoRR (2023)
Keyphrases
</>
incomplete knowledge
epistemic logic
model checking
decision making
modal logic
inference rules
dynamic epistemic logic
machine learning
multi agent systems
software engineering
decision makers
modeling language
multi faceted