conftrace_

possible world semantics

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

finite state semantics (1) three-valued logic (1) presupposition satisfaction (1) game description language (1) multi-agent system (1) dynamic epistemic logic (1) planning task (1)

Papers

Finite State Reasoning for Presupposition Satisfaction COLING 2018 Game Description Language and Dynamic Epistemic Logic Compared IJCAI 2018