\relax 
\bibstyle{aaai}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Chesnevar-etal-Relating-Deafeasible-2003}
\newlabel{section Introduction}{{1}{1}}
\newlabel{section where the requirement on being model-theoretic is given}{{1}{1}}
\newlabel{section Basic Notions and Notation}{{2}{1}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\newlabel{definition argument}{{2.1}{2}}
\newlabel{example poole 1 precisely}{{2.2}{2}}
\newlabel{corollary quasi-orderings}{{2.3}{2}}
\newlabel{section Toward an Intuitive Notion of Specificity}{{3}{2}}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Garcia-Simari-Defeasible-2004}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\newlabel{subsubsection Preference of the ``More Concise''}{{3.1}{3}}
\newlabel{example poole 2}{{3.1}{3}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\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 poole 3}{{3.2}{4}}
\newlabel{example stolzenburg 1}{{3.3}{4}}
\newlabel{section Requirements Specification of Specificity in Logic Programming}{{4}{4}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Poole-Preferring-Most-Specific-1985}
\newlabel{section Formalizations of Specificity}{{5}{5}}
\newlabel{section where the phases are}{{5}{5}}
\newlabel{section definition activation set}{{5}{5}}
\newlabel{definition activation set}{{5.1}{5}}
\newlabel{subsection Specificity Relation P1}{{5.1}{5}}
\newlabel{DefSpec1}{{5.2}{5}}
\newlabel{DefSpec2}{{5.3}{5}}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Wirth_Stolzenburg_Specificity_2013}
\newlabel{DefSpec}{{5.4}{6}}
\newlabel{corollary ordering the P}{{5.5}{6}}
\newlabel{example not well on non-defeasible arguments}{{5.6}{6}}
\newlabel{corollary sub-argument P}{{5.7}{6}}
\newlabel{example P not transitive}{{5.8}{6}}
\newlabel{lemma P not transitive}{{5.9}{6}}
\newlabel{theorem P not transitive}{{5.10}{6}}
\newlabel{subsection Our Novel Specificity Ordering CP1}{{5.2}{6}}
\citation{Wirth_Stolzenburg_Specificity_2013}
\citation{Wirth_Stolzenburg_Specificity_2013}
\newlabel{definition CP1 specificity}{{5.11}{7}}
\newlabel{corollary sub-argument CP1}{{5.12}{7}}
\newlabel{theorem CP1 quasi-ordering}{{5.13}{7}}
\newlabel{example P not transitive discussion}{{5.14}{7}}
\newlabel{corollary wellfounded}{{5.15}{7}}
\newlabel{theorem super quasi-ordering}{{5.16}{7}}
\newlabel{example poole 1 precisely discussion}{{5.17}{7}}
\newlabel{section Putting Specificity to Test}{{6}{7}}
\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}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\newlabel{subsection Monotonicity of Preference}{{6.2}{8}}
\newlabel{example poole 6}{{6.3}{8}}
\newlabel{example variation 1 poole 6}{{6.4}{8}}
\newlabel{section more precise?}{{6.3}{8}}
\newlabel{variation 2 example poole 6}{{6.5}{8}}
\newlabel{example stolzenburg 2}{{6.6}{8}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Stolzenburg-etal-Computing-Specificity-2003}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{Simari-Loui-Defeasible-Reasoning-1992}
\citation{Gelfond_Przymusinska_1990}
\citation{DS96}
\citation{BG97b}
\citation{Dung_Acceptability_of_Arguments_1995}
\citation{Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002}
\citation{Kern-Isberner-Thimm-Ranking-Semantics-2012}
\citation{Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001}
\newlabel{example stolzenburg 3}{{6.7}{9}}
\newlabel{sec:related}{{7}{9}}
\citation{Poole-Preferring-Most-Specific-1985}
\citation{writing-mathematics}
\bibdata{specificity}
\bibcite{BG97b}{\citeauthoryear {Benferhat and Garcia}{1997}}
\bibcite{Besnard-Hunter-Logic-Based-Theory-of-Deductive-Arguments-2001}{\citeauthoryear {Besnard and Hunter}{2001}}
\bibcite{Chesnevar-etal-Relating-Deafeasible-2003}{\citeauthoryear {Ches{\~n}evar \bgroup et al\unhbox \voidb@x \hbox {.}\egroup }{2003}}
\bibcite{DS96}{\citeauthoryear {Dung and Son}{1996}}
\bibcite{Dung_Acceptability_of_Arguments_1995}{\citeauthoryear {Dung}{1995}}
\bibcite{Garcia-Simari-Defeasible-2004}{\citeauthoryear {Garc{\'\i }a and Simari}{2004}}
\bibcite{Gelfond_Przymusinska_1990}{\citeauthoryear {Gelfond and Przymusinska}{1990}}
\bibcite{writing-mathematics}{\citeauthoryear {Gillman}{1987}}
\bibcite{Kern-Isberner-Thimm-Ranking-Semantics-2012}{\citeauthoryear {Kern-Isberner and Thimm}{2012}}
\bibcite{Poole-Preferring-Most-Specific-1985}{\citeauthoryear {Poole}{1985}}
\bibcite{Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002}{\citeauthoryear {Prakken and Vreeswijk}{2002}}
\bibcite{Simari-Loui-Defeasible-Reasoning-1992}{\citeauthoryear {Simari and Loui}{1992}}
\bibcite{Stolzenburg-etal-Computing-Specificity-2003}{\citeauthoryear {Stolzenburg \bgroup et al\unhbox \voidb@x \hbox {.}\egroup }{2003}}
\bibcite{Wirth_Stolzenburg_Specificity_2013}{\citeauthoryear {Wirth and Stolzenburg}{2013}}
\newlabel{section Conclusion}{{8}{10}}