| 2025 | ICTAI | Behavior Constraint Handling Rules. | Vincent Barichard, Igor Stphan |
| 2025 | ISCC | A Secure and Privacy-Preserving Blockchain-Based Framework for Fraud-Resilient E-Health Systems. | Hiba Akli, Igor Stphan, Karim Zkik, Sofiane Hamrioui |
| 2024 | ICTAI | Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations. | Bryan Garreau, Martn Diguez Lodeiro, ric Monfroy, Igor Stphan |
| 2024 | LPNMR | A Fixpoint Characterisation of Temporal Equilibrium Logic. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub, Igor Stphan |
| 2024 | SOFTCOM | Recent Trends and Open Issues in Cyber Security for Online Platforms. | Hiba Akli, Karim Zkik, Igor Stphan, Sofiane Hamrioui, Pascal Lorenz |
| 2021 | SAC | First-order ASP programs as CHR programs. | Igor Stphan |
| 2018 | ICLP | A New Proof-Theoretical Linear Semantics for CHR. | Igor Stphan |
| 2018 | IJCAI | Possibilistic ASP Base Revision by Certain Input. | Laurent Garcia, Claire Lefvre, Odile Papini, Igor Stphan, ric Wrbel |
| 2016 | ICLP | Justifications and Blocking Sets in a Rule-Based Answer Set Computation. | Christopher Batrix, Claire Lefvre, Laurent Garcia, Igor Stphan |
| 2015 | IJCAI | ∃-ASP. | Fabien Garreau, Laurent Garcia, Claire Lefvre, Igor Stphan |
| 2014 | ICAART | Functional Semantics for Non-prenex QBF. | Igor Stphan |
| 2014 | ICTAI | The Cut Tool for QCSP. | Vincent Barichard, Igor Stphan |
| 2006 | ECAI | Boolean Propagation Based on Literals for Quantified Boolean Formulae. | Igor Stphan |
| 2005 | ECSQARU | A Possibilistic Inconsistency Handling in Answer Set Programming. | Pascal Nicolas, Laurent Garcia, Igor Stphan |
| 2005 | IJCAI | Possibilistic Stable Models. | Pascal Nicolas, Laurent Garcia, Igor Stphan |
| 2002 | JELIA | Answer Set Programming by Ant Colony Optimization. | Pascal Nicolas, Frdric Saubion, Igor Stphan |
| 2001 | LPNMR | New Generation Systems for Non-monotonic Reasoning. | Pascal Nicolas, Frdric Saubion, Igor Stphan |
| 2000 | ECAI | GADEL: a Genetic Algorithm to Compute Default Logic Extensions. | Pascal Nicolas, Frdric Saubion, Igor Stphan |
| 2000 | ICTAI | Combining heuristics for default logic reasoning systems. | Pascal Nicolas, Frdric Saubion, Igor Stphan |
| 1998 | AIMSA | A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. | Igor Stphan |