Epistemic Logic Programs: A Different World View.

Published in: ICLP Technical Communications (2019)

Keyphrases

epistemic logic
model checking
modal logic
inference rules
dynamic epistemic logic
multi agent systems
multi faceted
computation tree logic
logical framework
formal semantics
mathematical theory
artificial intelligence
image processing
web services