{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T20:21:09Z","timestamp":1758399669729},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,10,20]],"date-time":"2015-10-20T00:00:00Z","timestamp":1445299200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10472-015-9471-9","type":"journal-article","created":{"date-parts":[[2015,10,20]],"date-time":"2015-10-20T12:36:18Z","timestamp":1445344578000},"page":"205-258","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A series of revisions of David Poole\u2019s specificity"],"prefix":"10.1007","volume":"78","author":[{"given":"Claus-Peter","family":"Wirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frieder","family":"Stolzenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,20]]},"reference":[{"key":"9471_CR1","unstructured":"Baral, C., De Giacomo, G., Eiter, T. (eds.): Proceedings of the 14 th KR 2014 \u2014 International Conference on Principles of Knowledge Representation and Reasoning, Jul 20\u201324, as part of the Vienna Summer of Logic, Vienna, July 9\u201324, 2014, AAAI Press (2014) http:\/\/www.aaai.org\/Library\/KR\/kr14contents.php"},{"key":"9471_CR2","doi-asserted-by":"publisher","unstructured":"Benferhat, S., Garcia, L.: A coherence-based approach to default reasoning. In: Gabbay, D., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds.) Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, 1997, June 9\u201312, Bad Honnef (Germany), Springer, no. 1244 in Lecture Notes in Computer Science, pp 43\u201357 (1997), doi: 10.1007\/BFb0035611","DOI":"10.1007\/BFb0035611"},{"key":"9471_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0004-3702(01)00071-6","volume":"128","author":"P Besnard","year":"2001","unstructured":"Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Artificial Intelligence 128, 203\u2013235 (2001). doi: 10.1016\/S0004-3702(01)00071-6 . received Dec. 8, 2000","journal-title":"Artificial Intelligence"},{"key":"9471_CR4","doi-asserted-by":"publisher","unstructured":"Besnard, P., Gr\u00e9goire, \u00c9., Raddaoui, B.: A conditional logic-based argumentation framework. In: [20, pp. 44\u201356] (2013), doi: 10.1007\/978-3-642-40381-1_4","DOI":"10.1007\/978-3-642-40381-1_4"},{"key":"9471_CR5","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1016\/S0304-3975(02)00033-6","volume":"290","author":"CI Ches\u00f1evar","year":"2003","unstructured":"Ches\u00f1evar, C.I., Dix, J., Stolzenburg, F., Simari, G.R.: Relating defeasible and normal logic programming through transformation properties. Theor. Comput. Sci. 290, 499\u2013529 (2003). doi: 10.1016\/S0304-3975(02)00033-6 . received Jan. 8, 2001; rev. Nov. 9, 2001","journal-title":"Theor. Comput. Sci."},{"key":"9471_CR6","doi-asserted-by":"crossref","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer (2003). 5 th edn. (1 st edn.1981)","DOI":"10.1007\/978-3-642-55481-0"},{"key":"9471_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321\u2013358 (1995). doi: 10.1016\/0004-3702(94)00041-X","journal-title":"Artif. Intell."},{"key":"9471_CR8","unstructured":"Dung, P.M., Son, T.C.: An argumentation-theoretic approach to reasoning with specificity. In: Aiello, L.C., Doyle, J., Shapiro, S.C. (eds.) Proceedings of the 5 th International Conference on Principles of Knowledge Representation and Reasoning, 1996, Nov. 5\u20138, Cambridge (MA), Morgan Kaufmann (Elsevier), Los Altos (CA), pp 506\u2013517 (1996)"},{"key":"9471_CR9","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/AIC-2010-0461","volume":"23","author":"U Furbach","year":"2010","unstructured":"Furbach, U., Gl\u00f6ckner, I., Pelzer, B.: An application of automated reasoning in natural-language question answering. AI Comm. 23, 241\u2013265 (2010)","journal-title":"AI Comm."},{"key":"9471_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s13218-015-0377-9","volume":"29","author":"U Furbach","year":"2015","unstructured":"Furbach, U., Schon, C., Stolzenburg, F., Weis, K.H., Wirth, C.P.: The RatioLog Project \u2014 Rational Extensions of Logical Reasoning. KI \u2013 K\u00fcnstliche Intelligenz (German J of Artificial Intelligence), Springer 29, 1\u20137 (2015). doi: 10.1007\/s13218-015-0377-9 . published online June 05, 2015 [Also in arXiv: 1503.06087 ]","journal-title":"KI \u2013 K\u00fcnstliche Intelligenz (German J of Artificial Intelligence), Springer"},{"key":"9471_CR11","doi-asserted-by":"crossref","unstructured":"Gabbay, D. (ed.): Handbook of Philosophical Logic. Kluwer (Springer Science+Business Media), 2nd edn. (2002)","DOI":"10.1007\/978-94-017-0456-4"},{"key":"9471_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0466-3","volume-title":"Handbook of the History of Logic","author":"D Gabbay","year":"2004","unstructured":"Gabbay, D., Woods, J.: Handbook of the History of Logic. Elsevier, North-Holland (2004)"},{"key":"9471_CR13","first-page":"95","volume-title":"Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming, vol. 4","author":"AJ Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A.J., Simari, G.R.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming, vol. 4, pp 95\u2013138. Cambridge University Press, Cambridge (2004)"},{"key":"9471_CR14","doi-asserted-by":"crossref","first-page":"403","DOI":"10.3233\/FI-1990-13403","volume":"XIII","author":"M Gelfond","year":"1990","unstructured":"Gelfond, M., Przymusinska, H.: Formalization of inheritance reasoning in autoepistemic logic. Fundamenta Informaticae XIII, 403\u2013443 (1990)","journal-title":"Fundamenta Informaticae"},{"key":"9471_CR15","unstructured":"Gillman, L.: Writing Mathematics Well. The Mathematical Association of America (1987)"},{"key":"9471_CR16","unstructured":"Herbrand, J.: Recherches sur la th\u00e9orie de la d\u00e9monstration. PhD thesis, Universit\u00e9 de Paris, no. d\u2019ordre 2121, S\u00e9rie A, No. de S\u00e9rie 1252 \u2014 Imprimerie J. Dziewulski, Varsovie \u2014 Univ. de Paris. Also in Prace Towarzystwa Naukowego Warszawskiego, Wydzia\u0142 III Nauk Matematyczno-Fizychnych, Nr. 33, Warszawa (1930)"},{"key":"9471_CR17","doi-asserted-by":"publisher","unstructured":"Kern-Isberner, G., Thimm, M.: A ranking semantics for first-order conditionals. [24, pp. 456\u2013461] (2012). doi: 10.3233\/978-1-61499-098-7-456","DOI":"10.3233\/978-1-61499-098-7-456"},{"key":"9471_CR18","unstructured":"Kowalski, R.A.: Predicate logic as a programming language. In: [25, pp. 569\u2013574] (1974)"},{"key":"9471_CR19","unstructured":"Lambert, J.H.: Neues Organon oder Gedanken \u00fcber die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung von Irrthum und Schein. Johann Wendler, Leipzig, Vol. I (Dianoiologie oder die Lehre von den Gesetzen des Denkens, Alethiologie oder Lehre von der Wahrheit) ( 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\u00e4nomenologie oder Lehre von dem Schein) ( https:\/\/books.google.de\/books\/about\/Neues_Organon_oder_Gedanken_%25C3%25BCber_die_Er.html?id=X8UAAAAAcAAj ). Facsimile reprint by Georg Olms Verlag, Hildesheim, 1965, with a German introduction by Hans Werner Arndt (1764)"},{"key":"9471_CR20","unstructured":"Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.): Proceedings of the 7th International Conference on Scalable Uncertainty Management (SUM 2013), Washington (DC), Sept. 16\u201318, 2013, no. 8078 in Lecture Notes in Computer Science, Springer (2013)"},{"key":"9471_CR21","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1080\/19462166.2013.869766","volume":"5","author":"S Modgil","year":"2014","unstructured":"Modgil, S., Prakken, H.: The ASPIC+ framework for structured argumentation: a tutorial. Argument & Computation 5, 31\u201362 (2014). doi: 10.1080\/19462166.2013.869766","journal-title":"Argument & Computation"},{"key":"9471_CR22","unstructured":"Poole, D.L.: On the comparison of theories: Preferring the most specific explanation. In: Joshi, A. (ed.) Proceedings of the 9 th International Joint Conference on Artificial Intelligence (IJCAI), 1985, Aug. 18\u201325, Los Angeles (CA), Morgan Kaufmann (Elsevier), Los Altos (CA), pp 144\u2013147 (1985). http:\/\/ijcai.org\/Past%20Proceedings\/IJCAI-85-VOL1\/PDF\/026.pdf"},{"key":"9471_CR23","doi-asserted-by":"crossref","unstructured":"Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: [11, pp. 218\u2013319] (2002)","DOI":"10.1007\/978-94-017-0456-4_3"},{"key":"9471_CR24","unstructured":"Raedt, L.D., Bessi\u00e8re, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.): Proceedings of the 20 th European Conference on Artificial Intelligence (ECAI), Aug. 27\u201331, 2012, Montepellier, France, no. 242 in Frontiers in Artificial Intelligence and Applications, IOS Press (2012) http:\/\/ebooks.iospress.nl\/volume\/ecai-2012"},{"key":"9471_CR25","unstructured":"Rosenfeld, J.L. (ed.): Proceedings of the Congress of the International Federation for Information Processing (IFIP), Stockholm (Sweden), Aug. 5\u201310, 1974, North-Holland (Elsevier) (1974)"},{"key":"9471_CR26","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"GR Simari","year":"1992","unstructured":"Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artif. Intell. 53, 125\u2013157 (1992). received Feb. 1990, rev. April 1991","journal-title":"Artif. Intell."},{"key":"9471_CR27","doi-asserted-by":"publisher","first-page":"87","DOI":"10.3166\/jancl.13.87-113","volume":"13","author":"F Stolzenburg","year":"2003","unstructured":"Stolzenburg, F., Garc\u00eda, A.J., Ches\u00f1evar, C.I., Simari, G.R.: Computing generalized specificity. J. Applied Non-Classical Logics 13, 87\u2013113 (2003). doi: 10.3166\/jancl.13.87-113","journal-title":"J. Applied Non-Classical Logics"},{"key":"9471_CR28","unstructured":"Wirth, C.P.: Positive\/Negative-Conditional Equations: A Constructor-Based Framework for Specification and Inductive Theorem Proving, Schriftenreihe Forschungsergebnisse zur Informatik, vol 31. Verlag Dr. Kova\u010d, Hamburg, PhD thesis, Univ. Kaiserslautern, ISBN 386064551X. http:\/\/wirth.bplaced.net\/p\/diss (1997)"},{"key":"9471_CR29","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.jsc.2008.05.005","volume":"44","author":"CP Wirth","year":"2009","unstructured":"Wirth, C.P.: Shallow confluence of conditional term rewriting systems. J. Symb. Comput. 44, 69\u201398 (2009). doi: 10.1016\/j.jsc.2008.05.005","journal-title":"J. Symb. Comput."},{"key":"9471_CR30","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s11787-012-0056-7","volume":"6","author":"CP Wirth","year":"2012","unstructured":"Wirth, C.P.: Herbrand\u2019s Fundamental Theorem in the eyes of Jean van Heijenoort. Logica Universalis 6, 485\u2013520 (2012). doi: 10.1007\/s11787-012-0056-7 . received Jan. 12, 2012. Published online June 22, 2012","journal-title":"Logica Universalis"},{"key":"9471_CR31","doi-asserted-by":"crossref","unstructured":"Wirth, C.P.: Herbrand\u2019s Fundamental Theorem: The Historical Facts and their Streamlining. SEKI-Report SR\u20132014\u201301 (ISSN 1437\u20134447), SEKI Publications, ii+47 pp., arXiv: 1405.6317 (2014)","DOI":"10.1055\/s-0034-1338683"},{"key":"9471_CR32","unstructured":"Wirth, C.P.: Herbrand\u2019s Fundamental Theorem \u2014 an encyclopedia article. SEKI-Report SR\u20132015\u201301 (ISSN 1437\u20134447), SEKI Publications, ii+16 pp., arXiv: 1503.01412 (2015)"},{"key":"9471_CR33","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/jsco.1994.1004","volume":"17","author":"CP Wirth","year":"1994","unstructured":"Wirth, C.P., Gramlich, B.: A constructor-based approach to positive\/negative-conditional equational specifications. J. Symb. Comput. 17, 51\u201390 (1994). doi: 10.1006\/jsco.1994.1004 . http:\/\/wirth.bplaced.net\/p\/jsc94","journal-title":"J. Symb. Comput."},{"key":"9471_CR34","unstructured":"Wirth, C.P., Stolzenburg, F.: David Poole\u2019s Specificity Revised. SEKI-Report SR\u20132013\u201301 (ISSN 1437\u20134447), SEKI Publications, ii+34 pp., arXiv: 1308.4943 (2013)"},{"key":"9471_CR35","unstructured":"Wirth, C.P., Stolzenburg, F.: David Poole\u2019s specificity revised. In: [1, pp. 168\u2013177] Short version of [34] (2014)"},{"key":"9471_CR36","doi-asserted-by":"crossref","unstructured":"Wirth, C.P., Siekmann, J., Benzm\u00fcller, Ch., Autexier, S.: Jacques Herbrand: Life, logic, and automated deduction. In: [12, Vol. 5: Logic from Russell to Church, pp. 195\u2013254] (2009)","DOI":"10.1016\/S1874-5857(09)70009-3"},{"key":"9471_CR37","unstructured":"Wirth, C.P., Siekmann, J., Benzm\u00fcller, Ch., Autexier, S.: Lectures on Jacques Herbrand as a Logician. SEKI-Report SR\u20132009\u201301 (ISSN 1437\u20134447), SEKI Publications, Rev. edn. May 2014, ii+82 pp., arXiv: 0902.4682 (2014)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9471-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-015-9471-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9471-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9471-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T18:47:22Z","timestamp":1653331642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-015-9471-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,20]]},"references-count":37,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9471"],"URL":"https:\/\/doi.org\/10.1007\/s10472-015-9471-9","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,20]]}}}