Sign in

Epistemic Logic Programs: A Study of Some Properties.

Stefania CostantiniAndrea Formisano
Published in: LPNMR (2022)
Keyphrases
  • epistemic logic
  • model checking
  • formal semantics
  • temporal epistemic