Claire Lefèvre

Available identifiers

zbMath Open lefevre.claireMaRDI QIDQ854973

List of research outcomes

Publication	Date of Publication	Type
A semantic characterization for ASP base revision	2022-11-04	Paper
A semantic characterization ASP base revision	2020-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q5240210	2019-10-24	Paper
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin	2018-08-06	Paper
{\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing	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	2009-11-10	Paper
Possibilistic uncertainty handling for answer set programming	2006-12-20	Paper

Research outcomes over time

This page was built for person: Claire Lefèvre