Michael Bartholomew

Identifiers

No identifiers captured yet.

Papers (2)

1. Functional Stable Model Semantics and Answer Set Programming Modulo Theories cs.AI · 2026 · author #1
2. A Functional View of Strong Negation in Answer Set Programming cs.AI · 2013 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Joohyung Lee 2 shared papers