List

In this work, Yanjun Li and I introduced two ways of using a powerful know-how based framework to do planning about planning: higher-order epistemic planning via model checking, and meta-level epistemic planning via satisfiability checking or theorem proving.

Leave a Reply

Your email address will not be published. Required fields are marked *

  Posts

1 2 3
October 19th, 2024

New article about know-how based planning published in AIJ

In this work, Yanjun Li and I introduced two ways of using a powerful know-how based framework to do planning […]

June 19th, 2024

Joint paper accepted by AiML2024

The joint paper Point-set Neighborhood Logic with Junhua Yu has been accepted by Advances in Modal Logic 2024.

June 19th, 2024

I am serving as an associate editor for JoLLI

Starting from June 1st, 2024, I have been an associate editor of Journal of Logic, Language and Information.

March 10th, 2024

I will be teaching Bundled Modalities at ESSLLI24

Here is the preliminary page.

June 9th, 2023

Joint papers accepted at TARK and DEON

Yipu Li and Yanjing Wang: Epistemic Syllogistic: First Steps. To appear in Proceedings of TARK Zilu Wang and Yanjing Wang: […]

June 9th, 2023

Joint paper to appear in Information & Computation

We gave an almost complete terrain on the decidability of all the bundled fragments of first-order modal logic in this […]

April 16th, 2023

I will give a keynote talk at CLAR 2023

The 5th International Conference on Logic and Argumentation (CLAR 2023) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, […]

April 16th, 2023

I serve as a PC member for two workshops

ESSLLI 2023 WORKSHOP on First-order Modal and Temporal Logics: State of the art and perspectives  (FOMTL 2023) LICS-affiliated Workshop on The Decision Problem in […]

January 26th, 2023

Our paper on WAML and Hypergraph is published by Synthese

In this joint paper, we connect the following four topics: a class of generalized graphs whose relations do not have […]

July 30th, 2022

欢迎申请北京大学”宋文坚逻辑学奖学金”

欢迎全校在读的本科生及硕士生申请,详情请见通知.