Michael Bartholomew
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2010–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | JELIA | System aspmt2smt: Computing ASPMT Theories by SMT Solvers. | Michael Bartholomew, Joohyung Lee |
| 2014 | KR | Stable Models of Multi-Valued Formulas: Partial versus Total Functions. | Michael Bartholomew, Joohyung Lee |
| 2013 | IJCAI | Functional Stable Model Semantics and Answer Set Programming Modulo Theories. | Michael Bartholomew, Joohyung Lee |
| 2012 | KR | Stable Models of Formulas with Intensional Functions. | Michael Bartholomew, Joohyung Lee |
| 2011 | IJCAI | First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. | Michael Bartholomew, Joohyung Lee, Yunsong Meng |
| 2010 | KR | A Decidable Class of Groundable Formulas in the General Theory of Stable Models. | Michael Bartholomew, Joohyung Lee |