Preference Management in Epistemic Logic L-DINF.

Stefania Costantini Andrea Formisano Valentina Pitoni

Published in: CILC (2023)

Keyphrases

epistemic logic
modal logic
model checking
formal semantics
dynamic epistemic logic
multi agent systems
logical framework
temporal logic
mathematical theory
multi faceted
decision making
inference rules
computation tree logic
reinforcement learning