Michael Bartholomew

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Venues

CoRR

Theory Pract. Log. Program.

Artif. Intell.

Arizona State University, Tempe, USA (PHD)

Education History

Arizona State University, Tempe, USA

PHD

Publications

Michael Bartholomew, Joohyung Lee
First-Order Stable Model Semantics with Intensional Functions. CoRR (2023)
Michael Bartholomew, Joohyung Lee
First-order stable model semantics with intensional functions. Artif. Intell. 273 (2019)
Michael Bartholomew, Joohyung Lee
Stable Models of Multi-Valued Formulas: Partial versus Total Functions. KR (2014)
Michael Bartholomew, Joohyung Lee
System aspmt2smt: Computing ASPMT Theories by SMT Solvers. JELIA (2014)
Michael Bartholomew, Joohyung Lee
Functional Stable Model Semantics and Answer Set Programming Modulo Theories. IJCAI (2013)
Michael Bartholomew, Joohyung Lee
On the stable model semantics for intensional functions. Theory Pract. Log. Program. 13 (4-5) (2013)
Michael Bartholomew
The Role of Functions in the Stable Model Semantics. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Michael Bartholomew, Joohyung Lee
A Functional View of Strong Negation in Answer Set Programming. CoRR (2013)
Michael Bartholomew, Joohyung Lee
Stable Models of Formulas with Intensional Functions. KR (2012)
Michael Bartholomew, Joohyung Lee, Yunsong Meng
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. IJCAI (2011)
Michael Bartholomew, Joohyung Lee, Yunsong Meng
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Michael Bartholomew, Joohyung Lee
A Decidable Class of Groundable Formulas in the General Theory of Stable Models. KR (2010)

Michael Bartholomew.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Bartholomew