Single-Shot Epistemic Logic Program Solving.

Manuel Bichler Michael Morak Stefan Woltran

Published in: IJCAI (2018)

Keyphrases

epistemic logic
single shot
model checking
modal logic
logical framework
multi faceted
inference rules
multi agent systems
formal semantics
light field
dynamic epistemic logic
image sequences
video sequences
signal processing
mathematical theory