Joseph Babb

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Action language \(\mathcal{BC}+\)
Journal Of Logic And Computation
2020-08-05Paper
Online action language \(o\mathcal {BC}+\)
Logic Programming and Nonmonotonic Reasoning
2015-11-04Paper
Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
Logic Programming and Nonmonotonic Reasoning
2013-10-10Paper
Module theorem for the general theory of stable models
Theory and Practice of Logic Programming
2013-03-13Paper


Research outcomes over time


This page was built for person: Joseph Babb