The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yongmei Liu 0001" ( http://dblp.L3S.de/Authors/Yongmei_Liu_0001 )

URL (Homepage):  http://www.cs.toronto.edu/~yliu/  Author page on DBLP  Author page in RDF  Community of Yongmei Liu 0001 in ASPL-2

Publication years (Num. hits)
2002-2011 (15) 2012-2017 (15) 2018-2019 (3)
Publication types (Num. hits)
article(5) incollection(1) inproceedings(27)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 34 publication records. Showing 33 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Liangda Fang, Yongmei Liu 0001, Hans van Ditmarsch Forgetting in multi-agent modal logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kailun Luo, Yongmei Liu 0001 Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qiang Liu, Yongmei Liu 0001 Multi-agent Epistemic Planning with Common Knowledge. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu 0001 A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiaoyan Wang, Yongmei Liu 0001 Fault localization using disparities of dynamic invariants. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Liping Xiong, Yongmei Liu 0001 Strategy Representation and Reasoning in the Situation Calculus. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peiming Mo, Naiqi Li, Yongmei Liu 0001 Automatic Verification of Golog Programs via Predicate Abstraction. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Liping Xiong, Yongmei Liu 0001 Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Liangda Fang, Yongmei Liu 0001, Hans van Ditmarsch Forgetting in Multi-Agent Modal Logics. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Xiaoyan Wang, Yongmei Liu 0001 Automated fault localization via hierarchical multiple predicate switching. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu 0001, Huada Xu A Complete Epistemic Planner without the Epistemic Closed World Assumption. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Liangda Fang, Yongmei Liu 0001, Ximing Wen On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Naiqi Li, Yongmei Liu 0001 Automatic Verification of Partial Correctness of Golog Programs. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Hector J. Levesque Incorporating Action Models into the Situation Calculus. Search on Bibsonomy Johan van Benthem on Logic and Information Dynamics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Liangda Fang, Yongmei Liu 0001 Multiagent Knowledge and Belief Change in the Situation Calculus. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Naiqi Li, Yi Fan, Yongmei Liu 0001 Reasoning about State Constraints in the Situation Calculus. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Quan Yu, Ximing Wen, Yongmei Liu 0001 Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu 0001 A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Ximing Wen On the Progression of Knowledge in the Situation Calculus. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antonina Kolokolova, Yongmei Liu 0001, David G. Mitchell, Eugenia Ternovska On the Complexity of Model Expansion. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yongmei Liu 0001, Gerhard Lakemeyer On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. Search on Bibsonomy Cognitive Robotics The full citation details ... 2010 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Bing Li Automated Program Debugging Via Multiple Predicate Switching. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Gerhard Lakemeyer On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Gerhard Lakemeyer On the Expressiveness of Levesque's Normal Form. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yongmei Liu 0001 A Formalization of Program Debugging in the Situation Calculus. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Murray Patterson, Yongmei Liu 0001, Eugenia Ternovska, Arvind Gupta Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Hector J. Levesque Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Hector J. Levesque Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Gerhard Lakemeyer, Hector J. Levesque A Logic of Limited Belief for Reasoning with Disjunctive Information. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Stephen A. Cook, Yongmei Liu 0001 A Complete Axiomatization for Blocks World. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yongmei Liu 0001, Hector J. Levesque A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Yongmei Liu 0001 A Hoare-Style Proof System for Robot Programs. Search on Bibsonomy AAAI/IAAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Stephen A. Cook, Yongmei Liu 0001 A Complete Axiomatization for Blocks World. Search on Bibsonomy ISAIM The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #33 of 33 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license