epistemic logic

Belief Update without Compactness in Non-finitary Languages IJCAI 2019 Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications IJCAI 2019 Hintikka's World: Scalable Higher-order Knowledge IJCAI 2019 Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!) IJCAI 2019 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 The Complexity of Model Checking Knowledge and Time IJCAI 2019 Impossibility in Belief Merging (Extended Abstract) IJCAI 2018 Single-Shot Epistemic Logic Program Solving IJCAI 2018 The Complexity of Limited Belief Reasoning—The Quantifier-Free Case IJCAI 2018 A Novel Symbolic Approach to Verifying Epistemic Properties of Programs IJCAI 2017 Belief Manipulation Through Propositional Announcements IJCAI 2017 GDL-III: A Description Language for Epistemic General Game Playing IJCAI 2017 Model Checking Multi-Agent Systems against LDLK Specifications IJCAI 2017 On Computing World Views of Epistemic Logic Programs IJCAI 2017 On the Computational Complexity of Gossip Protocols IJCAI 2017 Strategically knowing how IJCAI 2017 Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic IJCAI 2017