Concepedia

Igor Stéphan

IS

5

Publications

161

Citations

5

H-Index

2000

Active since

Affiliations

Université d'Angers(Current)

Igor Stéphan is an author at Université d'Angers specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsLogic ProgrammingFormal VerificationSystems EngineeringAnswer Set ProgrammingComputer EngineeringKnowledge Compilation

Publications per year

2000–2017

5

Publications

5

Possibilistic uncertainty handling for answer set programming

Pascal Nicolas, Laurent Garcia, Igor Stéphan et al. · Annals of Mathematics and Artificial Intelligence · 2006 · 81 citations

Mathematical Programming, Engineering, Uncertainty Quantification +7

<tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing

Claire Lefèvre, Christopher Béatrix, Igor Stéphan et al. · Theory and Practice of Logic Programming · 2017 · 29 citations

Artificial Intelligence, Knowledge Representation, Declarative Programming +15

Possibilistic Stable Models

Pascal Nicolas, Laurent Garcia, Igor Stéphan · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2005 · 27 citations · Full text

GADEL: a genetic algorithm to compute default logic extensions

Pascal Nicolas, Frédéric Saubion, Igor Stéphan · European Conference on Artificial Intelligence · 2000 · 14 citations

Applied Logic, Computational Logic, Logic Synthesis +14

ASPeRiX, a First Order Forward Chaining Approach for Answer Set\n Computing

Claire Lefèvre, Christopher Béatrix, Igor Stéphan et al. · arXiv (Cornell University) · 2015 · 10 citations · Full text

Rows per page

1–5 of 5