Together we know how to achieve: An epistemic logic of know-how.

Pavel Naumov Jia Tao

Published in: Artif. Intell. (2018)

Keyphrases

epistemic logic
formal semantics
model checking
modal logic
multi faceted
multi agent systems
inference rules
logical framework
dynamic epistemic logic
artificial intelligence
description logics
integer programming