Joseph Babb

According to our database, Joseph Babb authored at least 5 papers between 2012 and 2020.

Collaborative distances:

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

2020

Action language ℬℭ+.

Joseph Babb, Joohyung Lee

J. Log. Comput., 2020

2015

Online Action Language o<i>BC</i> +.

Joseph Babb, Joohyung Lee

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Action Language BC+: Preliminary Report.

Joseph Babb, Joohyung Lee

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2013

Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming.

Joseph Babb, Joohyung Lee

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Module theorem for the general theory of stable models.

Joseph Babb, Joohyung Lee

Theory Pract. Log. Program., 2012