Epistemic Logic Programs: a Novel Perspective and Some Extensions.

Stefania Costantini Andrea Formisano

Published in: ICLP Workshops (2022)

Keyphrases

epistemic logic
modal logic
model checking
dynamic epistemic logic
multi agent systems
multi faceted
logical framework
computation tree logic
formal semantics
inference rules
mathematical theory
image processing
reinforcement learning
cooperative