Pascal Nicolas

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

Dialectical Proofs for Constrained Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009

From (Quantified) Boolean Formulae to Answer Set Programming.

[BibT_eX]

[DOI]

Benoit Da Mota

J. Log. Comput., 2009

The First Version of a New ASP Solver : ASPeRiX.

[BibT_eX]

[DOI]

Claire Lefèvre

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A First Order Forward Chaining Approach for Answer Set Computing.

[BibT_eX]

[DOI]

Claire Lefèvre

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Dealing Automatically with Exceptions by Introducing Specificity in ASP.

[BibT_eX]

[DOI]

Stéphane Ngoma

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2006

Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics

[BibT_eX]

[DOI]

Farid Nouioua

CoRR, 2006

Possibilistic uncertainty handling for answer set programming.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

A quick low cost method for syncope prediction.

[BibT_eX]

[DOI]

Mathieu Feuilloy

Daniel Schang

Proceedings of the 14th European Signal Processing Conference, 2006

Comparison of Feature Selection Methods for Syncope Prediction.

[BibT_eX]

[DOI]

Mathieu Feuilloy

Daniel Schang

Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005

Dimension reduction methods for the early syncope prediction by artificial neural networks.

[BibT_eX]

[DOI]

Mathieu Feuilloy

Daniel Schang

Jacques Olivier Fortrat

Jacques Victor

Proceedings of the Eighth International Symposium on Signal Processing and Its Applications, 2005

A Possibilistic Inconsistency Handling in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Possibilistic Stable Models.

[BibT_eX]

[DOI]

Proceedings of the Nonmonotonic Reasoning, 2005

Possibilistic Stable Model Computing.

[BibT_eX]

[DOI]

Claire Lefèvre

Proceedings of the Answer Set Programming, 2005

2004

A possibilistic approach to restore consistency in answer set programming.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Programmation par ensembles-réponses possibilistes.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2004

2002

Optimisation par colonies de fourmis pour la programmation logique étendue.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2002

Answer Set Programming by Ant Colony Optimization.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Heuristics for a Default Logic Reasoning System.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2001

New Generation Systems for Non-monotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Representation of Incomplete Knowledge by Induction of Default Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Genes and Ants for Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

Description of GADEL

[BibT_eX]

[DOI]

CoRR, 2000

Genetic Algorithms for Extension Search in Default Logic

[BibT_eX]

[DOI]

CoRR, 2000

Combining heuristics for default logic reasoning systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

GADEL: a Genetic Algorithm to Compute Default Logic Extensions.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1999

Learning Default Theories.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

Query-Answering in Prioritized Default Logic.

[BibT_eX]

[DOI]

Farid Benhammadi

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

The XRay system: An implementation platform for local query-answering in default logics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Uncertainty Formalisms, 1998

Extension Calculus and Query Answering in Prioritized Default Logic.

[BibT_eX]

[DOI]

Farid Benhammadi

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

An Implementation Platform for Query-Answering: X-RAY.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

1996

XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.

[BibT_eX]

[DOI]

Stefan Brüning

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory.

[BibT_eX]

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes.

[BibT_eX]

Proceedings of the JFPLC'95, 1995

A Theorem Prover for Lukaszewicz' Open Default Theory.

[BibT_eX]

[DOI]