BibTeX records: Philippe Besnard

download as .bib file

@book{DBLP:series/sbcs/GuyetB23,
  author       = {Thomas Guyet and
                  Philippe Besnard},
  title        = {Chronicles: Formalization of a Temporal Model},
  series       = {Springer Briefs in Computer Science},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33693-5},
  doi          = {10.1007/978-3-031-33693-5},
  isbn         = {978-3-031-33692-8},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sbcs/GuyetB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/LiuBD23,
  author       = {Xiaolong Liu and
                  Philippe Besnard and
                  Sylvie Doutre},
  title        = {Paraconsistent inference relations induced from inconsistency measures},
  journal      = {Int. J. Approx. Reason.},
  volume       = {152},
  pages        = {183--197},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ijar.2022.10.006},
  doi          = {10.1016/J.IJAR.2022.10.006},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/LiuBD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BesnardDDL23,
  author       = {Philippe Besnard and
                  Sylvie Doutre and
                  Th{\'{e}}o Duchatelle and
                  Marie{-}Christine Lagasquie{-}Schiex},
  title        = {Generic logical encoding for argumentation},
  journal      = {J. Log. Comput.},
  volume       = {33},
  number       = {3},
  pages        = {623--704},
  year         = {2023},
  url          = {https://doi.org/10.1093/logcom/exac039},
  doi          = {10.1093/LOGCOM/EXAC039},
  timestamp    = {Tue, 18 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BesnardDDL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iswa/BesnardDDL22,
  author       = {Philippe Besnard and
                  Sylvie Doutre and
                  Th{\'{e}}o Duchatelle and
                  Marie{-}Christine Lagasquie{-}Schiex},
  title        = {Explaining Semantics and Extension Membership in Abstract Argumentation},
  journal      = {Intell. Syst. Appl.},
  volume       = {16},
  pages        = {200118},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.iswa.2022.200118},
  doi          = {10.1016/J.ISWA.2022.200118},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iswa/BesnardDDL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/LiuBD21,
  author       = {Xiaolong Liu and
                  Philippe Besnard and
                  Sylvie Doutre},
  editor       = {Jirina Vejnarov{\'{a}} and
                  Nic Wilson},
  title        = {Inducing Inference Relations from Inconsistency Measures},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
                  - 16th European Conference, {ECSQARU} 2021, Prague, Czech Republic,
                  September 21-24, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12897},
  pages        = {486--498},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86772-0\_35},
  doi          = {10.1007/978-3-030-86772-0\_35},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/LiuBD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BesnardG20,
  author       = {Philippe Besnard and
                  John Grant},
  title        = {Relative inconsistency measures},
  journal      = {Artif. Intell.},
  volume       = {280},
  pages        = {103231},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103231},
  doi          = {10.1016/J.ARTINT.2019.103231},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BesnardG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/BesnardCL20,
  author       = {Philippe Besnard and
                  Claudette Cayrol and
                  Marie{-}Christine Lagasquie{-}Schiex},
  title        = {Logical theories and abstract argumentation: {A} survey of existing
                  works},
  journal      = {Argument Comput.},
  volume       = {11},
  number       = {1-2},
  pages        = {41--102},
  year         = {2020},
  url          = {https://doi.org/10.3233/AAC-190476},
  doi          = {10.3233/AAC-190476},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/argcom/BesnardCL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BesnardG20,
  author       = {Philippe Besnard and
                  Thomas Guyet},
  editor       = {Giuseppe De Giacomo and
                  Alejandro Catal{\'{a}} and
                  Bistra Dilkina and
                  Michela Milano and
                  Sen{\'{e}}n Barro and
                  Alberto Bugar{\'{\i}}n and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {Semantics of Negative Sequential Patterns},
  booktitle    = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
                  29 August-8 September 2020, Santiago de Compostela, Spain, August
                  29 - September 8, 2020 - Including 10th Conference on Prestigious
                  Applications of Artificial Intelligence {(PAIS} 2020)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {325},
  pages        = {1009--1015},
  publisher    = {{IOS} Press},
  year         = {2020},
  url          = {https://doi.org/10.3233/FAIA200195},
  doi          = {10.3233/FAIA200195},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BesnardG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/GuyetBSSL20,
  author       = {Thomas Guyet and
                  Philippe Besnard and
                  Ahmed Samet and
                  Nasreddine Ben Salha and
                  Nicolas Lachiche},
  editor       = {Antoine Cornu{\'{e}}jols and
                  {\'{E}}tienne Cuvelier},
  title        = {{\'{E}}num{\'{e}}ration des occurrences d'une chronique},
  booktitle    = {Extraction et Gestion des Connaissances, {EGC} 2020, Brussels, Belgium,
                  January 27-31, 2020},
  series       = {{RNTI}},
  volume       = {{E-36}},
  pages        = {253--260},
  publisher    = {{\'{E}}ditions {RNTI}},
  year         = {2020},
  url          = {http://editions-rnti.fr/?inprocid=1002579},
  timestamp    = {Tue, 25 Oct 2022 12:25:06 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/GuyetBSSL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06920,
  author       = {Thomas Guyet and
                  Philippe Besnard},
  title        = {Semantics of negative sequential patterns},
  journal      = {CoRR},
  volume       = {abs/2002.06920},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.06920},
  eprinttype    = {arXiv},
  eprint       = {2002.06920},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-06920.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/AmgoudB19,
  author       = {Leila Amgoud and
                  Philippe Besnard},
  title        = {A formal characterization of the outcomes of rule-based argumentation
                  systems},
  journal      = {Knowl. Inf. Syst.},
  volume       = {61},
  number       = {1},
  pages        = {543--588},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10115-018-1227-5},
  doi          = {10.1007/S10115-018-1227-5},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kais/AmgoudB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BesnardGM19,
  author       = {Philippe Besnard and
                  Thomas Guyet and
                  V{\'{e}}ronique Masson},
  title        = {Admissible Generalizations of Examples as Rules},
  booktitle    = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
  pages        = {1488--1493},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICTAI.2019.00211},
  doi          = {10.1109/ICTAI.2019.00211},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/BesnardGM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BisquertSB19,
  author       = {Pierre Bisquert and
                  Florence Dupin de Saint{-}Cyr and
                  Philippe Besnard},
  editor       = {Marcello Balduccini and
                  Yuliya Lierler and
                  Stefan Woltran},
  title        = {Assessing Arguments with Schemes and Fallacies},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 15th International
                  Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11481},
  pages        = {61--74},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-20528-7\_6},
  doi          = {10.1007/978-3-030-20528-7\_6},
  timestamp    = {Fri, 31 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BisquertSB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AmgoudBH17,
  author       = {Leila Amgoud and
                  Philippe Besnard and
                  Anthony Hunter},
  title        = {Foundations for a logic of arguments},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {27},
  number       = {3-4},
  pages        = {178--195},
  year         = {2017},
  url          = {https://doi.org/10.1080/11663081.2018.1439356},
  doi          = {10.1080/11663081.2018.1439356},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/AmgoudBH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/Besnard17,
  author       = {Philippe Besnard},
  title        = {Basic Postulates for Inconsistency Measures},
  journal      = {Trans. Large Scale Data Knowl. Centered Syst.},
  volume       = {34},
  pages        = {1--12},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-55947-5\_1},
  doi          = {10.1007/978-3-662-55947-5\_1},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tlsdkcs/Besnard17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apia/BesnardDL17,
  author       = {Philippe Besnard and
                  Sylvie Doutre and
                  Dominique Longin},
  editor       = {Sandra Bringay},
  title        = {Le syst{\`{e}}me Sesame : Sp{\'{e}}cifier des s{\'{e}}mantiques
                  argumentatives},
  booktitle    = {3{\`{e}}me Conf{\'{e}}rence Nationale sur les Applications Pratiques
                  de l'Intelligence Artificielle, {APIA} 2017, Caen, France, July 3-4,
                  2017},
  year         = {2017},
  url          = {https://hal.archives-ouvertes.fr/hal-01561521/document},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apia/BesnardDL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BesnardDDL17,
  author       = {Philippe Besnard and
                  Victor David and
                  Sylvie Doutre and
                  Dominique Longin},
  title        = {Subsumption and Incompatibility between Principles in Ranking-Based
                  Argumentation},
  booktitle    = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
  pages        = {853--859},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICTAI.2017.00133},
  doi          = {10.1109/ICTAI.2017.00133},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/BesnardDDL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BesnardDHL16,
  author       = {Philippe Besnard and
                  Sylvie Doutre and
                  Van Hieu Ho and
                  Dominique Longin},
  editor       = {Matthias Thimm and
                  Federico Cerutti and
                  Hannes Strass and
                  Mauro Vallati},
  title        = {{SESAME} - {A} System for Specifying Semantics in Abstract Argumentation},
  booktitle    = {Proceedings of the First International Workshop on Systems and Algorithms
                  for Formal Argumentation {(SAFA)} co-located with the 6th International
                  Conference on Computational Models of Argument {(COMMA} 2016), Potsdam,
                  Germany, September 13, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1672},
  pages        = {40--51},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1672/paper\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:13 +0100},
  biburl       = {https://dblp.org/rec/conf/comma/BesnardDHL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/Besnard16,
  author       = {Philippe Besnard},
  editor       = {Steven Schockaert and
                  Pierre Senellart},
  title        = {Forgetting-Based Inconsistency Measure},
  booktitle    = {Scalable Uncertainty Management - 10th International Conference, {SUM}
                  2016, Nice, France, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9858},
  pages        = {331--337},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45856-4\_23},
  doi          = {10.1007/978-3-319-45856-4\_23},
  timestamp    = {Wed, 25 Sep 2019 18:13:12 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/Besnard16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/BesnardGR15,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Badran Raddaoui},
  title        = {Un syst{\`{e}}me argumentatif pour le raisonnement sur des ressources
                  limit{\'{e}}es},
  journal      = {Rev. d'Intelligence Artif.},
  volume       = {29},
  number       = {3-4},
  pages        = {349--368},
  year         = {2015},
  url          = {https://doi.org/10.3166/ria.29.349-368},
  doi          = {10.3166/RIA.29.349-368},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ria/BesnardGR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BesnardGL15,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Jean{-}Marie Lagniez},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {On Computing Maximal Subsets of Clauses that Must Be Satisfiable with
                  Possibly Mutually-Contradictory Assumptive Contexts},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {3710--3716},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9751},
  doi          = {10.1609/AAAI.V29I1.9751},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BesnardGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/AmgoudBH15,
  author       = {Leila Amgoud and
                  Philippe Besnard and
                  Anthony Hunter},
  editor       = {S{\'{e}}bastien Destercke and
                  Thierry Denoeux},
  title        = {Representing and Reasoning About Arguments Mined from Texts and Dialogues},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
                  - 13th European Conference, {ECSQARU} 2015, Compi{\`{e}}gne, France,
                  July 15-17, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9161},
  pages        = {60--71},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-20807-7\_6},
  doi          = {10.1007/978-3-319-20807-7\_6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/AmgoudBH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AmgoudBH15,
  author       = {Leila Amgoud and
                  Philippe Besnard and
                  Anthony Hunter},
  title        = {Logical Representation and Analysis for RC-Arguments},
  booktitle    = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
  pages        = {104--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICTAI.2015.28},
  doi          = {10.1109/ICTAI.2015.28},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/AmgoudBH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/BesnardGHMPST14,
  author       = {Philippe Besnard and
                  Alejandro Javier Garc{\'{\i}}a and
                  Anthony Hunter and
                  Sanjay Modgil and
                  Henry Prakken and
                  Guillermo Ricardo Simari and
                  Francesca Toni},
  title        = {Introduction to structured argumentation},
  journal      = {Argument Comput.},
  volume       = {5},
  number       = {1},
  pages        = {1--4},
  year         = {2014},
  url          = {https://doi.org/10.1080/19462166.2013.869764},
  doi          = {10.1080/19462166.2013.869764},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/argcom/BesnardGHMPST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/BesnardH14,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  title        = {Constructing argument graphs with deductive arguments: a tutorial},
  journal      = {Argument Comput.},
  volume       = {5},
  number       = {1},
  pages        = {5--30},
  year         = {2014},
  url          = {https://doi.org/10.1080/19462166.2013.869765},
  doi          = {10.1080/19462166.2013.869765},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/argcom/BesnardH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Besnard14,
  author       = {Philippe Besnard},
  title        = {A Note on Directions for Cumulativity},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {2},
  pages        = {77--82},
  year         = {2014},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Besnard14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AmgoudBV14,
  author       = {Leila Amgoud and
                  Philippe Besnard and
                  Srdjan Vesic},
  title        = {Equivalence in logic-based argumentation},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {24},
  number       = {3},
  pages        = {181--208},
  year         = {2014},
  url          = {https://doi.org/10.1080/11663081.2014.959332},
  doi          = {10.1080/11663081.2014.959332},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AmgoudBV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BesnardCM14,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier and
                  Yves Moinard},
  editor       = {Christoph Beierle and
                  Carlo Meghini},
  title        = {Arguments Using Ontological and Causal Knowledge},
  booktitle    = {Foundations of Information and Knowledge Systems - 8th International
                  Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8367},
  pages        = {79--96},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-04939-7\_3},
  doi          = {10.1007/978-3-319-04939-7\_3},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/BesnardCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/BesnardDH14,
  author       = {Philippe Besnard and
                  Sylvie Doutre and
                  Andreas Herzig},
  editor       = {Anne Laurent and
                  Olivier Strauss and
                  Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager},
  title        = {Encoding Argument Graphs in Logic},
  booktitle    = {Information Processing and Management of Uncertainty in Knowledge-Based
                  Systems - 15th International Conference, {IPMU} 2014, Montpellier,
                  France, July 15-19, 2014, Proceedings, Part {II}},
  series       = {Communications in Computer and Information Science},
  volume       = {443},
  pages        = {345--354},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08855-6\_35},
  doi          = {10.1007/978-3-319-08855-6\_35},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ipmu/BesnardDH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Besnard14,
  author       = {Philippe Besnard},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Revisiting Postulates for Inconsistency Measures},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {383--396},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_27},
  doi          = {10.1007/978-3-319-11558-0\_27},
  timestamp    = {Fri, 07 Aug 2020 08:55:19 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Besnard14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BesnardCM14,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier and
                  Yves Moinard},
  title        = {Arguments using ontological and causal knowledge},
  journal      = {CoRR},
  volume       = {abs/1401.4144},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.4144},
  eprinttype    = {arXiv},
  eprint       = {1401.4144},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BesnardCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/BesnardGR13,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  S{\'{e}}bastien Ramon},
  title        = {Overriding subsuming rules},
  journal      = {Int. J. Approx. Reason.},
  volume       = {54},
  number       = {4},
  pages        = {452--466},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ijar.2012.11.003},
  doi          = {10.1016/J.IJAR.2012.11.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/BesnardGR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AmgoudB13,
  author       = {Leila Amgoud and
                  Philippe Besnard},
  title        = {Logical limits of abstract argumentation frameworks},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {23},
  number       = {3},
  pages        = {229--267},
  year         = {2013},
  url          = {https://doi.org/10.1080/11663081.2013.830381},
  doi          = {10.1080/11663081.2013.830381},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AmgoudB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/BesnardG13,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire},
  editor       = {Mingzheng Wang},
  title        = {Handling Incoming Beliefs},
  booktitle    = {Knowledge Science, Engineering and Management - 6th International
                  Conference, {KSEM} 2013, Dalian, China, August 10-12, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8041},
  pages        = {206--217},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39787-5\_17},
  doi          = {10.1007/978-3-642-39787-5\_17},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/BesnardG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/BesnardGR13,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Badran Raddaoui},
  editor       = {Weiru Liu and
                  V. S. Subrahmanian and
                  Jef Wijsen},
  title        = {A Conditional Logic-Based Argumentation Framework},
  booktitle    = {Scalable Uncertainty Management - 7th International Conference, {SUM}
                  2013, Washington, DC, USA, September 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8078},
  pages        = {44--56},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40381-1\_4},
  doi          = {10.1007/978-3-642-40381-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/BesnardGR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/AmgoudB13,
  author       = {Leila Amgoud and
                  Philippe Besnard},
  editor       = {Weiru Liu and
                  V. S. Subrahmanian and
                  Jef Wijsen},
  title        = {A Formal Characterization of the Outcomes of Rule-Based Argumentation
                  Systems},
  booktitle    = {Scalable Uncertainty Management - 7th International Conference, {SUM}
                  2013, Washington, DC, USA, September 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8078},
  pages        = {78--91},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40381-1\_7},
  doi          = {10.1007/978-3-642-40381-1\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/AmgoudB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6788,
  author       = {Philippe Besnard and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {Possibility and Necessity Functions over Non-classical Logics},
  journal      = {CoRR},
  volume       = {abs/1302.6788},
  year         = {2013},
  url          = {http://arxiv.org/abs/1302.6788},
  eprinttype    = {arXiv},
  eprint       = {1302.6788},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6788.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3848,
  author       = {Philippe Besnard and
                  Steve Hanks},
  title        = {Proceedings of the Eleventh Conference on Uncertainty in Artificial
                  Intelligence {(1995)}},
  journal      = {CoRR},
  volume       = {abs/1304.3848},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.3848},
  eprinttype    = {arXiv},
  eprint       = {1304.3848},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-3848.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/BesnardGPR12,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  C{\'{e}}dric Piette and
                  Badran Raddaoui},
  title        = {Calcul d'arguments et de contre-arguments fond{\'{e}} sur les
                  noyaux inconsistants},
  journal      = {Rev. d'Intelligence Artif.},
  volume       = {26},
  number       = {3},
  pages        = {209--224},
  year         = {2012},
  url          = {https://doi.org/10.3166/ria.26.209-224},
  doi          = {10.3166/RIA.26.209-224},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ria/BesnardGPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BesnardGR12,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  S{\'{e}}bastien Ramon},
  editor       = {Luc De Raedt and
                  Christian Bessiere and
                  Didier Dubois and
                  Patrick Doherty and
                  Paolo Frasconi and
                  Fredrik Heintz and
                  Peter J. F. Lucas},
  title        = {Preemption Operators},
  booktitle    = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
                  Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
                  System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {242},
  pages        = {893--894},
  publisher    = {{IOS} Press},
  year         = {2012},
  url          = {https://doi.org/10.3233/978-1-61499-098-7-893},
  doi          = {10.3233/978-1-61499-098-7-893},
  timestamp    = {Mon, 19 Jun 2023 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BesnardGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/BesnardGR12,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  S{\'{e}}bastien Ramon},
  title        = {Logic-based fusion of legal knowledge},
  booktitle    = {15th International Conference on Information Fusion, {FUSION} 2012,
                  Singapore, July 9-12, 2012},
  pages        = {587--592},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6289855/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fusion/BesnardGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BesnardGR12,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Badran Raddaoui},
  title        = {An Argumentation Framework for Reasoning about Bounded Resources},
  booktitle    = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2012, Athens, Greece, November 7-9, 2012},
  pages        = {540--547},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICTAI.2012.79},
  doi          = {10.1109/ICTAI.2012.79},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/BesnardGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/Besnard11,
  author       = {Philippe Besnard},
  title        = {A Logical Analysis of Rule Inconsistency},
  journal      = {Int. J. Semantic Comput.},
  volume       = {5},
  number       = {3},
  pages        = {271--280},
  year         = {2011},
  url          = {https://doi.org/10.1142/S1793351X11001250},
  doi          = {10.1142/S1793351X11001250},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsc/Besnard11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BesnardGR11,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  S{\'{e}}bastien Ramon},
  editor       = {Weiru Liu},
  title        = {Overriding Subsuming Rules},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
                  - 11th European Conference, {ECSQARU} 2011, Belfast, UK, June 29-July
                  1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6717},
  pages        = {532--544},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22152-1\_45},
  doi          = {10.1007/978-3-642-22152-1\_45},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/BesnardGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AmgoudBV11,
  author       = {Leila Amgoud and
                  Philippe Besnard and
                  Srdjan Vesic},
  title        = {Identifying the Core of Logic-Based Argumentation Systems},
  booktitle    = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
  pages        = {633--636},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICTAI.2011.100},
  doi          = {10.1109/ICTAI.2011.100},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/AmgoudBV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/BesnardGR11,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  S{\'{e}}bastien Ramon},
  editor       = {Hui Xiong and
                  Wing Bun Lee},
  title        = {Enforcing Logically Weaker Knowledge in Classical Logic},
  booktitle    = {Knowledge Science, Engineering and Management - 5th International
                  Conference, {KSEM} 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7091},
  pages        = {44--55},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25975-3\_5},
  doi          = {10.1007/978-3-642-25975-3\_5},
  timestamp    = {Fri, 03 Apr 2020 17:07:23 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/BesnardGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Besnard10,
  author       = {Philippe Besnard},
  title        = {Absurdity, Contradictions, and Logical Formalisms},
  booktitle    = {22nd {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2010, Arras, France, 27-29 October 2010 - Volume 1},
  pages        = {369--374},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICTAI.2010.60},
  doi          = {10.1109/ICTAI.2010.60},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Besnard10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BesnardGPR10,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  C{\'{e}}dric Piette and
                  Badran Raddaoui},
  title        = {MUS-based generation of arguments and counter-arguments},
  booktitle    = {Proceedings of the {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} 2010, 4-6 August 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {239--244},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/IRI.2010.5558935},
  doi          = {10.1109/IRI.2010.5558935},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/BesnardGPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/AmgoudB10,
  author       = {Leila Amgoud and
                  Philippe Besnard},
  editor       = {Amol Deshpande and
                  Anthony Hunter},
  title        = {A Formal Analysis of Logic-Based Argumentation Systems},
  booktitle    = {Scalable Uncertainty Management - 4th International Conference, {SUM}
                  2010, Toulouse, France, September 27-29, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6379},
  pages        = {42--55},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15951-0\_10},
  doi          = {10.1007/978-3-642-15951-0\_10},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/AmgoudB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4801,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier and
                  Yves Moinard},
  title        = {Ontology-based inference for causal explanation},
  journal      = {CoRR},
  volume       = {abs/1004.4801},
  year         = {2010},
  url          = {http://arxiv.org/abs/1004.4801},
  eprinttype    = {arXiv},
  eprint       = {1004.4801},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1004-4801.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BesnardHW09,
  author       = {Philippe Besnard and
                  Anthony Hunter and
                  Stefan Woltran},
  title        = {Encoding deductive argumentation in quantified Boolean formulae},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {15},
  pages        = {1406--1423},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.06.006},
  doi          = {10.1016/J.ARTINT.2009.06.006},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BesnardHW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BesnardGR09,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  S{\'{e}}bastien Ramon},
  editor       = {Claudio Sossai and
                  Gaetano Chemello},
  title        = {A Default Logic Patch for Default Logic},
  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        = {578--589},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02906-6\_50},
  doi          = {10.1007/978-3-642-02906-6\_50},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/BesnardGR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BesnardG09,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire},
  title        = {About Agents that Reason by Case (Preliminary Report)},
  booktitle    = {Proceedings of the {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} 2009, 10-12 August 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {405--410},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/IRI.2009.5211587},
  doi          = {10.1109/IRI.2009.5211587},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/BesnardG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/AmgoudB09,
  author       = {Leila Amgoud and
                  Philippe Besnard},
  editor       = {Llu{\'{\i}}s Godo and
                  Andrea Pugliese},
  title        = {Bridging the Gap between Abstract Argumentation Systems and Logic},
  booktitle    = {Scalable Uncertainty Management, Third International Conference, {SUM}
                  2009, Washington, DC, USA, September 28-30, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5785},
  pages        = {12--27},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04388-8\_3},
  doi          = {10.1007/978-3-642-04388-8\_3},
  timestamp    = {Fri, 05 Jun 2020 11:50:50 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/AmgoudB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/BesnardH09,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  editor       = {Guillermo Ricardo Simari and
                  Iyad Rahwan},
  title        = {Argumentation Based on Classical Logic},
  booktitle    = {Argumentation in Artificial Intelligence},
  pages        = {133--152},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-0-387-98197-0\_7},
  doi          = {10.1007/978-0-387-98197-0\_7},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/09/BesnardH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030834,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  title        = {Elements of Argumentation},
  publisher    = {{MIT} Press},
  year         = {2008},
  url          = {http://mitpress.mit.edu/books/elements-argumentation},
  isbn         = {978-0-262-02643-7},
  timestamp    = {Tue, 02 Apr 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0030834.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mit/BH2008,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  title        = {Elements of Argumentation},
  publisher    = {{MIT} Press},
  year         = {2008},
  url          = {https://mitpress.mit.edu/books/elements-argumentation},
  isbn         = {9780262250986},
  timestamp    = {Mon, 19 Sep 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mit/BH2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icae/BesnardCM08,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier and
                  Yves Moinard},
  title        = {Ontology-based inference for causal explanation},
  journal      = {Integr. Comput. Aided Eng.},
  volume       = {15},
  number       = {4},
  pages        = {351--367},
  year         = {2008},
  url          = {https://doi.org/10.3233/ica-2008-15406},
  doi          = {10.3233/ICA-2008-15406},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/icae/BesnardCM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/KoniecznyMB08,
  author       = {S{\'{e}}bastien Konieczny and
                  Pierre Marquis and
                  Philippe Besnard},
  title        = {Bipolarity in bilattice logics},
  journal      = {Int. J. Intell. Syst.},
  volume       = {23},
  number       = {10},
  pages        = {1046--1061},
  year         = {2008},
  url          = {https://doi.org/10.1002/int.20306},
  doi          = {10.1002/INT.20306},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijis/KoniecznyMB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BesnardCM08,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier and
                  Yves Moinard},
  editor       = {Malik Ghallab and
                  Constantine D. Spyropoulos and
                  Nikos Fakotakis and
                  Nikolaos M. Avouris},
  title        = {Deriving explanations from causal information},
  booktitle    = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
                  Patras, Greece, July 21-25, 2008, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {178},
  pages        = {723--724},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-891-5-723},
  doi          = {10.3233/978-1-58603-891-5-723},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BesnardCM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/comma/2008,
  editor       = {Philippe Besnard and
                  Sylvie Doutre and
                  Anthony Hunter},
  title        = {Computational Models of Argument: Proceedings of {COMMA} 2008, Toulouse,
                  France, May 28-30, 2008},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {172},
  publisher    = {{IOS} Press},
  year         = {2008},
  isbn         = {978-1-58603-859-5},
  timestamp    = {Wed, 18 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/comma/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Besnard07,
  author       = {Philippe Besnard},
  title        = {Remedying inconsistent sets of premises},
  journal      = {Int. J. Approx. Reason.},
  volume       = {45},
  number       = {2},
  pages        = {308--320},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ijar.2006.06.013},
  doi          = {10.1016/J.IJAR.2006.06.013},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/Besnard07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/BesnardCM07,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier and
                  Yves Moinard},
  editor       = {Zili Zhang and
                  J{\"{o}}rg H. Siekmann},
  title        = {Ontology-Based Inference for Causal Explanation},
  booktitle    = {Knowledge Science, Engineering and Management, Second International
                  Conference, {KSEM} 2007, Melbourne, Australia, November 28-30, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4798},
  pages        = {153--164},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76719-0\_18},
  doi          = {10.1007/978-3-540-76719-0\_18},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/BesnardCM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BesnardLM06,
  author       = {Philippe Besnard and
                  J{\'{e}}r{\^{o}}me Lang and
                  Pierre Marquis},
  editor       = {Gerhard Brewka and
                  Silvia Coradeschi and
                  Anna Perini and
                  Paolo Traverso},
  title        = {Variable Forgetting in Preference Relations over Propositional Domains},
  booktitle    = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
                  August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {141},
  pages        = {763--764},
  publisher    = {{IOS} Press},
  year         = {2006},
  timestamp    = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/BesnardLM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BesnardH06,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  editor       = {Patrick Doherty and
                  John Mylopoulos and
                  Christopher A. Welty},
  title        = {Knowledgebase Compilation for Efficient Logical Argumentation},
  booktitle    = {Proceedings, Tenth International Conference on Principles of Knowledge
                  Representation and Reasoning, Lake District of the United Kingdom,
                  June 2-5, 2006},
  pages        = {123--133},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/KR/2006/kr06-015.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/BesnardH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/BesnardCM06,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier and
                  Yves Moinard},
  editor       = {J{\'{e}}r{\^{o}}me Lang and
                  Fangzhen Lin and
                  Ju Wang},
  title        = {Configurations for Inference Between Causal Statements},
  booktitle    = {Knowledge Science, Engineering and Management, First International
                  Conference, {KSEM} 2006, Guilin, China, August 5-8, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4092},
  pages        = {292--304},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11811220\_25},
  doi          = {10.1007/11811220\_25},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/BesnardCM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BesnardH05,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {Practical First-Order Argumentation},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {590--595},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-092.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BesnardH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BesnardCM05,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier and
                  Yves Moinard},
  editor       = {Stefania Bandini and
                  Sara Manzoni},
  title        = {Configurations for Inference from Causal Statements: Preliminary Report},
  booktitle    = {AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the
                  Italian Association for Artificial Intelligence, Milan, Italy, September
                  21-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3673},
  pages        = {282--285},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11558590\_28},
  doi          = {10.1007/11558590\_28},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/BesnardCM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BesnardSTW05,
  author       = {Philippe Besnard and
                  Torsten Schaub and
                  Hans Tompits and
                  Stefan Woltran},
  editor       = {Leopoldo E. Bertossi and
                  Anthony Hunter and
                  Torsten Schaub},
  title        = {Representing Paraconsistent Reasoning via Quantified Propositional
                  Logic},
  booktitle    = {Inconsistency Tolerance [result from a Dagstuhl seminar]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3300},
  pages        = {84--118},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-30597-2\_4},
  doi          = {10.1007/978-3-540-30597-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BesnardSTW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Besnard05,
  author       = {Philippe Besnard},
  editor       = {Llu{\'{\i}}s Godo},
  title        = {Remedying Inconsistent Sets of Premises},
  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        = {427--439},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11518655\_37},
  doi          = {10.1007/11518655\_37},
  timestamp    = {Fri, 05 Jun 2020 11:50:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/Besnard05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SchaffertBBDDEH05,
  author       = {Sebastian Schaffert and
                  Fran{\c{c}}ois Bry and
                  Philippe Besnard and
                  Hendrik Decker and
                  Stefan Decker and
                  Carlos F. Enguix and
                  Andreas Herzig},
  editor       = {Paulo Cesar G. da Costa and
                  Kathryn B. Laskey and
                  Kenneth J. Laskey and
                  Michael Pool},
  title        = {Paraconsistent Reasoning for the Semantic Web},
  booktitle    = {International Semantic Web Conference, {ISWC} 2005, Galway, Ireland,
                  Workshop 3: Uncertainty Reasoning for the Semantic Web, 7 November
                  2005},
  pages        = {104--105},
  year         = {2005},
  timestamp    = {Wed, 09 Nov 2005 11:05:02 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/SchaffertBBDDEH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BesnardD04,
  author       = {Philippe Besnard and
                  Sylvie Doutre},
  editor       = {Didier Dubois and
                  Christopher A. Welty and
                  Mary{-}Anne Williams},
  title        = {Characterization of Semantics for Argument Systems},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Ninth International Conference (KR2004), Whistler, Canada,
                  June 2-5, 2004},
  pages        = {183--193},
  publisher    = {{AAAI} Press},
  year         = {2004},
  url          = {http://www.aaai.org/Library/KR/2004/kr04-021.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/BesnardD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BesnardD04,
  author       = {Philippe Besnard and
                  Sylvie Doutre},
  editor       = {James P. Delgrande and
                  Torsten Schaub},
  title        = {Checking the acceptability of a set of arguments},
  booktitle    = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
                  Whistler, Canada, June 6-8, 2004, Proceedings},
  pages        = {59--64},
  year         = {2004},
  url          = {http://www.pims.math.ca/science/2004/NMR/papers.html},
  timestamp    = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/BesnardD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BesnardFS03,
  author       = {Philippe Besnard and
                  Gisbert Fanselow and
                  Torsten Schaub},
  title        = {Optimality Theory as a Family of Cumulative Logics},
  journal      = {J. Log. Lang. Inf.},
  volume       = {12},
  number       = {2},
  pages        = {153--182},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022362118915},
  doi          = {10.1023/A:1022362118915},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/BesnardFS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BesnardSTW03,
  author       = {Philippe Besnard and
                  Torsten Schaub and
                  Hans Tompits and
                  Stefan Woltran},
  editor       = {Thomas D. Nielsen and
                  Nevin Lianwen Zhang},
  title        = {Paraconsistent Logics for Reasoning via Quantified Boolean Formulas,
                  {II:} Circumscribing Inconsistent Theories},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  7th European Conference, {ECSQARU} 2003, Aalborg, Denmark, July 2-5,
                  2003. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2711},
  pages        = {528--539},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45062-7\_43},
  doi          = {10.1007/978-3-540-45062-7\_43},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/BesnardSTW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BesnardW03,
  author       = {Philippe Besnard and
                  Paul Wong},
  editor       = {Thomas D. Nielsen and
                  Nevin Lianwen Zhang},
  title        = {Modal (Logic) Paraconsistency},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  7th European Conference, {ECSQARU} 2003, Aalborg, Denmark, July 2-5,
                  2003. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2711},
  pages        = {540--551},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45062-7\_44},
  doi          = {10.1007/978-3-540-45062-7\_44},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/BesnardW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BesnardMS03,
  author       = {Philippe Besnard and
                  Robert E. Mercer and
                  Torsten Schaub},
  editor       = {Andreas G{\"{u}}nter and
                  Rudolf Kruse and
                  Bernd Neumann},
  title        = {Optimality Theory through Default Logic},
  booktitle    = {{KI} 2003: Advances in Artificial Intelligence, 26th Annual German
                  Conference on AI, {KI} 2003, Hamburg, Germany, September 15-18, 2003,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2821},
  pages        = {93--104},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39451-8\_8},
  doi          = {10.1007/978-3-540-39451-8\_8},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/BesnardMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BenferhatB02,
  author       = {Salem Benferhat and
                  Philippe Besnard},
  title        = {Editorial - Symbolic and quantitative approaches to reasoning wth
                  uncertainty},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {12},
  number       = {2},
  pages        = {133--134},
  year         = {2002},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BenferhatB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BesnardSTW02,
  author       = {Philippe Besnard and
                  Torsten Schaub and
                  Hans Tompits and
                  Stefan Woltran},
  editor       = {Sergio Flesca and
                  Sergio Greco and
                  Nicola Leone and
                  Giovambattista Ianni},
  title        = {Paraconsistent Reasoning via Quantified Boolean Formulas, {I:} Axiomatising
                  Signed Systems},
  booktitle    = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
                  Cosenza, Italy, September, 23-26, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2424},
  pages        = {320--331},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45757-7\_27},
  doi          = {10.1007/3-540-45757-7\_27},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/BesnardSTW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BesnardMS02,
  author       = {Philippe Besnard and
                  Robert E. Mercer and
                  Torsten Schaub},
  editor       = {Salem Benferhat and
                  Enrico Giunchiglia},
  title        = {Optimality theory through default logic},
  booktitle    = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
                  April 19-21, Toulouse, France, Proceedings},
  pages        = {77--83},
  year         = {2002},
  timestamp    = {Fri, 02 Jul 2004 15:43:11 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/BesnardMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/BesnardSTW02,
  author       = {Philippe Besnard and
                  Torsten Schaub and
                  Hans Tompits and
                  Stefan Woltran},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Paraconsistent Reasoning via Quantified Boolean Formulas, {I:} Axiomatising
                  Signed Systems},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {1--15},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207084},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/BesnardSTW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BesnardH01,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  title        = {A logic-based theory of deductive arguments},
  journal      = {Artif. Intell.},
  volume       = {128},
  number       = {1-2},
  pages        = {203--235},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0004-3702(01)00071-6},
  doi          = {10.1016/S0004-3702(01)00071-6},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BesnardH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WongB01,
  author       = {Paul Wong and
                  Philippe Besnard},
  title        = {Paraconsistent Reasoning as an Analytic Tool},
  journal      = {Log. J. {IGPL}},
  volume       = {9},
  number       = {2},
  pages        = {217--230},
  year         = {2001},
  url          = {https://doi.org/10.1093/jigpal/9.2.217},
  doi          = {10.1093/JIGPAL/9.2.217},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/WongB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/BlochHAABBCCCDFGKLMPSSS01,
  author       = {Isabelle Bloch and
                  Anthony Hunter and
                  Alain Appriou and
                  Andr{\'{e}} Ayoun and
                  Salem Benferhat and
                  Philippe Besnard and
                  Laurence Cholvy and
                  Roger M. Cooke and
                  Fr{\'{e}}d{\'{e}}ric Cuppens and
                  Didier Dubois and
                  H{\'{e}}l{\`{e}}ne Fargier and
                  Michel Grabisch and
                  Rudolf Kruse and
                  J{\'{e}}r{\^{o}}me Lang and
                  Seraf{\'{\i}}n Moral and
                  Henri Prade and
                  Alessandro Saffiotti and
                  Philippe Smets and
                  Claudio Sossai},
  title        = {Fusion: General concepts and characteristics},
  journal      = {Int. J. Intell. Syst.},
  volume       = {16},
  number       = {10},
  pages        = {1107--1134},
  year         = {2001},
  url          = {https://doi.org/10.1002/int.1052},
  doi          = {10.1002/INT.1052},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijis/BlochHAABBCCCDFGKLMPSSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsqaru/2001,
  editor       = {Salem Benferhat and
                  Philippe Besnard},
  title        = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  6th European Conference, {ECSQARU} 2001, Toulouse, France, September
                  19-21, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2143},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44652-4},
  doi          = {10.1007/3-540-44652-4},
  isbn         = {3-540-42464-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BesnardS00,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  title        = {What is a (non-constructive) non-monotone logical system?},
  journal      = {Theor. Comput. Sci.},
  volume       = {238},
  number       = {1-2},
  pages        = {489--494},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0304-3975(99)00319-9},
  doi          = {10.1016/S0304-3975(99)00319-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BesnardS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BesnardH00,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  editor       = {Henry A. Kautz and
                  Bruce W. Porter},
  title        = {Towards a Logic-Based Theory of Argumentation},
  booktitle    = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
                  and Twelfth Conference on on Innovative Applications of Artificial
                  Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
  pages        = {411--416},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2000},
  url          = {http://www.aaai.org/Library/AAAI/2000/aaai00-063.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BesnardH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BesnardS00,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  editor       = {Anthony G. Cohn and
                  Fausto Giunchiglia and
                  Bart Selman},
  title        = {Significant Inferences : Preliminary Report},
  booktitle    = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
                  of the Seventh International Conference, Breckenridge, Colorado, USA,
                  April 11-15, 2000},
  pages        = {401--410},
  publisher    = {Morgan Kaufmann},
  year         = {2000},
  timestamp    = {Tue, 20 Jun 2023 09:03:42 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/BesnardS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BesnardC99,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier},
  editor       = {Anthony Hunter and
                  Simon Parsons},
  title        = {Inferring Causal Explanations},
  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        = {55--67},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48747-6\_6},
  doi          = {10.1007/3-540-48747-6\_6},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/BesnardC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BesnardS98,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  title        = {Signed Systems for Paraconsistent Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {20},
  number       = {1},
  pages        = {191--213},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005957026440},
  doi          = {10.1023/A:1005957026440},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BesnardS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BesnardGM97,
  author       = {Philippe Besnard and
                  Jean{-}Marc Guinnebault and
                  Emmanuel Mayer},
  editor       = {Dov M. Gabbay and
                  Rudolf Kruse and
                  Andreas Nonnengart and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {Propositional Quantification for Conditional Logic},
  booktitle    = {Qualitative and Quantitative Practical Reasoning, First International
                  Joint Conference on Qualitative and Quantitative Practical Reasoning
                  ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1244},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0035622},
  doi          = {10.1007/BFB0035622},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/BesnardGM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BesnardS97,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  title        = {Circumscribing Inconsistency},
  booktitle    = {Proceedings of the Fifteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  pages        = {150--155},
  publisher    = {Morgan Kaufmann},
  year         = {1997},
  url          = {http://ijcai.org/Proceedings/97-1/Papers/024.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:27 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BesnardS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BesnardT96,
  author       = {Philippe Besnard and
                  Yao{-}Hua Tan},
  editor       = {Wolfgang Wahlster},
  title        = {A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning},
  booktitle    = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
                  August 11-16, 1996, Proceedings},
  pages        = {55--59},
  publisher    = {John Wiley and Sons, Chichester},
  year         = {1996},
  timestamp    = {Thu, 03 Jan 2002 11:56:53 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/BesnardT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BesnardS96,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Lu{\'{\i}}s Moniz Pereira and
                  Ewa Orlowska},
  title        = {A Simple Signed System for Paraconsistent Reasoning},
  booktitle    = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96,
                  {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1126},
  pages        = {404--416},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61630-6\_28},
  doi          = {10.1007/3-540-61630-6\_28},
  timestamp    = {Sat, 19 Oct 2019 20:16:50 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/BesnardS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/kl/motroS96/BesnardCGH96,
  author       = {Philippe Besnard and
                  Luis Fari{\~{n}}as del Cerro and
                  Dov M. Gabbay and
                  Anthony Hunter},
  editor       = {Amihai Motro and
                  Philippe Smets},
  title        = {Logical Handling of Inconsistent and Default Information},
  booktitle    = {Uncertainty Management in Information Systems: From Needs to Solution},
  pages        = {325--342},
  publisher    = {Kluwer Academic Publishers, Boston},
  year         = {1996},
  timestamp    = {Tue, 07 Nov 2023 12:00:44 +0100},
  biburl       = {https://dblp.org/rec/books/kl/motroS96/BesnardCGH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BesnardS95,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  title        = {An Approach to Context-Based Default Reasoning},
  journal      = {Fundam. Informaticae},
  volume       = {23},
  number       = {2/3/4},
  pages        = {175--223},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-232342},
  doi          = {10.3233/FI-1995-232342},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BesnardS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BesnardK95,
  author       = {Philippe Besnard and
                  J{\"{u}}rg Kohlas},
  title        = {Evidence Theory Based on General Consequence Relations},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {6},
  number       = {2},
  pages        = {119--135},
  year         = {1995},
  url          = {https://doi.org/10.1142/S0129054195000093},
  doi          = {10.1142/S0129054195000093},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BesnardK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BesnardH95,
  author       = {Philippe Besnard and
                  Anthony Hunter},
  editor       = {Christine Froidevaux and
                  J{\"{u}}rg Kohlas},
  title        = {Quasi-classical Logic: Non-trivializable classical reasoning from
                  incosistent information},
  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        = {44--51},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60112-0\_6},
  doi          = {10.1007/3-540-60112-0\_6},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/BesnardH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uai/1995,
  editor       = {Philippe Besnard and
                  Steve Hanks},
  title        = {{UAI} '95: Proceedings of the Eleventh Annual Conference on Uncertainty
                  in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20,
                  1995},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  isbn         = {1-55860-385-9},
  timestamp    = {Thu, 15 Dec 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BesnardC94,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier},
  title        = {Explanatory Diagnoses and Their Characterization by Circumscription},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {75--96},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530738},
  doi          = {10.1007/BF01530738},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BesnardC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BesnardS94,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  title        = {Possible Worlds Semantics for Default Logics},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {39--66},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21123},
  doi          = {10.3233/FI-1994-21123},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BesnardS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/BesnardL94,
  author       = {Philippe Besnard and
                  Els Laenens},
  title        = {A knowledge representation perspective: Logics for paraconsistent
                  reasoning},
  journal      = {Int. J. Intell. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {153--168},
  year         = {1994},
  url          = {https://doi.org/10.1002/int.4550090110},
  doi          = {10.1002/INT.4550090110},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijis/BesnardL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/BesnardM94,
  author       = {Philippe Besnard and
                  Yves Moinard},
  editor       = {Bernadette Bouchon{-}Meunier and
                  Ronald R. Yager and
                  Lotfi A. Zadeh},
  title        = {Implication Connectives for Logics with Right Weakening},
  booktitle    = {Advances in Intelligent Computing - IPMU'94, 5th International Conference
                  on Processing and Management of Uncertainty in Knowledge-Based Systems,
                  Paris, France, July 4-8, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {945},
  pages        = {360--369},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0035969},
  doi          = {10.1007/BFB0035969},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ipmu/BesnardM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/BesnardL94,
  author       = {Philippe Besnard and
                  J{\'{e}}r{\^{o}}me Lang},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  David Poole},
  title        = {Possibility and Necessity Functions over Non-Classical Logics},
  booktitle    = {{UAI} '94: Proceedings of the Tenth Annual Conference on Uncertainty
                  in Artificial Intelligence, Seattle, Washington, USA, July 29-31,
                  1994},
  pages        = {69--76},
  publisher    = {Morgan Kaufmann},
  year         = {1994},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=489\&\#38;proceeding\_id=10},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/BesnardL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BensardMPCWDMCDPCLAFKDFMMGMBPKPSSHSKXUSW93,
  author       = {Philippe Besnard and
                  Yves Moinard and
                  Wilmer Pereira and
                  Michael Clarke and
                  Nic Wilson and
                  Miguel Delgado and
                  Seraf{\'{\i}}n Moral and
                  Juan Cano and
                  Didier Dubois and
                  Henri Prade and
                  Luis Fari{\~{n}}as del Cerro and
                  J{\'{e}}r{\^{o}}me Lang and
                  St{\'{e}}phane Amarger and
                  John Fox and
                  Paul J. Krause and
                  Michael Dohnal and
                  Christine Froidevaux and
                  J{\'{e}}r{\^{o}}me Mengin and
                  Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Llu{\'{\i}}s Godo and
                  E. H. Mamdani and
                  John Bigham and
                  Simon Parsons and
                  Rudolf Kruse and
                  Olivier Paillet and
                  Pierre Siegel and
                  Philippe Smets and
                  Yen{-}Teh Hsia and
                  Alessandro Saffiotti and
                  Robert Kennes and
                  Hong Xu and
                  Elizabeth Umkehrer and
                  Kurt Sundermeyer and
                  Chris Whitney},
  title        = {{DRUMS:} Defeasible Reasoning and Uncertainty Management Systems},
  journal      = {{AI} Commun.},
  volume       = {6},
  number       = {1},
  pages        = {27--46},
  year         = {1993},
  url          = {https://doi.org/10.3233/AIC-1993-6103},
  doi          = {10.3233/AIC-1993-6103},
  timestamp    = {Fri, 16 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/BensardMPCWDMCDPCLAFKDFMMGMBPKPSSHSKXUSW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BesnardS93,
  author       = {Philippe Besnard and
                  Torsten Schaub},
  editor       = {Richard Fikes and
                  Wendy G. Lehnert},
  title        = {A Context-Based Framework for Default Logics},
  booktitle    = {Proceedings of the 11th National Conference on Artificial Intelligence.
                  Washington, DC, USA, July 11-15, 1993},
  pages        = {406--411},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1993},
  url          = {http://www.aaai.org/Library/AAAI/1993/aaai93-061.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BesnardS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BesnardM92,
  author       = {Philippe Besnard and
                  Robert E. Mercer},
  editor       = {Benedict du Boulay and
                  Vassil Stoyanov Sgurev},
  title        = {Non-Monotonic Logics: {A} Valuations-Based Approach},
  booktitle    = {Artificial Intelligence {V:} Methodology, Systems, Applications -
                  Proceedings of the Fifth International Conference on Artificial Intelligence:
                  Methodology, Systems, Applications, {AIMSA} 1992, Sofia, Bulgaria,
                  September 21-24, 1992},
  pages        = {77--84},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 16 Mar 2017 14:36:24 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/BesnardM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BesnardC92,
  author       = {Philippe Besnard and
                  Marie{-}Odile Cordier},
  editor       = {Bernd Neumann},
  title        = {Explanatory Diagnoses and their Computation by Circumscription},
  booktitle    = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
                  Austria, August 3-7, 1992. Proceedings},
  pages        = {724--728},
  publisher    = {John Wiley and Sons},
  year         = {1992},
  timestamp    = {Wed, 31 Jul 2019 08:44:58 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BesnardC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BesnardG92,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire},
  editor       = {David Pearce and
                  Gerd Wagner},
  title        = {About Deductive Generalization},
  booktitle    = {Logics in AI, European Workshop, {JELIA} '92, Berlin, Germany, September
                  7-10, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {633},
  pages        = {212--231},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0023430},
  doi          = {10.1007/BFB0023430},
  timestamp    = {Wed, 06 Nov 2019 16:45:49 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/BesnardG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Besnard91,
  author       = {Philippe Besnard},
  editor       = {Rudolf Kruse and
                  Pierre Siegel},
  title        = {Default Logics},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
                  European Conference, ECSQAU, Marseille, France, October 15-17, 1991,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {548},
  pages        = {38--41},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54659-6\_62},
  doi          = {10.1007/3-540-54659-6\_62},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/Besnard91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nil/BesnardG91,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire},
  editor       = {Gerhard Brewka and
                  Klaus P. Jantke and
                  Peter H. Schmitt},
  title        = {Deductive Generalization in a Default Logic Setting},
  booktitle    = {Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn
                  Castle, Germany, December 2-6, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {659},
  pages        = {141--152},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0030391},
  doi          = {10.1007/BFB0030391},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/nil/BesnardG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Besnard90,
  author       = {Philippe Besnard},
  editor       = {Philippe Jorrand and
                  Vassil Stoyanov Sgurev},
  title        = {Logics for Automated Reasoning in the Presence of Contradictions},
  booktitle    = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
                  Proceedings of the Fourth International Conference on Artificial Intelligence:
                  Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
                  September 19-22, 1990},
  pages        = {33--42},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 16 Mar 2017 14:36:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/Besnard90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0018972,
  author       = {Philippe Besnard},
  title        = {An introduction to default logic},
  series       = {Symbolic computation},
  publisher    = {Springer},
  year         = {1989},
  isbn         = {978-3-540-51566-1},
  timestamp    = {Wed, 26 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0018972.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Besnard89,
  author       = {Philippe Besnard},
  title        = {An introduction to default logic},
  series       = {Symbolic computation : artificial intelligence},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://www.worldcat.org/oclc/20262176},
  isbn         = {0387515666},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/lib/Besnard89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BesnardMM89,
  author       = {Philippe Besnard and
                  Yves Moinard and
                  Robert E. Mercer},
  title        = {The Importance of Open and Recursive Circumscription},
  journal      = {Artif. Intell.},
  volume       = {39},
  number       = {2},
  pages        = {251--262},
  year         = {1989},
  url          = {https://doi.org/10.1016/0004-3702(89)90029-5},
  doi          = {10.1016/0004-3702(89)90029-5},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BesnardMM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BesnardS88,
  author       = {Philippe Besnard and
                  Pierre Siegel},
  editor       = {Ewing L. Lusk and
                  Ross A. Overbeek},
  title        = {Supposition-Based Logic for Automated Nonmontonic Reasoning},
  booktitle    = {9th International Conference on Automated Deduction, Argonne, Illinois,
                  USA, May 23-26, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {310},
  pages        = {592--601},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0012860},
  doi          = {10.1007/BFB0012860},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BesnardS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BesnardHR88,
  author       = {Philippe Besnard and
                  Jean Houdebine and
                  Raymond Rolland},
  editor       = {Yves Kodratoff},
  title        = {A Formula Circumscriptively both Valid and Unprovable},
  booktitle    = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
                  Germany, August 1-5, 1988, Proceedings},
  pages        = {516--518},
  publisher    = {Pitmann Publishing, London},
  year         = {1988},
  timestamp    = {Tue, 30 Jul 2019 13:42:25 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BesnardHR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Besnard85,
  author       = {Philippe Besnard},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Sur la d{\'{e}}tection des boucles infinies en programmation
                  en logique},
  booktitle    = {SPLT'85, S{\'{e}}minaire Programmation en Logique, 29-31 mai
                  1985, Tr{\'{e}}gastel, France},
  year         = {1985},
  timestamp    = {Mon, 06 Sep 2004 15:35:20 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Besnard85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BesnardQQ83,
  author       = {Philippe Besnard and
                  Rene Quiniou and
                  Patrice Quinton},
  editor       = {Michael R. Genesereth},
  title        = {A Theorem-Prover for a Decidable Subset of Default Logic},
  booktitle    = {Proceedings of the National Conference on Artificial Intelligence,
                  Washington, D.C., USA, August 22-26, 1983},
  pages        = {27--30},
  publisher    = {{AAAI} Press},
  year         = {1983},
  url          = {http://www.aaai.org/Library/AAAI/1983/aaai83-020.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BesnardQQ83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics