@article{Stolzenburg-etal-Computing-Specificity-2003, year={2003}, author={Stolzenburg, Frieder and Garc{\'\i}a, Alejandro J. and Ches{\~n}evar, Charlos I. and Simari, Guillermo R.}, title={Computing Generalized Specificity}, journal={\janclname}, volume={13}, pages={87--113}, note={\url{http://www.tandfonline.com/doi/abs/10.3166/jancl.13.87-113}}, } @Inproceedings{Poole-Preferring-Most-Specific-1985, year={1985}, author={Poole, David L.}, title={On the Comparison of Theories: Preferring the Most Specific Explanation}, crossref = {ijcai9}, pages = {144-147}, Xnote={In \cite[\PP{144}{147}]{ijcai9}}, } @Article{Gelfond_Przymusinska_1990, year={1990}, author={Michael Gelfond and Halina Przymusinska}, title={Formalization of Inheritance Reasoning in Autoepistemic Logic}, journal={\fundamentainformaticaename}, publisher={IOS Press}, volume={XIII}, pages={403--443}, } @Article{Simari-Loui-Defeasible-Reasoning-1992, year={1992}, author={Simari, Guillermo R. and Loui, Ronald P.}, title={A Mathematical Treatment of Defeasible Reasoning and its Implementation}, journal={\artificialintelligencename}, volume={53}, pages={125--157}, note={Received \Feb\,1990, \rev\,\Apr\,1991}, } @Book{lambert-1764, year={1764}, author={Lambert, Johann Heinrich}, title={{Neues Organon oder Gedanken \ue ber die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung von Irrthum und Schein.}}, publisher={Johann Wendler, \Leipzig}, note={{\Vol\,I\ (Dianoiologie oder die Lehre von den Gesetzen de\es\ Denken\es, Alethiologie oder Lehre von der Wahrheit) (\url{http://books.google.de/books/about/Neues_Organon_oder_Gedanken_Uber_die_Erf.html?id=ViS3XCuJEw8C}) \& \Vol\,II (Semiotik oder Lehre von der Bezeichnung der Gedanken und Dinge, Ph\ae nomenologie oder Lehre von dem Schein) (\url{http://books.google.de/books/about/Neues_Organon_oder_Gedanken_%C3%BCber_die_Er.html?id=X8UAAAAAcAAj})\@. \ Facsimile reprint by \olmsverlag, 1965, with a German introduction by \hanswernerarndtname}}, } @InProceedings{DS96, year={1996}, author={Dung, Phan Minh and Son, Tran Cao}, title={An Argumentation-Theoretic Approach to Reasoning with Specificity}, Xnote={In \cite[\PP{506}{517}]{fifthKRninetysix}}, crossref={fifthKRninetysix}, pages={506-517} } @Proceedings{fifthKRninetysix, year={1996}, editor={Luigia Carlucci Aiello and Jon Doyle and Stuart C. Shapiro}, title={\Proc\ \nth 5 \Int\ \Conf\ on Principles of Knowledge Representation and Reasoning, 1996, \Nov\,5--8, Cambridge (MA)}, booktitle={\Proc\ \nth 5 \Int\ \Conf\ on Principles of Knowledge Representation and Reasoning, 1996, \Nov\,5--8, Cambridge (MA)}, publisher={\morgankaufmann}, } @InProceedings{BG97b, year={1997}, author={Salem Benferhat and Laurent Garcia}, title={A Coherence-Based Approach to Default Reasoning}, Xnote={In \cite[\PP{43}{57}]{}}, note={\url{http://dx.doi.org/10.1007/BFb0035611}}, crossref={DBLP:conf/ecsqaru/1997}, pages={43-57} } @Proceedings{DBLP:conf/ecsqaru/1997, year={1997}, editor={Gabbay{\protectedgabbayindex}, Dov and Rudolf Kruse and Nonnengart, Andreas and Ohlbach, Hans-J{\"u}rgen}, title={\Proc\ \nth 1 \Int\ Joint \Conf\ on Qualitative and Quantitative Practical Reasoning, 1997, \Jun\,9--12, Bad Honnef (Germany)}, booktitle={\Proc\ \nth 1 \Int\ Joint \Conf\ on Qualitative and Quantitative Practical Reasoning, 1997, \Jun\,9--12, Bad Honnef (Germany)}, publisher={\springerverlag}, series={Lecture Notes in Computer Science}, number={1244}, } @Article{ Chesnevar-etal-Relating-Deafeasible-2003, year = {2003}, author = {Ches{\~n}evar, Charlos I. and Dix, J{\"u}rgen and Stolzenburg, Frieder and Simari, Guillermo R.}, title = {Relating Defeasible and Normal Logic Programming through Transformation Properties}, journal = {\tcsname}, volume = {290}, pages = {499--529}, note = {Received \Jan\,8, 2001; \rev\ \Nov\,9, 2001. \url{http://dx.doi.org/10.1016/S0304-3975(02)00033-6}} } @Article{ Garcia-Simari-Defeasible-2004, year = {2004}, author = {Garc{\'\i}a, Alejandro J. and Simari, Guillermo R.}, title = {Defeasible Logic Programming: An Argumentative Approach}, journal = {Theory and Practice of Logic Programming, \cambridgeunipress}, volume = {4}, pages = {95--138} } @Proceedings{ijcai9, year={1985}, editor={Joshi, Aravind}, title={{\Proc\ \nth 9 \IJCAIname\ (\IJCAI), 1985, \Aug\,18--25, \LA}}, booktitle={{\Proc\ \nth 9 \IJCAIname\ (\IJCAI), 1985, \Aug\,18--25, \LA}}, publisher={\morgankaufmann}, note={{\url{http://ijcai.org/Past%20Proceedings}}}, } @Book{ writing-mathematics, year = {1987}, author = {Leonard Gillman}, title = {Writing Mathematics Well}, publisher = {The Mathematical Association of America} } @Book{Wirth_Stolzenburg_Specificity_2013, year={2013}, author={Wirth, Claus-Peter and Stolzenburg, Frieder}, title={{\poolename's Specificity Revised}}, publisher={{SEKI Publications}}, series={{SEKI-Report SR--2013--01 (ISSN 1437--4447)}}, address={{DFKI Bremen GmbH, Safe and Secure Cognitive Systems, Cartesium, Enrique Schmidt Str.\,5, D--28359 Bremen, Germany}}, note={pp.\,ii+22, \url{http://arxiv.org/abs/1308.4943}}, } @InCollection{ Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002, author = {Henry Prakken and Gerhard Vreeswijk}, title = {Logics for Defeasible Argumentation}, booktitle = {Handbook of Philosophical Logic}, editor = {Dov Gabbay}, publisher = {Kluwer Academic Publisher}, edition = {2nd}, pages = {218-319}, year = 2002 } @article{ Dung_Acceptability_of_Arguments_1995, author = {Phan Minh Dung}, title = {On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games}, journal = {Artificial Intelligence}, volume = {77}, number = {2}, year = {1995}, pages = {321-358}, ee = {http://dx.doi.org/10.1016/0004-3702(94)00041-X}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{ Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001, author = {Philippe Besnard and Anthony Hunter}, title = {A logic-based theory of deductive arguments}, journal = {Artif. Intell.}, volume = {128}, number = {1-2}, year = {2001}, pages = {203-235}, ee = {http://dx.doi.org/10.1016/S0004-3702(01)00071-6} } @InProceedings{ Kern-Isberner-Thimm-Ranking-Semantics-2012, author = {Gabriele Kern-Isberner and Matthias Thimm}, title = {A Ranking Semantics for First-Order Conditionals}, booktitle = {ECAI}, year = {2012}, pages = {456-461}, ee = {http://dx.doi.org/10.3233/978-1-61499-098-7-456}, crossref = {DBLP:conf/ecai/2012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/ecai/2012, editor = {Luc De Raedt and Christian Bessi{\`e}re and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}, title = {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}, booktitle = {ECAI}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {242}, year = {2012}, isbn = {978-1-61499-097-0}, ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=31572}, bibsource = {DBLP, http://dblp.uni-trier.de} }