Search the dblp DataBase
Igor Stéphan :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Igor Stéphan A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] AIMSA, 1998, pp:403-416 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Genes and Ants for Default Logic. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2001, pp:- [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan Possibilistic Stable Models. [Citation Graph (0, 0)][DBLP ] Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005, pp:- [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan GADEL: a Genetic Algorithm to Compute Default Logic Extensions. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:484-490 [Conf ] Igor Stéphan Boolean Propagation Based on Literals for Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:452-456 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan A Possibilistic Inconsistency Handling in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2005, pp:402-414 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Combining heuristics for default logic reasoning systems. [Citation Graph (0, 0)][DBLP ] ICTAI, 2000, pp:393-400 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan Possibilistic Stable Models. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:248-253 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Answer Set Programming by Ant Colony Optimization. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:481-492 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan Programmation par ensembles-réponses possibilistes. [Citation Graph (0, 0)][DBLP ] JFPLC, 2004, pp:- [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Optimisation par colonies de fourmis pour la programmation logique étendue. [Citation Graph (0, 0)][DBLP ] JFPLC, 2002, pp:57-0 [Conf ] Frédéric Saubion , Igor Stéphan Implanter des langages d'arbres en Prolog. [Citation Graph (0, 0)][DBLP ] JFPLC, 1999, pp:89-106 [Conf ] Igor Stéphan L'inheritance near-Horn Prolog en Prolog. [Citation Graph (0, 0)][DBLP ] JFPL, 1992, pp:403-419 [Conf ] Igor Stéphan Du ou dans les arbres. [Citation Graph (0, 0)][DBLP ] JFPLC, 1994, pp:93-108 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan New Generation Systems for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:309-321 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan A possibilistic approach to restore consistency in answer set programming. [Citation Graph (0, 0)][DBLP ] NMR, 2004, pp:306-312 [Conf ] Frédéric Saubion , Igor Stéphan On Implementation of Tree Synchronized Languages. [Citation Graph (0, 0)][DBLP ] RTA, 1999, pp:382-396 [Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan , Claire Lefèvre Possibilistic uncertainty handling for answer set programming. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:139-181 [Journal ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Genetic Algorithms for Extension Search in Default Logic [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Igor Stéphan , Frédéric Saubion , Pascal Nicolas Description of GADEL [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Frédéric Saubion , Igor Stéphan A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics & Theoretical Computer Science, 2002, v:5, n:1, pp:227-262 [Journal ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Heuristics for a Default Logic Reasoning System. [Citation Graph (0, 0)][DBLP ] International Journal on Artificial Intelligence Tools, 2001, v:10, n:4, pp:503-523 [Journal ] A Unified Framework for Certificate and Compilation for QBF. [Citation Graph (, )][DBLP ] A new parallel architecture for QBF tools. [Citation Graph (, )][DBLP ] Search in 0.012secs, Finished in 0.014secs