Michael Bartholomew

According to our database, Michael Bartholomew authored at least 12 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

First-order stable model semantics with intensional functions.

Michael Bartholomew, Joohyung Lee

Artif. Intell., 2019

2016

Answer Set Programming Modulo Theories.

Michael Bartholomew

PhD thesis, 2016

2014

Stable Models of Multi-Valued Formulas: Partial versus Total Functions.

Michael Bartholomew, Joohyung Lee

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

System aspmt2smt: Computing ASPMT Theories by SMT Solvers.

Michael Bartholomew, Joohyung Lee

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

On the stable model semantics for intensional functions.

Michael Bartholomew, Joohyung Lee

Theory Pract. Log. Program., 2013

The Role of Functions in the Stable Model Semantics.

Michael Bartholomew

Theory Pract. Log. Program., 2013

A Functional View of Strong Negation in Answer Set Programming.

Michael Bartholomew, Joohyung Lee

CoRR, 2013

Functional Stable Model Semantics and Answer Set Programming Modulo Theories.

Michael Bartholomew, Joohyung Lee

Proceedings of the IJCAI 2013, 2013

2012

Stable Models of Formulas with Intensional Functions.

Michael Bartholomew, Joohyung Lee

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription.

Michael Bartholomew, Joohyung Lee, Yunsong Meng

Proceedings of the IJCAI 2011, 2011

First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription.

Michael Bartholomew, Joohyung Lee, Yunsong Meng

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

A Decidable Class of Groundable Formulas in the General Theory of Stable Models.

Michael Bartholomew, Joohyung Lee

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010