BibTeX records: Pascal Nicolas

download as .bib file

@inproceedings{DBLP:conf/comma/DevredDLN10,
  author       = {Caroline Devred and
                  Sylvie Doutre and
                  Claire Lef{\`{e}}vre and
                  Pascal Nicolas},
  editor       = {Pietro Baroni and
                  Federico Cerutti and
                  Massimiliano Giacomin and
                  Guillermo Ricardo Simari},
  title        = {Dialectical Proofs for Constrained Argumentation},
  booktitle    = {Computational Models of Argument: Proceedings of {COMMA} 2010, Desenzano
                  del Garda, Italy, September 8-10, 2010},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {216},
  pages        = {159--170},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-619-5-159},
  doi          = {10.3233/978-1-60750-619-5-159},
  timestamp    = {Tue, 31 Jan 2023 14:55:44 +0100},
  biburl       = {https://dblp.org/rec/conf/comma/DevredDLN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ieeehpcs/MotaNS10,
  author       = {Benoit Da Mota and
                  Pascal Nicolas and
                  Igor St{\'{e}}phan},
  editor       = {Waleed W. Smari and
                  John P. McIntire},
  title        = {A new parallel architecture for {QBF} tools},
  booktitle    = {Proceedings of the 2010 International Conference on High Performance
                  Computing {\&} Simulation, {HPCS} 2010, June 28 - July 2, 2010,
                  Caen, France},
  pages        = {324--330},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/HPCS.2010.5547114},
  doi          = {10.1109/HPCS.2010.5547114},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ieeehpcs/MotaNS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/StephanMN09,
  author       = {Igor St{\'{e}}phan and
                  Benoit Da Mota and
                  Pascal Nicolas},
  title        = {From (Quantified) Boolean Formulae to Answer Set Programming},
  journal      = {J. Log. Comput.},
  volume       = {19},
  number       = {4},
  pages        = {565--590},
  year         = {2009},
  url          = {https://doi.org/10.1093/logcom/exn041},
  doi          = {10.1093/LOGCOM/EXN041},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/StephanMN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/GarciaNN09,
  author       = {Laurent Garcia and
                  St{\'{e}}phane Ngoma and
                  Pascal Nicolas},
  editor       = {Claudio Sossai and
                  Gaetano Chemello},
  title        = {Dealing Automatically with Exceptions by Introducing Specificity in
                  {ASP}},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  10th European Conference, {ECSQARU} 2009, Verona, Italy, July 1-3,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5590},
  pages        = {614--625},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02906-6\_53},
  doi          = {10.1007/978-3-642-02906-6\_53},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/GarciaNN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/LefevreN09,
  author       = {Claire Lef{\`{e}}vre and
                  Pascal Nicolas},
  editor       = {Esra Erdem and
                  Fangzhen Lin and
                  Torsten Schaub},
  title        = {A First Order Forward Chaining Approach for Answer Set Computing},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
                  {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5753},
  pages        = {196--208},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04238-6\_18},
  doi          = {10.1007/978-3-642-04238-6\_18},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/LefevreN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/LefevreN09a,
  author       = {Claire Lef{\`{e}}vre and
                  Pascal Nicolas},
  editor       = {Esra Erdem and
                  Fangzhen Lin and
                  Torsten Schaub},
  title        = {The First Version of a New {ASP} Solver : ASPeRiX},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
                  {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5753},
  pages        = {522--527},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04238-6\_52},
  doi          = {10.1007/978-3-642-04238-6\_52},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/LefevreN09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/NicolasGSL06,
  author       = {Pascal Nicolas and
                  Laurent Garcia and
                  Igor St{\'{e}}phan and
                  Claire Lef{\`{e}}vre},
  title        = {Possibilistic uncertainty handling for answer set programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {47},
  number       = {1-2},
  pages        = {139--181},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10472-006-9029-y},
  doi          = {10.1007/S10472-006-9029-Y},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/NicolasGSL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cec/FeuilloySN06,
  author       = {Mathieu Feuilloy and
                  Daniel Schang and
                  Pascal Nicolas},
  title        = {Comparison of Feature Selection Methods for Syncope Prediction},
  booktitle    = {{IEEE} International Conference on Evolutionary Computation, {CEC}
                  2006, part of {WCCI} 2006, Vancouver, BC, Canada, 16-21 July 2006},
  pages        = {2756--2763},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/CEC.2006.1688654},
  doi          = {10.1109/CEC.2006.1688654},
  timestamp    = {Thu, 16 Dec 2021 14:00:41 +0100},
  biburl       = {https://dblp.org/rec/conf/cec/FeuilloySN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eusipco/FeuilloySN06,
  author       = {Mathieu Feuilloy and
                  Daniel Schang and
                  Pascal Nicolas},
  title        = {A quick low cost method for syncope prediction},
  booktitle    = {14th European Signal Processing Conference, {EUSIPCO} 2006, Florence,
                  Italy, September 4-8, 2006},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://ieeexplore.ieee.org/document/7071465/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eusipco/FeuilloySN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0607088,
  author       = {Farid Nouioua and
                  Pascal Nicolas},
  title        = {Using Answer Set Programming in an Inference-Based approach to Natural
                  Language Semantics},
  journal      = {CoRR},
  volume       = {abs/cs/0607088},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0607088},
  eprinttype    = {arXiv},
  eprint       = {cs/0607088},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0607088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asp/NicolasL05,
  author       = {Pascal Nicolas and
                  Claire Lef{\`{e}}vre},
  editor       = {Marina De Vos and
                  Alessandro Provetti},
  title        = {Possibilistic Stable Model Computing},
  booktitle    = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
                  of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {142},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-142/page203.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/NicolasL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/NicolasGS05,
  author       = {Pascal Nicolas and
                  Laurent Garcia and
                  Igor St{\'{e}}phan},
  editor       = {Llu{\'{\i}}s Godo},
  title        = {A Possibilistic Inconsistency Handling in Answer Set Programming},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3571},
  pages        = {402--414},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11518655\_35},
  doi          = {10.1007/11518655\_35},
  timestamp    = {Fri, 05 Jun 2020 11:50:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/NicolasGS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/NicolasGS05,
  author       = {Pascal Nicolas and
                  Laurent Garcia and
                  Igor St{\'{e}}phan},
  editor       = {Leslie Pack Kaelbling and
                  Alessandro Saffiotti},
  title        = {Possibilistic Stable Models},
  booktitle    = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
                  on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
                  5, 2005},
  pages        = {248--253},
  publisher    = {Professional Book Center},
  year         = {2005},
  url          = {http://ijcai.org/Proceedings/05/Papers/0333.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/NicolasGS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isspa/FeuilloySNFV05,
  author       = {Mathieu Feuilloy and
                  Daniel Schang and
                  Pascal Nicolas and
                  Jacques Olivier Fortrat and
                  Jacques Victor},
  title        = {Dimension reduction methods for the early syncope prediction by artificial
                  neural networks},
  booktitle    = {Proceedings of the Eighth International Symposium on Signal Processing
                  and Its Applications, {ISSPA} 2005, 28-31 August 2005, Sydney, Australia},
  pages        = {74--77},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/ISSPA.2005.1580199},
  doi          = {10.1109/ISSPA.2005.1580199},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/isspa/FeuilloySNFV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/NicolasGS05,
  author       = {Pascal Nicolas and
                  Laurent Garcia and
                  Igor St{\'{e}}phan},
  editor       = {Gerhard Brewka and
                  Ilkka Niemel{\"{a}} and
                  Torsten Schaub and
                  Miroslaw Truszczynski},
  title        = {Possibilistic Stable Models},
  booktitle    = {Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29.
                  April 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05171},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2005/264},
  timestamp    = {Thu, 10 Jun 2021 13:02:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/NicolasGS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/NicolasGS04,
  author       = {Pascal Nicolas and
                  Laurent Garcia and
                  Igor St{\'{e}}phan},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard},
  title        = {Programmation par ensembles-r{\'{e}}ponses possibilistes},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
                  23 Juin 2004, Angers, France},
  publisher    = {Hermes},
  year         = {2004},
  timestamp    = {Mon, 01 Aug 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/NicolasGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nmr/NicolasGS04,
  author       = {Pascal Nicolas and
                  Laurent Garcia and
                  Igor St{\'{e}}phan},
  editor       = {James P. Delgrande and
                  Torsten Schaub},
  title        = {A possibilistic approach to restore consistency in answer set programming},
  booktitle    = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
                  Whistler, Canada, June 6-8, 2004, Proceedings},
  pages        = {306--312},
  year         = {2004},
  url          = {http://www.pims.math.ca/science/2004/NMR/papers/paper40.pdf},
  timestamp    = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/NicolasGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/NicolasSS02,
  author       = {Pascal Nicolas and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  editor       = {Sergio Flesca and
                  Sergio Greco and
                  Nicola Leone and
                  Giovambattista Ianni},
  title        = {Answer Set Programming by Ant Colony Optimization},
  booktitle    = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
                  Cosenza, Italy, September, 23-26, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2424},
  pages        = {481--492},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45757-7\_40},
  doi          = {10.1007/3-540-45757-7\_40},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/NicolasSS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/NicolasSS02,
  author       = {Pascal Nicolas and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  editor       = {Michel Rueher},
  title        = {Optimisation par colonies de fourmis pour la programmation logique
                  {\'{e}}tendue},
  booktitle    = {Programmation en logique avec contraintes, {JFPLC} 2002, 27-30 Mai
                  2002, Universit{\'{e}} de Nice Sophia-Antipolis, France},
  pages        = {57},
  year         = {2002},
  timestamp    = {Mon, 24 May 2004 15:53:56 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/NicolasSS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijait/NicolasSS01,
  author       = {Pascal Nicolas and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  title        = {Heuristics for a Default Logic Reasoning System},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {10},
  number       = {4},
  pages        = {503--523},
  year         = {2001},
  url          = {https://doi.org/10.1142/S0218213001000635},
  doi          = {10.1142/S0218213001000635},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/NicolasSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asp/NicolasSS01,
  author       = {Pascal Nicolas and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  editor       = {Alessandro Provetti and
                  Tran Cao Son},
  title        = {Genes and Ants for Default Logic},
  booktitle    = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
                  and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
                  CA, USA, March 26-28, 2001},
  year         = {2001},
  url          = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/27.ps},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/NicolasSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/NicolasD01,
  author       = {Pascal Nicolas and
                  B{\'{e}}atrice Duval},
  editor       = {Thomas Eiter and
                  Wolfgang Faber and
                  Miroslaw Truszczynski},
  title        = {Representation of Incomplete Knowledge by Induction of Default Theories},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
                  {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2173},
  pages        = {160--172},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45402-0\_12},
  doi          = {10.1007/3-540-45402-0\_12},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/NicolasD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/NicolasSS01,
  author       = {Pascal Nicolas and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  editor       = {Thomas Eiter and
                  Wolfgang Faber and
                  Miroslaw Truszczynski},
  title        = {New Generation Systems for Non-monotonic Reasoning},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
                  {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2173},
  pages        = {309--321},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45402-0\_23},
  doi          = {10.1007/3-540-45402-0\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/NicolasSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/NicolasSS00,
  author       = {Pascal Nicolas and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  editor       = {Werner Horn},
  title        = {{GADEL:} a Genetic Algorithm to Compute Default Logic Extensions},
  booktitle    = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
                  Intelligence, Berlin, Germany, August 20-25, 2000},
  pages        = {484--490},
  publisher    = {{IOS} Press},
  year         = {2000},
  timestamp    = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/NicolasSS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictai/NicolasSS00,
  author       = {Pascal Nicolas and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  title        = {Combining heuristics for default logic reasoning systems},
  booktitle    = {12th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2000), 13-15 November 2000, Vancouver, BC, Canada},
  pages        = {393--400},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/TAI.2000.889899},
  doi          = {10.1109/TAI.2000.889899},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/NicolasSS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0002015,
  author       = {Pascal Nicolas and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Igor St{\'{e}}phan},
  title        = {Genetic Algorithms for Extension Search in Default Logic},
  journal      = {CoRR},
  volume       = {cs.AI/0002015},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0002015},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0002015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0003018,
  author       = {Igor St{\'{e}}phan and
                  Fr{\'{e}}d{\'{e}}ric Saubion and
                  Pascal Nicolas},
  title        = {Description of {GADEL}},
  journal      = {CoRR},
  volume       = {cs.AI/0003018},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0003018},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0003018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/BenhammadiNS99,
  author       = {Farid Benhammadi and
                  Pascal Nicolas and
                  Torsten Schaub},
  editor       = {Anthony Hunter and
                  Simon Parsons},
  title        = {Query-Answering in Prioritized Default Logic},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
                  European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1638},
  pages        = {32--42},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48747-6\_4},
  doi          = {10.1007/3-540-48747-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/BenhammadiNS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/DuvalN99,
  author       = {B{\'{e}}atrice Duval and
                  Pascal Nicolas},
  editor       = {Anthony Hunter and
                  Simon Parsons},
  title        = {Learning Default Theories},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
                  European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1638},
  pages        = {148--159},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48747-6\_14},
  doi          = {10.1007/3-540-48747-6\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/DuvalN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aimsa/BenhammadiNS98,
  author       = {Farid Benhammadi and
                  Pascal Nicolas and
                  Torsten Schaub},
  editor       = {Fausto Giunchiglia},
  title        = {Extension Calculus and Query Answering in Prioritized Default Logic},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057436},
  doi          = {10.1007/BFB0057436},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/BenhammadiNS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/drums/NicolasS98,
  author       = {Pascal Nicolas and
                  Torsten Schaub},
  editor       = {Anthony Hunter and
                  Simon Parsons},
  title        = {The XRay system: An implementation platform for local query-answering
                  in default logics},
  booktitle    = {Applications of Uncertainty Formalisms},
  series       = {Lecture Notes in Computer Science},
  volume       = {1455},
  pages        = {354--378},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49426-X\_16},
  doi          = {10.1007/3-540-49426-X\_16},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/drums/NicolasS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ismis/SchaubN97,
  author       = {Torsten Schaub and
                  Pascal Nicolas},
  editor       = {Zbigniew W. Ras and
                  Andrzej Skowron},
  title        = {An Implementation Platform for Query-Answering in Default Logics:
                  Theoretical Underpinnings},
  booktitle    = {Foundations of Intelligent Systems, 10th International Symposium,
                  {ISMIS} '97, Charlotte, North Carolina, USA, October 15-18, 1997,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1325},
  pages        = {197--206},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63614-5\_19},
  doi          = {10.1007/3-540-63614-5\_19},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/SchaubN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/SchaubN97,
  author       = {Torsten Schaub and
                  Pascal Nicolas},
  editor       = {J{\"{u}}rgen Dix and
                  Ulrich Furbach and
                  Anil Nerode},
  title        = {An Implementation Platform for Query-Answering: {X-RAY}},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
                  LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1265},
  pages        = {442--453},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63255-7\_34},
  doi          = {10.1007/3-540-63255-7\_34},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/SchaubN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SchaubBN96,
  author       = {Torsten Schaub and
                  Stefan Br{\"{u}}ning and
                  Pascal Nicolas},
  editor       = {Michael A. McRobbie and
                  John K. Slaney},
  title        = {XRay: {A} Prolog Technology Theorem Prover for Default Reasoning:
                  {A} System Description},
  booktitle    = {Automated Deduction - CADE-13, 13th International Conference on Automated
                  Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1104},
  pages        = {293--297},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61511-3\_93},
  doi          = {10.1007/3-540-61511-3\_93},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SchaubBN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/NicolasD95,
  author       = {Pascal Nicolas and
                  B{\'{e}}atrice Duval},
  editor       = {Christine Froidevaux and
                  J{\"{u}}rg Kohlas},
  title        = {A Theorem Prover for Lukaszewicz' Open Default Theory},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
                  European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5,
                  1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {946},
  pages        = {311--319},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60112-0\_36},
  doi          = {10.1007/3-540-60112-0\_36},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/NicolasD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/NicolasD95,
  author       = {Pascal Nicolas and
                  B{\'{e}}atrice Duval},
  editor       = {Jean{-}Jacques Chabrier},
  title        = {Logique des d{\'{e}}fauts de Lukaszewicz : un d{\'{e}}monstrateur
                  bas{\'{e}} sur la SLD-r{\'{e}}solution pour les th{\'{e}}ories
                  ouvertes},
  booktitle    = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation
                  par Contraintes et applications industrielles, 17-19 mai 1995, Dijon,
                  France},
  pages        = {275--289},
  year         = {1995},
  timestamp    = {Fri, 28 May 2004 07:52:18 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/NicolasD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wocfai/NicolasD95,
  author       = {Pascal Nicolas and
                  B{\'{e}}atrice Duval},
  editor       = {Michel De Glas and
                  Zdzislaw Pawlak},
  title        = {Lukaszewicz' Default Logic: {A} Theorem Prover Based on SLD-Resolution
                  for Open Default Theory},
  booktitle    = {Proceedings of the Second World Conference on the Fundamentals of
                  Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France},
  pages        = {281--293},
  publisher    = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France},
  year         = {1995},
  timestamp    = {Tue, 30 Jul 2019 08:58:42 +0200},
  biburl       = {https://dblp.org/rec/conf/wocfai/NicolasD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.