| 2010 | COMMA | Dialectical Proofs for Constrained Argumentation. | Caroline Devred, Sylvie Doutre, Claire Lefvre, Pascal Nicolas |
| 2009 | ECSQARU | Dealing Automatically with Exceptions by Introducing Specificity in ASP. | Laurent Garcia, Stphane Ngoma, Pascal Nicolas |
| 2009 | LPNMR | A First Order Forward Chaining Approach for Answer Set Computing. | Claire Lefvre, Pascal Nicolas |
| 2009 | LPNMR | The First Version of a New ASP Solver : ASPeRiX. | Claire Lefvre, Pascal Nicolas |
| 2006 | CEC | Comparison of Feature Selection Methods for Syncope Prediction. | Mathieu Feuilloy, Daniel Schang, Pascal Nicolas |
| 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 | Representation of Incomplete Knowledge by Induction of Default Theories. | Pascal Nicolas, Batrice Duval |
| 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 |
| 1999 | ECSQARU | Query-Answering in Prioritized Default Logic. | Farid Benhammadi, Pascal Nicolas, Torsten Schaub |
| 1999 | ECSQARU | Learning Default Theories. | Batrice Duval, Pascal Nicolas |
| 1998 | AIMSA | Extension Calculus and Query Answering in Prioritized Default Logic. | Farid Benhammadi, Pascal Nicolas, Torsten Schaub |
| 1997 | ISMIS | An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. | Torsten Schaub, Pascal Nicolas |
| 1997 | LPNMR | An Implementation Platform for Query-Answering: X-RAY. | Torsten Schaub, Pascal Nicolas |
| 1996 | CADE | XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. | Torsten Schaub, Stefan Brning, Pascal Nicolas |
| 1995 | ECSQARU | A Theorem Prover for Lukaszewicz' Open Default Theory. | Pascal Nicolas, Batrice Duval |