×
Author ID: liu.yongmei Recent zbMATH articles by "Liu, Yongmei"
Published as: Liu, Yongmei; Liu, Y.
Homepage: http://www.cs.toronto.edu/~yliu/
External Links: ORCID · Google Scholar · dblp
Documents Indexed: 10 Publications since 2003
Co-Authors: 16 Co-Authors with 10 Joint Publications
282 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 16 times in 13 Documents Cited by Year
On first-order definability and computability of progression for local-effect actions and beyond. Zbl 1341.68216
Liu, Yongmei; Lakemeyer, Gerhard
4
2011
A complete axiomatization for Blocks World. Zbl 1046.68101
Cook, Stephen A.; Liu, Yongmei
3
2003
Strategy representation and reasoning in the situation calculus. Zbl 1403.68276
Xiong, Liping; Liu, Yongmei
2
2016
On the complexity of model expansion. Zbl 1307.03021
Kolokolova, Antonina; Liu, Yongmei; Mitchell, David; Ternovska, Eugenia
2
2010
Incorporating action models into the situation calculus. Zbl 1344.03018
Liu, Yongmei; Levesque, Hector J.
1
2014
Automatic verification of Golog programs via predicate abstraction. Zbl 1403.68129
Mo, Peiming; Li, Naiqi; Liu, Yongmei
1
2016
A general multi-agent epistemic planner based on higher-order belief change. Zbl 1486.68186
Wan, Hai; Fang, Biqing; Liu, Yongmei
1
2021
On the expressiveness of Levesque’s normal form. Zbl 1182.68073
Liu, Y.; Lakemeyer, G.
1
2008
Forgetting in multi-agent modal logics. Zbl 1478.68351
Fang, Liangda; Liu, Yongmei; van Ditmarsch, Hans
1
2019
A general multi-agent epistemic planner based on higher-order belief change. Zbl 1486.68186
Wan, Hai; Fang, Biqing; Liu, Yongmei
1
2021
Forgetting in multi-agent modal logics. Zbl 1478.68351
Fang, Liangda; Liu, Yongmei; van Ditmarsch, Hans
1
2019
Strategy representation and reasoning in the situation calculus. Zbl 1403.68276
Xiong, Liping; Liu, Yongmei
2
2016
Automatic verification of Golog programs via predicate abstraction. Zbl 1403.68129
Mo, Peiming; Li, Naiqi; Liu, Yongmei
1
2016
Incorporating action models into the situation calculus. Zbl 1344.03018
Liu, Yongmei; Levesque, Hector J.
1
2014
On first-order definability and computability of progression for local-effect actions and beyond. Zbl 1341.68216
Liu, Yongmei; Lakemeyer, Gerhard
4
2011
On the complexity of model expansion. Zbl 1307.03021
Kolokolova, Antonina; Liu, Yongmei; Mitchell, David; Ternovska, Eugenia
2
2010
On the expressiveness of Levesque’s normal form. Zbl 1182.68073
Liu, Y.; Lakemeyer, G.
1
2008
A complete axiomatization for Blocks World. Zbl 1046.68101
Cook, Stephen A.; Liu, Yongmei
3
2003

Citations by Year