Search Results for author: Ximing Wen

Found 3 papers, 0 papers with code

Knowledge Compilation in Multi-Agent Epistemic Logics

no code implementations27 Jun 2018 Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epistemic logics in automatic planning.

Cannot find the paper you are looking for? You can Submit a new open access paper.