default search action
Pascal Nicolas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [p1]Arnaud Lallouet, Yves Moinard, Pascal Nicolas, Igor Stéphan:
Logic Programming. A Guided Tour of Artificial Intelligence Research (2) (II) 2020: 83-113
2010 – 2019
- 2010
- [c30]Caroline Devred, Sylvie Doutre
, Claire Lefèvre, Pascal Nicolas:
Dialectical Proofs for Constrained Argumentation. COMMA 2010: 159-170 - [c29]Benoit Da Mota, Pascal Nicolas, Igor Stéphan:
A new parallel architecture for QBF tools. HPCS 2010: 324-330
2000 – 2009
- 2009
- [j3]Igor Stéphan, Benoit Da Mota, Pascal Nicolas:
From (Quantified) Boolean Formulae to Answer Set Programming. J. Log. Comput. 19(4): 565-590 (2009) - [c28]Laurent Garcia, Stéphane Ngoma, Pascal Nicolas:
Dealing Automatically with Exceptions by Introducing Specificity in ASP. ECSQARU 2009: 614-625 - [c27]Claire Lefèvre, Pascal Nicolas:
A First Order Forward Chaining Approach for Answer Set Computing. LPNMR 2009: 196-208 - [c26]Claire Lefèvre, Pascal Nicolas:
The First Version of a New ASP Solver : ASPeRiX. LPNMR 2009: 522-527 - 2006
- [j2]Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre:
Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. 47(1-2): 139-181 (2006) - [c25]Mathieu Feuilloy, Daniel Schang, Pascal Nicolas:
Comparison of Feature Selection Methods for Syncope Prediction. IEEE Congress on Evolutionary Computation 2006: 2756-2763 - [c24]Mathieu Feuilloy, Daniel Schang, Pascal Nicolas:
A quick low cost method for syncope prediction. EUSIPCO 2006: 1-5 - [i4]Farid Nouioua, Pascal Nicolas:
Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics. CoRR abs/cs/0607088 (2006) - 2005
- [c23]Pascal Nicolas, Claire Lefèvre:
Possibilistic Stable Model Computing. Answer Set Programming 2005 - [c22]Pascal Nicolas, Laurent Garcia, Igor Stéphan:
A Possibilistic Inconsistency Handling in Answer Set Programming. ECSQARU 2005: 402-414 - [c21]Pascal Nicolas, Laurent Garcia, Igor Stéphan:
Possibilistic Stable Models. IJCAI 2005: 248-253 - [c20]Mathieu Feuilloy, Daniel Schang, Pascal Nicolas, Jacques Olivier Fortrat, Jacques Victor:
Dimension reduction methods for the early syncope prediction by artificial neural networks. ISSPA 2005: 74-77 - [i3]Pascal Nicolas, Laurent Garcia, Igor Stéphan:
Possibilistic Stable Models. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - 2004
- [c19]Pascal Nicolas, Laurent Garcia, Igor Stéphan:
Programmation par ensembles-réponses possibilistes. JFPLC 2004 - [c18]Pascal Nicolas, Laurent Garcia, Igor Stéphan:
A possibilistic approach to restore consistency in answer set programming. NMR 2004: 306-312 - 2002
- [c17]Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Answer Set Programming by Ant Colony Optimization. JELIA 2002: 481-492 - [c16]Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Optimisation par colonies de fourmis pour la programmation logique étendue. JFPLC 2002: 57- - 2001
- [j1]Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Heuristics for a Default Logic Reasoning System. Int. J. Artif. Intell. Tools 10(4): 503-523 (2001) - [c15]Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Genes and Ants for Default Logic. Answer Set Programming 2001 - [c14]Pascal Nicolas, Béatrice Duval:
Representation of Incomplete Knowledge by Induction of Default Theories. LPNMR 2001: 160-172 - [c13]Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
New Generation Systems for Non-monotonic Reasoning. LPNMR 2001: 309-321 - 2000
- [c12]Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
GADEL: a Genetic Algorithm to Compute Default Logic Extensions. ECAI 2000: 484-490 - [c11]Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Combining heuristics for default logic reasoning systems. ICTAI 2000: 393-400 - [i2]Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Genetic Algorithms for Extension Search in Default Logic. CoRR cs.AI/0002015 (2000) - [i1]Igor Stéphan, Frédéric Saubion, Pascal Nicolas:
Description of GADEL. CoRR cs.AI/0003018 (2000)
1990 – 1999
- 1999
- [c10]Farid Benhammadi, Pascal Nicolas, Torsten Schaub:
Query-Answering in Prioritized Default Logic. ESCQARU 1999: 32-42 - [c9]Béatrice Duval, Pascal Nicolas:
Learning Default Theories. ESCQARU 1999: 148-159 - 1998
- [c8]Farid Benhammadi, Pascal Nicolas, Torsten Schaub:
Extension Calculus and Query Answering in Prioritized Default Logic. AIMSA 1998: 76-87 - [c7]Pascal Nicolas, Torsten Schaub:
The XRay system: An implementation platform for local query-answering in default logics. Applications of Uncertainty Formalisms 1998: 354-378 - 1997
- [c6]Torsten Schaub, Pascal Nicolas:
An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. ISMIS 1997: 197-206 - [c5]Torsten Schaub, Pascal Nicolas:
An Implementation Platform for Query-Answering: X-RAY. LPNMR 1997: 442-453 - 1996
- [c4]Torsten Schaub, Stefan Brüning, Pascal Nicolas:
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE 1996: 293-297 - 1995
- [c3]Pascal Nicolas, Béatrice Duval:
A Theorem Prover for Lukaszewicz' Open Default Theory. ECSQARU 1995: 311-319 - [c2]Pascal Nicolas, Béatrice Duval:
Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes. JFPLC 1995: 275-289 - [c1]Pascal Nicolas, Béatrice Duval:
Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory. WOCFAI 1995: 281-293
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: