Author: Yongmei Liu [RDF, Bibtex, BibBase, BibGraph] has 9 publications
report error (So far 0 user(s) reported errors on this item)
See also:
- http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Liu:Yongmei.html is this correct?
- http://dblp.l3s.de/d2r/resource/authors/Yongmei_Liu is this correct?
More links »
- http://acm.rkbexplorer.com/id/person-348195-e999fc933252a053a458e13e8e4a2a71 is this correct?
- http://acm.rkbexplorer.com/id/person-348195-278ea619d057008c901a81c841fe3ee7 is this correct?
- http://acm.rkbexplorer.com/id/person-348195-1d84fdbdd04139979a731d5ab8000148 is this correct?
- http://citeseer.rkbexplorer.com/id/resource-CSP187299-2608c425dfc196cf24cdd09f0f0fc6ef is this correct?
- http://citeseer.rkbexplorer.com/id/resource-CSP187385-58a72176394a1db749224d0a95738e13 is this correct?
- « Hide Links.
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
Yongmei Liu, Gerhard Lakemeyer.
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)
860-866
2009
On the Expressiveness of Levesque's Normal Form
Yongmei Liu, Gerhard Lakemeyer.
J. Artif. Intell. Res. (JAIR)
259-272
2008
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information
Yongmei Liu, Hector J. Levesque.
Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA
639-644
2005
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions
Yongmei Liu, Hector J. Levesque.
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005
522-527
2005
A Logic of Limited Belief for Reasoning with Disjunctive Information
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque.
Proc. KR-04
587--597
2004
A Logic of Limited Belief for Reasoning with Disjunctive Information
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque.
Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004
587-597
2004
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
Yongmei Liu, Hector J. Levesque.
Proc. IJCAI-03
83--88
2003
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
Yongmei Liu, Hector J. Levesque.
IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003
83-88
2003