Christopher Béatrix

From MaRDI portal
Person:4593087



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
scientific article; zbMATH DE number 7121940 (Why is no real title available?)2019-10-24Paper
{\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
Theory and Practice of Logic Programming
2017-11-09Paper


Research outcomes over time


This page was built for person: Christopher Béatrix