Jay Halcomb

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

Publications

Michael Beeson, Jay Halcomb, Wolfgang Mayer
Inconsistencies in the Process Specification Language (PSL). ATE (2011)
Jay Halcomb, Adam Pease
On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). Answer Set Programming (2001)