Login / Signup

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

Liangda FangKewen WangZhe WangXiming Wen
Published in: AAAI (2019)
Keyphrases