Igor Stéphan
According to our database1,
Igor Stéphan
authored at least 45 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
2
2
1
2
1
1
1
1
2
2
1
1
2
2
1
1
2
1
1
1
2
2
2
2
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations.
Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence, 2024
2022
Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022
2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
2020
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms, 2020
2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning.
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019
2018
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin.
Ann. Math. Artif. Intell., 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
2017
Theory Pract. Log. Program., 2017
Le problème de satisfaction de contraintes quantifiées et les jeux à deux joueurs à horizon fini : le projet QuaCode.
Rev. d'Intelligence Artif., 2017
2016
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016
2015
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015
2014
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
2013
2012
Un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées.
Rev. d'Intelligence Artif., 2012
Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore.
Rev. d'Intelligence Artif., 2012
2010
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010
2009
Proceedings of the Logic and Its Applications, Third Indian Conference, 2009
2006
Ann. Math. Artif. Intell., 2006
Boolean Propagation Based on Literals for Quantified Boolean Formulae.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005
2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Programmation par ensembles-réponses possibilistes.
Proceedings of the Programmation en logique avec contraintes, 2004
2002
Discret. Math. Theor. Comput. Sci., 2002
Optimisation par colonies de fourmis pour la programmation logique étendue.
Proceedings of the Programmation en logique avec contraintes, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
2000
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000
GADEL: a Genetic Algorithm to Compute Default Logic Extensions.
Proceedings of the ECAI 2000, 2000
1999
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
Implanter des langages d'arbres en Prolog.
Proceedings of the JFPLC'99, 1999
1998
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming.
Proceedings of the Artificial Intelligence: Methodology, 1998
1994
Du ou dans les arbres.
Proceedings of the JFPLC'94, 1994
1992
L'inheritance near-Horn Prolog en Prolog.
Proceedings of the JFPL'92, 1992