Michael Bartholomew

14 papers A* 5B 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers.
CoRR
Michael Bartholomew, Joohyung Lee
2023 J jnl
First-Order Stable Model Semantics with Intensional Functions.
CoRR
Michael Bartholomew, Joohyung Lee
2019 J jnl
First-order stable model semantics with intensional functions.
Artif. Intell.
Michael Bartholomew, Joohyung Lee
2016 — —
Answer Set Programming Modulo Theories.
Michael Bartholomew
2014 A* conf
Stable Models of Multi-Valued Formulas: Partial versus Total Functions.
KR
Michael Bartholomew, Joohyung Lee
2014 B conf
System aspmt2smt: Computing ASPMT Theories by SMT Solvers.
JELIA
Michael Bartholomew, Joohyung Lee
2013 J jnl
A Functional View of Strong Negation in Answer Set Programming.
CoRR
Michael Bartholomew, Joohyung Lee
2013 A* conf
Functional Stable Model Semantics and Answer Set Programming Modulo Theories.
IJCAI
Michael Bartholomew, Joohyung Lee
2013 J jnl
On the stable model semantics for intensional functions.
Theory Pract. Log. Program.
Michael Bartholomew, Joohyung Lee
2013 J jnl
The Role of Functions in the Stable Model Semantics.
Theory Pract. Log. Program.
Michael Bartholomew
2012 A* conf
Stable Models of Formulas with Intensional Functions.
KR
Michael Bartholomew, Joohyung Lee
2011 A* conf
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription.
IJCAI
Michael Bartholomew, Joohyung Lee, Yunsong Meng
2011 — conf
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Michael Bartholomew, Joohyung Lee, Yunsong Meng
2010 A* conf
A Decidable Class of Groundable Formulas in the General Theory of Stable Models.
KR
Michael Bartholomew, Joohyung Lee