conftrace_

multi-agent logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical separability (1) epistemic planning (1) multi-agent system (1) modal logic (1) disjunctive normal form (1)

Papers

Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability AAAI 2019