Yongmei Liu

Affiliations:
  • Sun Yat-sen University, China
  • University of Toronto, Canada


According to our database1, Yongmei Liu authored at least 34 papers between 2002 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A Uniform Abstraction Framework for Generalized Planning.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
A Modal Logic for Joint Abilities under Strategy Commitments.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Agent Abstraction via Forgetting in the Situation Calculus.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Automatic Verification of Liveness Properties in the Situation Calculus.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Forgetting in multi-agent modal logics.
Artif. Intell., 2019

Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
Multi-agent Epistemic Planning with Common Knowledge.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Fault localization using disparities of dynamic invariants.
J. Syst. Softw., 2016

Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Strategy Representation and Reasoning in the Situation Calculus.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Automatic Verification of Golog Programs via Predicate Abstraction.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
Automated fault localization via hierarchical multiple predicate switching.
J. Syst. Softw., 2015

A Complete Epistemic Planner without the Epistemic Closed World Assumption.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Automatic Verification of Partial Correctness of Golog Programs.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Incorporating Action Models into the Situation Calculus.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions.
Proceedings of the IJCAI 2013, 2013

Reasoning about State Constraints in the Situation Calculus.
Proceedings of the IJCAI 2013, 2013

Multiagent Knowledge and Belief Change in the Situation Calculus.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
On the Progression of Knowledge in the Situation Calculus.
Proceedings of the IJCAI 2011, 2011

2010
On the Complexity of Model Expansion.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Automated Program Debugging Via Multiple Predicate Switching.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2008
On the Expressiveness of Levesque's Normal Form.
J. Artif. Intell. Res., 2008

A Formalization of Program Debugging in the Situation Calculus.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions.
Proceedings of the IJCAI 2007, 2007

2005
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information.
Proceedings of the Proceedings, 2005

2004
A Logic of Limited Belief for Reasoning with Disjunctive Information.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003
A Complete Axiomatization for Blocks World.
J. Log. Comput., 2003

A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases.
Proceedings of the IJCAI-03, 2003

2002
A Hoare-Style Proof System for Robot Programs.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002


  Loading...