Proceedings

Yongmei Liu

Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China

20 papers in the IJCAI proceedings

IJCAI 2025

Solving QNP and FOND+ with Generating, Testing and Forbidding
with Zheyuan Shi, Hao Dong
doi:10.24963/ijcai.2025/961
Details PDF

IJCAI 2023

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning
with Zhenhe Cui, Weidu Kuang
doi:10.24963/ijcai.2023/351
Details PDF

IJCAI 2022

A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search
with Hemeng Zeng, Yikun Liang
doi:10.24963/ijcai.2022/651
Details PDF

IJCAI 2021

A Uniform Abstraction Framework for Generalized Planning
with Zhenhe Cui, Kailun Luo
doi:10.24963/ijcai.2021/253
Details PDF

IJCAI 2020

A Modal Logic for Joint Abilities under Strategy Commitments
with Zhaoshuai Liu, Liping Xiong, Yves Lespérance, Ronghai Xu, Hongyi Shi
doi:10.24963/ijcai.2020/250
Details PDF

IJCAI 2019

Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants
with Kailun Luo
doi:10.24963/ijcai.2019/251
Details PDF

IJCAI 2018

Multi-agent Epistemic Planning with Common Knowledge
with Qiang Liu
doi:10.24963/ijcai.2018/264
Details PDF

IJCAI 2017

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
with Xiao Huang, Biqing Fang, Hai Wan
doi:10.24963/ijcai.2017/152
Details PDF

IJCAI 2016

Forgetting in Multi-Agent Modal Logics
with Liangda Fang, Hans van Ditmarsch
Details PDF
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus
with Liping Xiong
Details PDF

IJCAI 2015

A Complete Epistemic Planner without the Epistemic Closed World Assumption
with Hai Wan, Rui Yang, Liangda Fang, Huada Xu
Details PDF
Automatic Verification of Partial Correctness of Golog Programs
with Naiqi Li
Details PDF
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus
with Liangda Fang, Ximing Wen
Details PDF

IJCAI 2013

Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions
with Quan Yu, Ximing Wen
Details PDF
Reasoning about State Constraints in the Situation Calculus
with Naiqi Li, Yi Fan
Details PDF

IJCAI 2011

On the Progression of Knowledge in the Situation Calculus
with Ximing Wen
doi:10.5591/978-1-57735-516-8/IJCAI11-168
Details PDF

IJCAI 2009

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
with Gerhard Lakemeyer
Details PDF

IJCAI 2007

Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions
with Murray Patterson, Eugenia Ternovskaia, Arvind Gupta
Details PDF

IJCAI 2005

Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions
with Hector J. Levesque
Details PDF

IJCAI 2003

A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
with Hector J. Levesque
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards