Igor Stéphan

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
Reducing arbitrary metric temporal formulas into logic programs under answer set semantics Theory and Practice of Logic Programming	2026-01-01	Paper
Quantified constraint handling rules ACM Transactions on Computational Logic	2025-08-22	Paper
Logic programming	2024-09-11	Paper
A semantic characterization for ASP base revision Lecture Notes in Computer Science	2022-11-04	Paper
Quantified constraint handling rules (available as arXiv preprint)	2022-01-06	Paper
Quantified constraint handling rules	2022-01-06	Paper
A semantic characterization ASP base revision Journal of Artificial Intelligence Research	2020-01-03	Paper
scientific article; zbMATH DE number 7121940	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
From (Quantified) Boolean Formulae to Answer Set Programming Journal Of Logic And Computation	2009-08-24	Paper
A Unified Framework for Certificate and Compilation for QBF Logic and Its Applications	2009-02-12	Paper
Possibilistic uncertainty handling for answer set programming Annals of Mathematics and Artificial Intelligence	2006-12-20	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Lecture Notes in Computer Science	2006-06-23	Paper
scientific article; zbMATH DE number 1931683 (Why is no real title available?)	2003-06-20	Paper
scientific article; zbMATH DE number 1919508 (Why is no real title available?)	2003-05-27	Paper
scientific article; zbMATH DE number 1919508 (Why is no real title available?)	2003-05-27	Paper
scientific article; zbMATH DE number 1884397 (Why is no real title available?)	2003-03-18	Paper
scientific article; zbMATH DE number 1406240 (Why is no real title available?)	2000-11-06	Paper
scientific article; zbMATH DE number 1405636 (Why is no real title available?)	2000-09-06	Paper

Research outcomes over time

This page was built for person: Igor Stéphan