conftrace_

modal logic

55 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (11) model checking (10) epistemic logic (9) knowledge representation (9) graph neural network (5) belief revision (5) strategic reasoning (5) game theory (5) strategic game (4) large language model (3)

Papers

Multi-agent Epistemic Planning with Common Knowledge IJCAI 2018 A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017 Searching for Well-Behaved Fragments of Halpern-Shoham Logic IJCAI 2017 Strategically knowing how IJCAI 2017 The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017