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
Thirteenth International Conference on the Principles of Knowledge …, 2012
402012
System aspmt2smt: Computing ASPMT theories by SMT solvers
M Bartholomew, J Lee
European Workshop on Logics in Artificial Intelligence, 529-542, 2014
262014
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
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
202011
First-order semantics of aggregates in answer set programming via modified circumscription
M Bartholomew, J Lee, Y Meng
2011 AAAI Spring Symposium Series, 2011
142011
On the stable model semantics for intensional functions
M Bartholomew, J Lee
Theory and Practice of Logic Programming 13 (4-5), 863-876, 2013
122013
A decidable class of groundable formulas in the general theory of stable models
M Bartholomew, J Lee
Twelfth International Conference on the Principles of Knowledge …, 2010
82010
Stable models of multi-valued formulas: partial versus total functions
M Bartholomew, J Lee
Fourteenth International Conference on the 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
2019
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
TPLP 13 (4-5-Online-Supplement), 2013
2013
First-Order Extension of the FLP Semantics
M Bartholomew, J Lee, Y Meng
2011
AAAI Publications
SR AI
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