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:
SAC (2024)
Keyphrases
</>
incomplete knowledge
epistemic logic
decision making
model checking
modal logic
modeling language
dynamic epistemic logic
computation tree logic
multi agent systems
mathematical morphology
formal semantics
logical framework
web services
description logics
temporal logic