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!
| Publication | Date of Publication | Type |
|---|---|---|
| A semantic characterization for ASP base revision Lecture Notes in Computer Science | 2022-11-04 | Paper |
| A semantic characterization ASP base revision Journal of Artificial Intelligence Research | 2020-01-03 | Paper |
| scientific article; zbMATH DE number 7121940 (Why is no real title available?) | 2019-10-24 | Paper |
| Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin Annals of Mathematics and Artificial Intelligence | 2018-08-06 | Paper |
| {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Integrating grounding in the search process for answer set computing | 2011-11-23 | Paper |
| A First Order Forward Chaining Approach for Answer Set Computing Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
| Possibilistic uncertainty handling for answer set programming Annals of Mathematics and Artificial Intelligence | 2006-12-20 | Paper |
Research outcomes over time
This page was built for person: Claire Lefèvre
