Pascal Nicolas

38 papers A* 1A 2B 8C 5Misc 1Journal 6Unranked 14

Year	Rank	Type	Title / Venue / Authors
2020	—	`ch.`	Logic Programming. A Guided Tour of Artificial Intelligence Research (2) (II) Arnaud Lallouet, Yves Moinard, Pascal Nicolas, Igor Stéphan
2010	—	`conf`	A new parallel architecture for QBF tools. HPCS Benoit Da Mota, Pascal Nicolas, Igor Stéphan
2010	C	`conf`	Dialectical Proofs for Constrained Argumentation. COMMA Caroline Devred, Sylvie Doutre, Claire Lefèvre, Pascal Nicolas
2009	B	`conf`	A First Order Forward Chaining Approach for Answer Set Computing. LPNMR Claire Lefèvre, Pascal Nicolas
2009	C	`conf`	Dealing Automatically with Exceptions by Introducing Specificity in ASP. ECSQARU Laurent Garcia, Stéphane Ngoma, Pascal Nicolas
2009	J	`jnl`	From (Quantified) Boolean Formulae to Answer Set Programming. J. Log. Comput. Igor Stéphan, Benoit Da Mota, Pascal Nicolas
2009	B	`conf`	The First Version of a New ASP Solver : ASPeRiX. LPNMR Claire Lefèvre, Pascal Nicolas
2006	—	`conf`	A quick low cost method for syncope prediction. EUSIPCO Mathieu Feuilloy, Daniel Schang, Pascal Nicolas
2006	B	`conf`	Comparison of Feature Selection Methods for Syncope Prediction. IEEE Congress on Evolutionary Computation Mathieu Feuilloy, Daniel Schang, Pascal Nicolas
2006	J	`jnl`	Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre
2006	J	`jnl`	Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics CoRR Farid Nouioua, Pascal Nicolas
2005	C	`conf`	A Possibilistic Inconsistency Handling in Answer Set Programming. ECSQARU Pascal Nicolas, Laurent Garcia, Igor Stéphan
2005	—	`conf`	Dimension reduction methods for the early syncope prediction by artificial neural networks. ISSPA Mathieu Feuilloy, Daniel Schang, Pascal Nicolas, Jacques Olivier Fortrat, Jacques Victor
2005	—	`conf`	Possibilistic Stable Model Computing. Answer Set Programming Pascal Nicolas, Claire Lefèvre
2005	—	`conf`	Possibilistic Stable Models. Nonmonotonic Reasoning, Answer Set Programming and Constraints Pascal Nicolas, Laurent Garcia, Igor Stéphan
2005	A*	`conf`	Possibilistic Stable Models. IJCAI Pascal Nicolas, Laurent Garcia, Igor Stéphan
2004	—	`conf`	A possibilistic approach to restore consistency in answer set programming. NMR Pascal Nicolas, Laurent Garcia, Igor Stéphan
2004	—	`conf`	Programmation par ensembles-réponses possibilistes. JFPLC Pascal Nicolas, Laurent Garcia, Igor Stéphan
2002	B	`conf`	Answer Set Programming by Ant Colony Optimization. JELIA Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2002	—	`conf`	Optimisation par colonies de fourmis pour la programmation logique étendue. JFPLC Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2001	—	`conf`	Genes and Ants for Default Logic. Answer Set Programming Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2001	J	`jnl`	Heuristics for a Default Logic Reasoning System. Int. J. Artif. Intell. Tools Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2001	B	`conf`	New Generation Systems for Non-monotonic Reasoning. LPNMR Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2001	B	`conf`	Representation of Incomplete Knowledge by Induction of Default Theories. LPNMR Pascal Nicolas, Béatrice Duval
2000	B	`conf`	Combining heuristics for default logic reasoning systems. ICTAI Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2000	J	`jnl`	Description of GADEL CoRR Igor Stéphan, Frédéric Saubion, Pascal Nicolas
2000	A	`conf`	GADEL: a Genetic Algorithm to Compute Default Logic Extensions. ECAI Pascal Nicolas, Frédéric Saubion, Igor Stéphan
2000	J	`jnl`	Genetic Algorithms for Extension Search in Default Logic CoRR Pascal Nicolas, Frédéric Saubion, Igor Stéphan
1999	—	`conf`	Learning Default Theories. ESCQARU Béatrice Duval, Pascal Nicolas
1999	—	`conf`	Query-Answering in Prioritized Default Logic. ESCQARU Farid Benhammadi, Pascal Nicolas, Torsten Schaub
1998	Misc	`conf`	Extension Calculus and Query Answering in Prioritized Default Logic. AIMSA Farid Benhammadi, Pascal Nicolas, Torsten Schaub
1998	—	`conf`	The XRay system: An implementation platform for local query-answering in default logics. Applications of Uncertainty Formalisms Pascal Nicolas, Torsten Schaub
1997	C	`conf`	An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. ISMIS Torsten Schaub, Pascal Nicolas
1997	B	`conf`	An Implementation Platform for Query-Answering: X-RAY. LPNMR Torsten Schaub, Pascal Nicolas
1996	A	`conf`	XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE Torsten Schaub, Stefan Brüning, Pascal Nicolas
1995	C	`conf`	A Theorem Prover for Lukaszewicz' Open Default Theory. ECSQARU Pascal Nicolas, Béatrice Duval
1995	—	`conf`	Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes. JFPLC Pascal Nicolas, Béatrice Duval
1995	—	`conf`	Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory. WOCFAI Pascal Nicolas, Béatrice Duval