\relax 
\bibstyle{named}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{5}}
\newlabel{section where the requirement on being model-theoretic is given}{{1}{5}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Chesnevar-etal-Relating-Deafeasible-2003}
\citation{Kow74}
\citation{Prolog}
\@writefile{toc}{\contentsline {section}{\numberline {2}Basic Notions and Notation}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Specifying Rules and their Theories}{6}}
\newlabel{section Specifying Rules and their Theories}{{2.1}{6}}
\newlabel{definition literal}{{2.2}{6}}
\newlabel{definition derivation}{{2.3}{6}}
\citation{wgjsc}
\citation{wirthdiss}
\citation{wirthdiss}
\citation{wirth-jsc}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Secondary Aspects of our Logic}{7}}
\newlabel{section secondary aspects}{{2.2}{7}}
\newlabel{remark negation}{{2.4}{7}}
\newlabel{definition contradictory}{{2.5}{7}}
\newlabel{remark weakness of our logic}{{2.6}{7}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Global Parameters for the Given Specification}{8}}
\newlabel{subsection Global Parameters for a Given Specification}{{2.3}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Formalization of Arguments}{8}}
\newlabel{section Formalization of Arguments}{{2.4}{8}}
\newlabel{section definition argument}{{2.4}{8}}
\newlabel{definition argument}{{2.7}{8}}
\newlabel{remark non-ground arguments}{{2.8}{8}}
\newlabel{note on no literals in Pi G}{{3}{8}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Chesnevar-etal-Relating-Deafeasible-2003}
\newlabel{remark non-minimal arguments}{{2.9}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Quasi-Orderings}{9}}
\newlabel{subsection Quasi-Orderings}{{2.5}{9}}
\newlabel{corollary quasi-orderings}{{2.10}{9}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\@writefile{toc}{\contentsline {section}{\numberline {3}Motivating Examples}{10}}
\newlabel{section Some Standard Examples}{{3}{10}}
\newlabel{section example poole 1 precisely}{{3}{10}}
\newlabel{section example poole 2}{{3}{10}}
\newlabel{section example poole 3}{{3}{10}}
\newlabel{section example lovely one}{{3}{10}}
\newlabel{example poole 1 precisely}{{3.1}{10}}
\newlabel{example poole 2}{{3.2}{10}}
\citation{Poole-Preferring-Most-Specific-1985}
\newlabel{example poole 3}{{3.3}{11}}
\newlabel{example lovely one}{{3.4}{11}}
\citation{lambert-1764}
\@writefile{toc}{\contentsline {section}{\numberline {4}Toward an Intuitive Notion of Specificity}{12}}
\newlabel{section Toward an Intuitive Notion of Specificity}{{4}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}The Common-Sense Concept of Specificity}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Arguments as an Intuitive Abstraction}{12}}
\newlabel{subsection Arguments}{{4.2}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}The Intuitive R\^ole\ of Activation Sets in the Definition of Specificity}{13}}
\newlabel{subsection Activation Sets}{{4.3}{13}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.1}Modulo Which Theory are Activation Sets to be Compared?}{13}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.2}A first Sketch of a Notion of Specificity}{14}}
\newlabel{section where our first sketch of a notion of specificity is}{{4.3.2}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Isolation of the Defeasible Parts of a Derivation}{15}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.1}Isolation of Actual Defeasible Parts in And-Trees}{15}}
\newlabel{subsubsection Precise Isolation in And-Trees}{{4.4.1}{15}}
\newlabel{section DefTree}{{4.4.1}{15}}
\newlabel{DefTree}{{4.1}{15}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.2}A first approximation of Activation Sets}{16}}
\newlabel{section A first approximation of Activation Sets}{{4.4.2}{16}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.3}Growth of the Defeasible Parts toward the Leaves}{16}}
\newlabel{subsubsection Growth of the Defeasible Parts toward the Leaves}{{4.4.3}{16}}
\newlabel{note further dissection}{{7}{16}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Garcia-Simari-Defeasible-2004}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.4}First Effect: Simplified Second Sketch of a Notion of Specificity}{17}}
\newlabel{section first effect}{{4.4.4}{17}}
\newlabel{section where our second sketch of a notion of specificity is}{{4.4.4}{17}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.5}Second Effect: Preference of the ``More Concise''}{17}}
\newlabel{subsubsection Preference of the ``More Concise''}{{4.4.5}{17}}
\newlabel{remark not for defeasible rules}{{4.2}{18}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Garcia-Simari-Defeasible-2004}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.6}Preference of the ``More Precise''}{19}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.7}Conclusion on the Preferences}{19}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\@writefile{toc}{\contentsline {section}{\numberline {5}Requirements Specification of \\Specificity in Positive-Conditional Specification}{20}}
\newlabel{section Requirements Specification of Specificity}{{5}{20}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Formalizations of Specificity}{21}}
\newlabel{section Formalizations of Specificity}{{6}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Activation Sets}{21}}
\newlabel{section where the phases are}{{6.1}{21}}
\newlabel{section definition activation set}{{6.1}{21}}
\newlabel{definition activation set}{{6.1}{21}}
\newlabel{corollary simplified activation is activation}{{6.2}{21}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces And-Tree with Phases 1, 2, 3.{\footnotemark }}}{22}}
\newlabel{figure defeasible parts with explicit roots}{{1}{22}}
\newlabel{section figureisc}{{6.1}{22}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Poole-Preferring-Most-Specific-1985}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}{\sc  Poole}'s Specificity Relation P1; its Minor Corrections P2, P3}{23}}
\newlabel{subsection Specificity Relation P1}{{6.2}{23}}
\newlabel{DefSpec1}{{6.3}{23}}
\newlabel{DefSpec2}{{6.4}{23}}
\newlabel{example not well on non-defeasible arguments}{{6.5}{23}}
\newlabel{DefSpec}{{6.6}{24}}
\newlabel{corollary sub-argument P}{{6.7}{24}}
\newlabel{corollary ordering the P}{{6.8}{24}}
\newlabel{footnote find a counterexample}{{25}{24}}
\citation{Wirth_Stolzenburg_Specificity_2013}
\citation{Wirth_Stolzenburg_Specificity_2013}
\citation{Wirth_Stolzenburg_Specificity_KR2014}
\newlabel{section example P not transitive}{{6.2}{25}}
\newlabel{example P not transitive}{{6.9}{25}}
\newlabel{lemma P not transitive}{{6.10}{25}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Main Negative Result: Not Transitive!}{26}}
\newlabel{theorem P not transitive}{{6.11}{26}}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4}Our Novel Specificity Ordering CP1}{27}}
\newlabel{subsection Our Novel Specificity Ordering CP}{{6.4}{27}}
\newlabel{definition CP specificity}{{6.12}{27}}
\newlabel{corollary sub-argument CP}{{6.13}{28}}
\newlabel{theorem CP quasi-ordering}{{6.14}{28}}
\newlabel{corollary wellfounded}{{6.15}{28}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5}Relation between the Specificity Relations P3 and CP1}{29}}
\newlabel{section theorem super quasi-ordering}{{6.5}{29}}
\newlabel{theorem super quasi-ordering}{{6.16}{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6}Checking Up the Previous Examples}{30}}
\newlabel{section example poole 1 precisely discussion}{{6.6}{30}}
\newlabel{section example poole 2 discussion}{{6.6}{30}}
\newlabel{section example poole 3 discussion}{{6.6}{30}}
\newlabel{section example lovely one discussion}{{6.6}{30}}
\newlabel{example poole 1 precisely discussion}{{6.17}{30}}
\newlabel{remark technically required emphasis}{{6.18}{30}}
\newlabel{example poole 2 discussion}{{6.19}{30}}
\newlabel{note continuity advantage}{{31}{30}}
\newlabel{example poole 3 discussion}{{6.20}{31}}
\newlabel{example lovely one discussion}{{6.21}{31}}
\newlabel{note strong reasons}{{32}{31}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\newlabel{example P not transitive discussion}{{6.22}{32}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Putting Specificity to Test w.r.t.\ Human Intuition}{32}}
\newlabel{section Putting Specificity to Test}{{7}{32}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Monotonicity of the Specificity Relations w.r.t.\ Conjunction}{32}}
\newlabel{subsection Monotonicity of Preference}{{7.1}{32}}
\newlabel{section example poole 6}{{7.1}{32}}
\newlabel{example poole 6}{{7.1}{33}}
\newlabel{example variation 1 poole 6}{{7.2}{33}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}Implementation of the Preference of the ``More Precise''}{34}}
\newlabel{section example stolzenburg 2}{{7.2}{34}}
\newlabel{section example stolzenburg 3}{{7.2}{34}}
\newlabel{variation 2 example poole 6}{{7.3}{34}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\newlabel{example stolzenburg 2}{{7.4}{35}}
\newlabel{footnote difference in F crucial two}{{35}{35}}
\newlabel{example stolzenburg 3}{{7.5}{36}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3}Conflict between the ``More Concise'' and the ``More Precise''}{36}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\newlabel{example variation 3 poole 6}{{7.6}{37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4}Global Effect matters more than Fine Structure}{37}}
\newlabel{section example stolzenburg 1}{{7.4}{37}}
\newlabel{example stolzenburg 1}{{7.7}{37}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\@writefile{toc}{\contentsline {section}{\numberline {8}Efficiency Considerations and\\the Specificity Ordering CP2}{38}}
\newlabel{section Efficiency Considerations}{{8}{38}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}A Slight Gain in Efficiency}{38}}
\newlabel{subsection A Minor Gain of Efficiency}{{8.1}{38}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}Comparing Derivations}{38}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.1}No Pruning Required}{38}}
\newlabel{subsubsection No Pruning Required}{{8.2.1}{38}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.2}Sets of Derivations have to be Compared}{38}}
\newlabel{section example a minimal argument with two minimal activation sets}{{8.2.2}{38}}
\citation{Gelfond_Przymusinska_1990}
\citation{DS96}
\citation{BG97b}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\newlabel{example a minimal argument with two minimal activation sets}{{8.1}{39}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.3}Path Criteria?}{39}}
\newlabel{subsubsection Path Criteria}{{8.2.3}{39}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\newlabel{better}{{8.4}{40}}
\newlabel{example failure}{{8.5}{40}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Toward a More Efficiently Realizable Notion of {\sc  Poole}-Style Specificity}{41}}
\newlabel{CP2}{{8.3}{41}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.1}Immediate Activation Sets}{41}}
\newlabel{section example CP1 versus CP2}{{8.3.1}{41}}
\newlabel{section example a minimal argument with two minimal activation sets discussion}{{8.3.1}{41}}
\newlabel{definition inessential}{{8.6}{41}}
\newlabel{section definition immediate activation set}{{8.3.1}{43}}
\newlabel{definition immediate activation set}{{8.7}{43}}
\newlabel{corollary less immediate activation sets}{{8.8}{43}}
\newlabel{note omit condition}{{43}{43}}
\newlabel{definition CP2 specificity}{{8.10}{44}}
\newlabel{corollary sub-argument CP2}{{8.11}{44}}
\citation{Wirth_Stolzenburg_Specificity_2013}
\newlabel{theorem CP2 quasi-ordering}{{8.14}{45}}
\newlabel{example CP1 versus CP2}{{8.15}{45}}
\newlabel{example stolzenburg 1 reconsidered}{{8.17}{47}}
\newlabel{example a minimal argument with two minimal activation sets discussion}{{8.18}{47}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.2}Special Cases with Simple Activation-Set Computation}{47}}
\newlabel{section Special Case with Simple Activation-Set Computation}{{8.3.2}{47}}
\newlabel{theorem no general rules}{{8.19}{47}}
\newlabel{corollary disappointing}{{8.20}{48}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.3}A Step Toward Operationalization of Immediate Activation Sets}{49}}
\newlabel{subsubsection Operationalization of Immediate Activation Sets}{{8.3.3}{49}}
\newlabel{remark ground conclusions}{{8.21}{51}}
\newlabel{example 1 computation with procedure}{{8.23}{51}}
\newlabel{example 2 computation with procedure}{{8.24}{51}}
\newlabel{example 3 computation with procedure}{{8.25}{52}}
\citation{herbrand-PhD}
\citation{herbrand-handbook}
\citation{herbrand-handbook}
\citation{SR--2009--01}
\citation{wirth-heijenoort}
\citation{wirth-heijenoort}
\citation{wirth-heijenoort-SEKI}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.3.4}A Specificity Relation Based on Given And-Trees}{53}}
\newlabel{section A Specificity Relation on And-Trees}{{8.3.4}{53}}
\citation{Prolog}
\newlabel{remark complexity}{{8.28}{55}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\@writefile{toc}{\contentsline {section}{\numberline {9}Conclusion}{56}}
\newlabel{section Conclusion}{{9}{56}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1}Summary}{56}}
\citation{Furbach-etal-AR-in-NL-Question-Answering-2010}
\citation{Dung_Acceptability_of_Arguments_1995}
\citation{Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002}
\citation{Modgil_Prakken_ASPIC_Tutorial_2014}
\citation{Modgil_Prakken_ASPIC_Tutorial_2014}
\citation{Kern-Isberner-Thimm-Ranking-Semantics-2012}
\citation{Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001}
\citation{Besnard_etal_A_Conditional_Argumentation_Framework_2013}
\citation{Furbach-etal-AR-in-NL-Question-Answering-2010}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2}Application Context}{57}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3}Critical Assessment}{58}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{writing-mathematics}
\bibdata{herbrandbib}
\bibcite{fifthKRninetysix}{\citeauthoryear {Aiello \bgroup \&al.\egroup }{1996}}
\bibcite{fourteenthKRfourteen}{\citeauthoryear {Baral \bgroup \&al.\egroup }{2014}}
\bibcite{BG97b}{\citeauthoryear {Benferhat \bgroup \&\ \egroup Garcia}{1997}}
\citation{DBLP:conf/ecsqaru/1997}
\bibcite{Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001}{\citeauthoryear {Besnard \bgroup \&\ \egroup Hunter}{2001}}
\bibcite{Besnard_etal_A_Conditional_Argumentation_Framework_2013}{\citeauthoryear {Besnard \bgroup \&al.\egroup }{2013}}
\citation{seventhSUMthirteen}
\bibcite{Chesnevar-etal-Relating-Deafeasible-2003}{\citeauthoryear {Ches{\~n}evar \bgroup \&al.\egroup }{2003}}
\bibcite{Prolog}{\citeauthoryear {Clocksin \bgroup \&\ \egroup Mellish}{2003}}
\bibcite{DS96}{\citeauthoryear {Dung \bgroup \&\ \egroup Son}{1996}}
\citation{fifthKRninetysix}
\bibcite{Dung_Acceptability_of_Arguments_1995}{\citeauthoryear {Dung}{1995}}
\bibcite{Furbach-etal-AR-in-NL-Question-Answering-2010}{\citeauthoryear {Furbach \bgroup \&al.\egroup }{2010}}
\bibcite{handbook-of-the-history-of-logic}{\citeauthoryear {Gabbay{\index {Gabbay, Dov (*1945)}} \bgroup \&\ \egroup Woods}{2004\unhbox \voidb@x \hbox {}{ff.}}}
\@writefile{toc}{\contentsline {section}{Acknowledgments}{59}}
\@writefile{toc}{\contentsline {section}{References}{59}}
\bibcite{DBLP:conf/ecsqaru/1997}{\citeauthoryear {Gabbay{\index {Gabbay, Dov (*1945)}} \bgroup \&al.\egroup }{1997}}
\bibcite{handbookofphilosophicallogicsecondedn}{\citeauthoryear {Gabbay}{2002}}
\bibcite{Garcia-Simari-Defeasible-2004}{\citeauthoryear {Garc{\'\i }a \bgroup \&\ \egroup Simari}{2004}}
\bibcite{Gelfond_Przymusinska_1990}{\citeauthoryear {Gelfond \bgroup \&\ \egroup Przymusinska}{1990}}
\bibcite{writing-mathematics}{\citeauthoryear {Gillman}{1987}}
\bibcite{review-herbrand-ecrits-logiques}{\citeauthoryear {Goldfarb{\index {Goldfarb, Warren}}}{1970}}
\citation{herbrand-ecrits-logiques}
\bibcite{heijenoort-source-book}{\citeauthoryear {Heijenoort{\index {Heijenoort, Jean van (1912--1986)}}}{1971}}
\bibcite{herbrand-PhD}{\citeauthoryear {Herbran{\index {Herbrand, Jacques (1908--1938)}}d}{1930}}
\citation{herbrand-ecrits-logiques}
\citation{herbrand-logical-writings}
\citation{heijenoort-source-book}
\bibcite{herbrand-ecrits-logiques}{\citeauthoryear {Herbran{\index {Herbrand, Jacques (1908--1938)}}d}{1968}}
\citation{review-herbrand-ecrits-logiques}
\citation{herbrand-logical-writings}
\bibcite{herbrand-logical-writings}{\citeauthoryear {Herbran{\index {Herbrand, Jacques (1908--1938)}}d}{1971}}
\citation{herbrand-ecrits-logiques}
\citation{herbrand-ecrits-logiques}
\bibcite{ijcai9}{\citeauthoryear {Joshi}{1985}}
\bibcite{Kern-Isberner-Thimm-Ranking-Semantics-2012}{\citeauthoryear {Kern-Isberner \bgroup \&\ \egroup Thimm}{2012}}
\citation{twentiethECAItwelve}
\bibcite{Kow74}{\citeauthoryear {Kowalski{\index {Kowalski, Robert A. (*1941)}}}{1974}}
\citation{IFIP-1974}
\bibcite{lambert-1764}{\citeauthoryear {Lambert}{1764}}
\bibcite{seventhSUMthirteen}{\citeauthoryear {Liu \bgroup \&al.\egroup }{2013}}
\bibcite{Modgil_Prakken_ASPIC_Tutorial_2014}{\citeauthoryear {Modgil \bgroup \&\ \egroup Prakken}{2014}}
\bibcite{Poole-Preferring-Most-Specific-1985}{\citeauthoryear {Poole}{1985}}
\citation{ijcai9}
\bibcite{Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002}{\citeauthoryear {Prakken \bgroup \&\ \egroup Vreeswijk}{2002}}
\citation{handbookofphilosophicallogicsecondedn}
\bibcite{twentiethECAItwelve}{\citeauthoryear {Raedt \bgroup \&al.\egroup }{2012}}
\bibcite{IFIP-1974}{\citeauthoryear {Rosenfeld}{1974}}
\bibcite{Simari-Loui-Defeasible-Reasoning-1992}{\citeauthoryear {Simari \bgroup \&\ \egroup Loui}{1992}}
\bibcite{Stolzenburg-etal-Computing-Specificity-2003}{\citeauthoryear {Stolzenburg \bgroup \&al.\egroup }{2003}}
\bibcite{wgjsc}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}} \bgroup \&\ \egroup Gram{\discretionary {-}{}{}}li{\index {Gramlich, Bernhard (1959--2014)}}ch}{1994}}
\bibcite{Wirth_Stolzenburg_Specificity_2013}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}} \bgroup \&\ \egroup Stolzenburg}{2013}}
\bibcite{Wirth_Stolzenburg_Specificity_KR2014}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}} \bgroup \&\ \egroup Stolzenburg}{2014}}
\citation{fourteenthKRfourteen}
\citation{Wirth_Stolzenburg_Specificity_2013}
\bibcite{herbrand-handbook}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}} \bgroup \&al.\egroup }{2009}}
\citation{handbook-of-the-history-of-logic}
\bibcite{SR--2009--01}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}} \bgroup \&al.\egroup }{2014}}
\bibcite{wirthdiss}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{1997}}
\bibcite{wirth-jsc}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2009}}
\bibcite{wirth-heijenoort}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2012}}
\bibcite{wirth-heijenoort-SEKI}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2014}}