conftrace_

logical separability

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

epistemic planning (1) normal form (1) multi-agent logic (1) clausal entailment (1) multi-agent system (1) model counting (1) modal logic (1) propositional logic (1) disjunctive normal form (1) knowledge compilation (1)

Papers

Knowledge Compilation Meets Logical Separability AAAI 2022 Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability AAAI 2019