Igor Stéphan

From MaRDI portal
Person:854972

Available identifiers

zbMath Open stephan.igorMaRDI QIDQ854972

List of research outcomes





PublicationDate of PublicationType
Logic programming2024-09-11Paper
A semantic characterization for ASP base revision2022-11-04Paper
https://portal.mardi4nfdi.de/entity/Q50205582022-01-06Paper
A semantic characterization ASP base revision2020-01-03Paper
https://portal.mardi4nfdi.de/entity/Q52402102019-10-24Paper
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin2018-08-06Paper
{\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing2017-11-09Paper
From (Quantified) Boolean Formulae to Answer Set Programming2009-08-24Paper
A Unified Framework for Certificate and Compilation for QBF2009-02-12Paper
Possibilistic uncertainty handling for answer set programming2006-12-20Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty2006-06-23Paper
https://portal.mardi4nfdi.de/entity/Q47089412003-06-20Paper
https://portal.mardi4nfdi.de/entity/Q44839182003-05-27Paper
https://portal.mardi4nfdi.de/entity/Q47980172003-03-18Paper
https://portal.mardi4nfdi.de/entity/Q49392782000-11-06Paper
https://portal.mardi4nfdi.de/entity/Q49386152000-09-06Paper

Research outcomes over time

This page was built for person: Igor Stéphan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:854972&oldid=7885327"
Powered by MediaWiki