Michael Bartholomew
Michael Bartholomew
Graduate Student of Computer Science, Arizona State University
Verified email at asu.edu
Title
Cited by
Cited by
Year
Stable Models of Formulas with Intensional Functions.
M Bartholomew, J Lee
KR, 2012
412012
System aspmt2smt: Computing ASPMT theories by SMT solvers
M Bartholomew, J Lee
European Workshop on Logics in Artificial Intelligence, 529-542, 2014
292014
Functional stable model semantics and answer set programming modulo theories
M Bartholomew, J Lee
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
212013
First-order extension of the FLP stable model semantics via modified circumscription
M Bartholomew, J Lee, Y Meng
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
212011
First-order semantics of aggregates in answer set programming via modified circumscription
M Bartholomew, J Lee, Y Meng
2011 AAAI Spring Symposium, 16-22, 2011
142011
On the stable model semantics for intensional functions.
M Bartholomew, J Lee
Theory Pract. Log. Program. 13 (4-5), 863-876, 2013
122013
A Decidable Class of Groundable Formulas in the General Theory of Stable Models.
M Bartholomew, J Lee
KR, 2010
82010
New techniques for pairwise symmetry breaking in multi-agent path finding
J Li, G Gange, D Harabor, PJ Stuckey, H Ma, S Koenig
Proceedings of the International Conference on Automated Planning and …, 2020
72020
Stable models of multi-valued formulas: partial vs. total functions
M Bartholomew, J Lee
Proceedings of International Conference on Principles of Knowledge …, 2014
72014
Answer Set Programming Modulo Theories
M Bartholomew
Arizona State University, 2016
22016
First-order stable model semantics with intensional functions
M Bartholomew, J Lee
Artificial Intelligence 273, 56-93, 2019
12019
A Functional View of Strong Negation in Answer Set Programming
M Bartholomew, J Lee
arXiv preprint arXiv:1312.6130, 2013
2013
The Role of Functions in the Stable Model Semantics.
M Bartholomew
Theory Pract. Log. Program. 13 (4-5-Online-Supplement), 2013
2013
First-Order Extension of the FLP Semantics
M Bartholomew, J Lee, Y Meng
2011
Computing ASPMT Theories by SMT Solvers
M Bartholomew, J Lee
Logics in Artificial Intelligence, 529, 0
The system can't perform the operation now. Try again later.
Articles 1–15