deprecated.bib

@INCOLLECTION{Montague:tptoqioe73,crossref={Montague:tptoqi73}}
@INCOLLECTION{mont:prop73,crossref={Montague:tptoqi73}}
@INCOLLECTION{kamp81,crossref={Kamp:atotas81}}
@TECHREPORT{Kohlhase94a,crossref={Kohlhase:hoosr94}}
@article{ZanibbiBlostein:RecRetMath,crossref={ZanBlo:rrme12}}

@article{CarFarKohRab:bmobb19,crossref=CarFarKohRab:bmobb21}

@INPROCEEDINGS{LibMel:marmca06,
  author = {Paul Libbrecht and Erica Melis},
  title = {{Methods for Access and Retrieval of Mathematical Content in ActiveMath}},
  pages = {331--342},
  note = {\url{http://www.activemath.org/publications/Libbrecht-Melis-Access-and-Retrieval-ActiveMath-ICMS-2006.pdf}},
  url = {http://www.activemath.org/publications/Libbrecht-Melis-Access-and-Retrieval-ActiveMath-ICMS-2006.pdf},
  Crossref = {ICMS06}}

% use Frege:sub92 instead
@INCOLLECTION{freg:sinn92,
  author = {Frege, G.},
  title = {{\"U}ber {Sinn} und {Bedeutung}},
  booktitle = {Funktion, Begriff, Bedeutung. F{\"u}nf Logische Studien},
  publisher = {Vanden Hoeck},
  year = {1892},
  editor = {G. Patzig},
  address = {G{\"o}ttingen}}

@TECHREPORT{BHLR:xmln06,
  title = {{Namespaces in XML 1.0 (Second Edition)}},
  institution = {World Wide Web Consortium ({W3C})},
  year = {2006},
  month = aug,
  type = {{W3C} Recommendation},
  author = {Tim Bray and Dave Hollander and Andrew Layman and Richard Tobin},
  url = {http://www.w3.org/TR/REC-xml-names/},
  key = {Bray}}

@INPROCEEDINGS{ags-2001-d-9,crossref = FiedlerHoracek:aietlp01}
% moved
@online{mitm:smglom:on,crossref={mitm:smglom:on}}
@online{CASL-NU,crossref={CASL}}

@inproceedings{KohlhaseRapp:fgwm19,crossref={KohRapp:cgal19}}


@ARTICLE{eijck:typstat,crossref = {Eijck:tlws97}}
@INPROCEEDINGS{pratt76,crossref={Pratt:scofhl76}}

@misc{rabeEA:isabelle-lf:10,
  author = "M. Iancu and Florian Rabe",
  title = "{A Formal Semantics of Isabelle/HOL}",
  year = "2010",
  url = {https://svn.kwarc.info/repos/twelf/isabelle},
  pubs={frabe,latin,mmt}
}

@TECHREPORT{BusCapCar:2oms03,
  title = {The {OpenMath} Standard, Version 2.0 Public Draft 4},
  year = {2003},
  institution = {The {OpenMath} Society},
  url = {http://www.openmath.org/standard/om20-2003-11-24/},
  author = {Stephen Buswell and Olga Caprotti and David P. Carlisle and Michael
    C. Dewar and Marc Gaetano and Michael Kohlhase},
  key = {Caprotti}}


@TECHREPORT{W3C:svg02,
  title = {Scalable Vector Graphics (SVG) 1.1 Specification},
  institution = {World Wide Web Consortium (W3C)},
  year = {2002},
  month = apr,
  type = {W3C  Recommendation},
  url = {http://www.w3.org/TR/2002/CR-SVG11-20020430},
  author = {Dean Jackson and Jon Ferraiolo and Jun Fujisawa}}

@online{MO:on,
   label = {MO},
   title = {MathOverflow},
   url = {https://mathoverflow.net/},
   urldate = {2019-01-29}}

@TECHREPORT{w3c:WD-sparql11-query-20100601,
  title = {{SPARQL} 1.1 Query Language},
  institution = {World Wide Web Consortium ({W3C})},
  type = {{W3C} {Working Draft}},
  date = {2010-06-01},
  author = {Steve Harris and Andy Seaborne},
  url = {http://www.w3.org/TR/2010/WD-sparql11-query-20100601/}}


@misc{OpenMath:URL,
  key = {OpenMath},
  title = {OpenMath},
  year = 2009,
  note  = {\webpageat{http://wiki.openmath.org}}}
@online{OpenMathWiki:webpage,lastchecked = feb,crossref = {OpenMathWiki:base}}
@Misc{OpenMathWiki,crossref = {OpenMathWiki:base},
  howpublished = {\url{http://wiki.openmath.org}}}

@TECHREPORT{w3c:WD-rdfa-primer-20110419,
  author = {Mark Birbeck and Ben Adida and Ivan Herman and Manu Sporny},
  title = {{RDFa} 1.1 Primer},
  subtitle = {Rich Structured Data Markup for Web Documents},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2011-04-19},
  type = {{W3C} {Working Draft}},
  url = {http://www.w3.org/TR/2011/WD-rdfa-primer-20110419/}}

@inproceedings{CHKMR:hiding:10,crossref={CHKMR:hiding:10}}
@inproceedings{CHKMRS:lfhets:10,crossref={CHKMRS:lfhets:10}}
@proceedings{MathUI13,crossref = {CICM-WS-WiP2013}}
@proceedings{LanAspCar:CICMWiP13,crossref = {CICM-WS-WiP2013}}
@incollection{AueLeh:whialic07,crossref={AuLeh:whilic07}}
@unpublished{IanJucKoh:sps14,crossref={IanJucKoh:sps15}}
@BOOK{Bourbaki:a68,crossref={Bourbaki:tos68}}
@MISC{OMDocWeb,crossref = {OMDoc:URL}}
@InProceedings{KMR:NoLMD08-short,crossref={KMR:NoLMD08}}

@Online{oeis,crossref={OEIS:on},label={OEIS}}

@ARTICLE{sloane:oies,crossref={Sloane:OEIS}}
@MISC{plato:web,crossref={plato:base},
  key = {plato},
  howpublished = {system homepage at \url{http://www.ags.uni-sb.de/plato/bin/view.pl}},
  note = {seen August  2007, no longer exists}}
  title = {{PLATO: Interactive Mathematical Authoring}},
  url = {http://www.ags.uni-sb.de/plato/bin/view.pl}}

@online{zblmath:online,crossref={zbMath:on}}
@Misc{URL:zblmath,crossref={URL:zblmath:base},
  key = {ZBM},
  howpublished = {\webpageat\url{http://www.zentralblatt-math.org/zbmath}},
  note = {\seen{\November} 2012}}
@Misc{URL:zblmath:base,
  title = {Zentralblatt {MATH}},
  url = {http://www.zentralblatt-math.org/zbmath/}}

@TECHREPORT{PruSea06:sparql,
  title = {{SPARQL} Query Language for {RDF}},
  institution = {World Wide Web Consortium ({W3C})},
  year = {2006},
  type = {{W3C} {Candidate} {Recommendation}},
  month = apr,
  author = {Eric Prud'hommeaux and Andy Seaborne},
  url = {http://www.w3.org/TR/2006/CR-rdf-sparql-query-20060406/}}

@unpublished{IanJucKoh:sps15,
 title = {The {SMGLoM} Project and System},
 author = {Deyan Ginev and Mihnea Iancu and Constantin Jucovschi and Andrea Kohlhase and
                  Michael Kohlhase and Heinz Kr{\"o}ger and J{\"u}rgen Schefter and
                  Wolfram Sperber},
 year = {2015},
 url = {http://kwarc.info/kohlhase/submit/cicm15-smglom.pdf}}

@unpublished{LK:OMDocOntologyLanguageESWC09,
  author = {Christoph Lange and Michael Kohlhase},
  title = {A Mathematical Approach to Ontology Authoring and Documentation},
  Url = {https://github.com/OMDoc/OMDoc/blob/master/doc/blue/foaf/eswc2009.pdf},
  year = 2009}


@ARTICLE{chur:form40,crossref={Church:afotst40}}
@online{sTeX-mode:on,
  urldate = {2009-11-10},
  crossref={sTeX-mode:base}}

@MISC{URL:sTeX-mode,
  note = {\seen May   2008},
  howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex/projects/emacs}},
  crossref={sTeX-mode:base}}

@MISC{sTeX-mode:base,
  key = {sTeX-Mode},
  title = {{sTeX} {Emacs} Mode},
  url = {https://svn.kwarc.info/repos/stex/projects/emacs}}

@MISC{URL:sTeX-slides:head,
  key = {sTeX-slides},
  url = {https://svn.kwarc.info/repos/stex-content/slides},
  howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex-content/slides}}}

@Misc{OMDoc:svn,
  key =		 {OMDoc SVN},
  title =	 {The {OMDoc} Subversion Repository},
  howpublished = {Repository at \url{https://svn.omdoc.org/repos/omdoc}},
  url = {https://svn.omdoc.org/repos/omdoc}}

@Misc{CD:inference-rules,
  author = {Michael Kohlhase},
  title = {Inference Rules},
  year = {\seen{Jan 2005}},
  howpublished = {OMDoc Content Dictionary at
                  \url{https://svn.omdoc.org/repos/omdoc/trunk/examples/logics/inference-rules.omdoc}},
  url = {https://svn.omdoc.org/repos/omdoc/trunk/examples/logics/inference-rules.omdoc}}

@online{latexml:branch:online,crossref={latexml:branch:base},urldate={2013-03-12}}
@Misc{latexml:branch,crossref={latexml:branch:base},
  howpublished = {Web Manual at \url{http://dlmf.nist.gov/LaTeXML/}},
  note = {\seen{\September} 2011}}
@Misc{latexml:branch:base,
  author =   {Deyan Ginev},
  title =    {{\texttt{LaTeXML}}: A {\LaTeX} to {XML} Converter, {arXMLiv} branch},
  url = {https://svn.mathweb.org/repos/LaTeXML/branches/arXMLiv}}


@Misc{mathweb.org:svn,
  key =		 {MathWeb SVN},
  title =	 {Using the {\tt{mathweb.org}} Subversion Repository},
  howpublished = {Web page at \url{http://www.mathweb.org/svn.html}},
  url = {http://www.mathweb.org/svn.html}}


@Unpublished{Kohlhase:OMDoc1.6projects,
  author = 	 {Michael Kohlhase},
  title = 	 {{\omdoc} Projects and Applications [Version 1.6 (pre-2.0)]},
  url = 	 {https://svn.omdoc.org/repos/omdoc/trunk/doc/projects/main.pdf},
  year = 	 2009,
  pubs = {mkohlhase,projects/omdoc}}

@Unpublished{Kohlhase:OMDoc1.6processing,
  author = 	 {Michael Kohlhase},
  title = 	 {Processing {\omdoc} [Version 1.6 (pre-2.0)]},
  url = 	 {https://github.com/OMDoc/OMDoc/processing/main.pdf},
  year = 	 2009,
  pubs = {mkohlhase,projects/omdoc}}


@inproceedings{LK:MathOntoAuthDoc09:FGWM:plain,crossref={LK:MathOntoAuthDoc09:FGWM}}

@Online{EuDML,crossref={EuDML:on}}
@online{NTCIR-Math,crossref={NTCIR10-Math:on}

@PHDThesis{Kohlhase:SemanticInteractionDesignDiss,
crossref={Kohlhase:SemanticInteractionDesignDiss:biblatex}}

@MISC{URL:sTeX:head,
  key = {sTeX},
  howpublished = {\svnrepoat\url{https://svn.kwarc.info/repos/stex}},
  url = {https://svn.kwarc.info/repos/stex}}

@MISC{sTeX:web,crossref={URL:sTeX:github}}
@online{sTeX:online,crossref={sTeX:github:on}}

@TECHREPORT{MilPin:edvddi,crossref={MilPin:edvddi92}}
@UNPUBLISHED{ags-2002-e-1,
  author = {Erica Melis and Jochen B{\"u}denbender and George Goguadze and Paul
    Libbrecht and C. Ullrich},
  title = {Knowledge Representation and Management in ActiveMath},
  note = {To appear in the Proceedings of MKM'01 in Annals of Mathematics and
    Artificial Intelligence},
  year = {2002},
  institution = {DFKI GmbH Saarbr{\"u}cken}}

@ARTICLE{ags-2002-e-7,
  author = {Erica Melis and Jochen B{\"u}denbender and Erik Andres and Adrian
    Frischauf and George Goguadze and Paul Libbrecht and Martin Pollet
    and Carsten Ullrich},
  title = {Knowledge Representation and Management in ActiveMath},
  journal = {International Journal on Artificial Intelligence and Mathematics,
    Special Issue on Management of Mathematical Knowledge},
  year = {2002}}

@INCOLLECTION{groe:dmg,crossref={GroSto:dmg90}}

@MISC{w3c:web:mathml3,
  author = {{W3C}},
  title = {{Mathematical Markup Language (MathML) Version 3.0 (Third Edition)}},
  howpublished = {\url{http://www.w3.org/TR/MathML3/}},
  year = {2007},
  note = {Seen November 2007},
  institution = {World Wide Web Consortium ({W3C})},
  url = {http://www.w3.org/TR/MathML3/}}

@online{MathML3:webpage,
  author = {{W3C}},
  title = {{Mathematical Markup Language (MathML) Version 3.0 (Third Edition)}},
  lastchecked = {December 2008},
  institution = {World Wide Web Consortium ({W3C})},
  type = {Working Draft},
  url = {http://www.w3.org/TR/MathML3/}}

@TECHREPORT{CarlisleEd:MathML10,crossref={CarlisleEd:MathML3:base}}
@TECHREPORT{W3C:MathML3:biblatex,crossref={CarlisleEd:MathML3:base}}

@BOOK{kampreyle93,crossref={KamRey:fdtl93}}

% use CodHorKoh:palai11 instead
@inproceedings{CHKMR:latinabs:11,
  author = {Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe},
  title = "{Project Abstract: Logic Atlas and Integrator ({LATIN})}",
  pages = "287--289",
  crossref = {CICM11},
  keywords = {conference},
  pubs={frabe}}

@Article{StaKoh:tlcspx09,crossref={StaKoh:tlcspx10}}%deprecated
@comment{deprecated: misleading ID.  Fixed entry below}
@INCOLLECTION{KamLamMaaWel:swmkm07,
  author = {Fairouz Kamareddine and Robert Lamar and Manuel Maarek  and J. B. Wells},
  title = {Restoring Natural Language as a Computerised Mathematics Input Method},
  pages = {280--295},
  keywords = {lamapunbibs},
  crossref = {MKM07}}
@comment{deprecated: misleading ID.  Fixed entry below}
@INCOLLECTION{KamLamMaaWel:nsmt07,
  author = {Fairouz Kamareddine and Manuel Maarek and Krzysztof Retel and J. B. Wells},
  title = {Narrative Structure of Mathematical Texts},
  pages = {296--312},
  crossref = {MKM07}}

@comment{deprecated, use SH02  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{HS02,
  author = {Axel Schairer and Dieter Hutter},
  title = {Proof Transformations for Evolutionary Formal Software Development},
  crossref={AMAST02}}
@comment{deprecated: use jena:web instead}
@misc{URL:jena:web,
  key = {Jena},
  note = {system homepage at \url{http://jena.sf.net}},
  note = {seen June  2007},
  crossref = {jena:base}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{lpar92:273,
  author = {Leo Bachmair and Harald Ganzinger},
  title = {Non-Clausal Resolution and Superposition with Selection and Redundancy
    Criteria},
  year = {1992},
  pages = {273--284},
  crossref = {LPAR92}}

@comment{deprecated,use BundyEtAl:tocs90,   Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BuHa90,
  author = {A. Bundy and F. van Harmelen and C. Horn and A. Smaill},
  title = {The Oyster-Clam System},
  year = {1990},
  pages = {647--648},
  crossref = {CADE90}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{GoLe94,
  author = {C. Goller and Reinhold Letz and Klaus Mayr and Johann Schumann},
  title = {{SETHEO} V3.2: Recent Developments},
  year = {1994},
  pages = {778--782},
  crossref = {CADE94}}

@comment{deprecated, use ManLib:apo05,  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AuthPresent,
  author = {Shahid Manzoor and Paul Libbrecht and Carsten Ullrich and Erica Melis},
  title = {{Authoring Presentation for {\sc{OpenMath}}}},
  pages = {33--48},
  crossref = {MKM05}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{ActiveMath,
  author = {E. Melis and E. Andres and A. Franke and G. Goguadze and P. Libbrecht
    and M. Pollet and C. Ullrich},
  title = {{\activemath} System Description},
  pages = {580--582},
  crossref = {AIED01}}
@comment{deprecated, use MosAutHut:edgwh01,.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{MAH-01-a,
  author = {Till Mossakowski and Serge Autexier and Dieter Hutter},
  pages = {269--284},
  title = {Extending Development Graphs With Hiding},
  crossref = {FASE01}}

@inproceedings{KohKoh:AssessmentInSACHS:plain,
  author = {Andrea Kohlhase and Michael Kohlhase},
  title = {What you get is what you understand: Assessment in {SACHS}},
  crossref = {FGWM09},
  pages = {22--29},
  url = {http://www.kwarc.info/kohlhase/papers/lwa09-sachs.pdf},
  Year = 2009,
  keywords={workshop},
}

@comment{deprecated, use MosAutHut:edgwh01,.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{MossakowskiEtAl00,
  author = {Till Mossakowski and Serge Autexier and Dieter Hutter},
  pages = {269--284},
  title = {Extending Development Graphs With Hiding},
  crossref = {FASE01}}
@comment{deprecated, use PfenningSchuermann:sdtamf99,.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@inproceedings{pfenning99system,
  author = {Frank Pfenning and Carsten Sch{\"u}rmann},
  title = {System Description: Twelf --- A Meta-Logical Framework for Deductive
    Systems},
  booktitle = {Proceedings of the 16\textsuperscript{th} {Conference} on {Automated} {Deduction}},
  pages = {202--206},
  crossref = {CADE99}}
@comment{deprecated}
@MISC{w3C:rdfa,
  key = {W3C RDFa Primer},
  editor = {World Wide Web Consortium (W3C)},
  title = {{RDFa Primer}},
  howpublished = {\url{http://www.w3.org/TR/xhtml-rdfa-primer/}},
  institution  = {World Wide Web Consortium (W3C)},
  year = 2008,
  url = {http://www.w3.org/TR/xhtml-rdfa-primer/}}

@comment{deprecated}
@TECHREPORT{AdiBir:RDFa1.0,
  author = {Ben Adida and Mark Birbeck},
  title = {{RDFa Primer 1.0 -- Embedding RDF in XHTML}},
  institution = {World Wide Web Consortium ({W3C})},
  month = may,
  year = {2006},
  type = {{W3C Working Draft}},
  url = {http://www.w3.org/TR/2006/WD-xhtml-rdfa-primer-20060516/}}

@comment{deprecated, use ah01:tefsd,.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{HS01,
   author    = {Dieter Hutter and Axel Schairer},
   title     = {Towards an Evolutionary Formal Software Development},
   crossref = {ASE01},
   year      = 2001}


@comment{deprecated: duplicate.  Use entry below instead}
@MISC{lucene,
  howpublished = {\url{http://lucene.apache.org/}},
  year = {2000--2006},
  crossref={Lucene:base}}

@comment{deprecated: duplicate.  Use entry below instead}
@INPROCEEDINGS{mkm03:markup-examples,
  author = {George Goguadze and Erica Melis and Carsten Ullrich and Paul Cairns},
  title = {Problems and Solutions for Markup for Mathematical Examples and Exercises},
  pages = {80--93},
  crossref={MKM03}}

@comment{deprecated: duplicate.  Use entry below instead}
@MISC{URL:creativecommons,crossref={creative-commons:base},
  howpublished = {\url{http://www.creativecommons.org}},
  note = {seen February 2008},
  key = {Creative Commons}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AutHut:dgmm02,
  author = {Serge Autexier and Dieter Hutter and Till Mossakowski and Axel Schairer},
  title = {The Development Graph Manager {MAYA} (system description)},
  crossref = {AMAST02},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{AHMS-02-a,
  author = {Serge Autexier and Dieter Hutter and Till Mossakowski and Axel Schairer},
  title = {The Development Graph Manager {MAYA} (system description)},
  crossref = {AMAST02},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{hut00:mcsv,
   author = {Dieter Hutter},
   title = {Management of Change in Verification Systems},
   crossref = {ASE00},
   pages = {23--34},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Hutter-00-a,
   author = {Dieter Hutter},
   title = {Management of Change in Verification Systems},
   crossref = {ASE00},
   pages = {23--34},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Hutter00,
   author = {Dieter Hutter},
   title = {Management of Change in Verification Systems},
   crossref = {ASE00},
   pages = {23--34},
}

@TECHREPORT{w3c:CR-html5,
  title = {{HTML5}},
  subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2012-03-29},
  year = 2012,
  type = {{W3C} {Candidate Recommentation}},
  author = {Robin Berjon and Steve Faulkner and Travis Leithead and Erika Doyle Navara and Edward O'Connor and Silvia Pfeiffer and Ian Hickson},
  url = {http://www.w3.org/TR/html5/}}
  
@TECHREPORT{w3c:html5,crossref={w3c:WD-html5-20120329}}
@TECHREPORT{w3c:WD-html5-20120329,
  title = {{HTML5}},
  subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2012-03-29},
  year = 2012,
  type = {{W3C} {Working Draft}},
  author = {Ian Hickson},
  url = {http://www.w3.org/TR/2011/WD-html5-20120329/}}

@TECHREPORT{w3c:WD-html5-20110525,
  title = {{HTML5}},
  subtitle = {A vocabulary and associated {APIs} for {HTML} and {XHTML}},
  institution = {World Wide Web Consortium ({W3C})},
  date = {2011-05-25},
  type = {{W3C} {Working Draft}},
  author = {Ian Hickson},
  url = {http://www.w3.org/TR/2011/WD-html5-20110525/}}

@techreport{Hickson:HTML510,
  title = {{HTML5} (including next generation additions still in development)},
  author = {Ian Hickson},
  institution = {Web Hypertext Application Technology Working Group (WHATWG)},
  year = 2010,
  type = {Draft Standard},
  url = {http://whatwg.org/html5},
  urldate = 	 {2010-02-02}}
  

@inproceedings{IR:moc:12,crossref={IanRab:mocdl12}}
@inproceedings{rabe:querying:12,crossref={Rabe:qlfml12}}
@article{KR:omsemantics-long:10,crossref={KohRab:som12}}
@ONLINE{MSC-SKOS:on,crossref={MSCLinkedWiki:on}}
@article{KohDavGin:pswads11,crossref={KohDavGin:psewads11}}
@article{IanKohRabUrb:tmmliotaa11:biblatex,crossref={IanKohRabUrb:tmmliotaa13}}
@article{IKRU:mizar:11,crossref={IanKohRabUrb:tmmliotaa13}}

@comment{deprecated, use Kohlhase:tffm13 instead}
@Unpublished{Kohlhase:tffm12,
  author = 	 {Michael Kohlhase},
  title = 	 {The Flexiformalist Manifesto},
  note = 	 {KWARC Blue Note},
  url = {https://svn.kwarc.info/repos/oaf-dev/doc/blue/manifest/note.pdf},
  year = 	 2012}

@inProceedings{KohKoh:pcmpm11,crossref={KohJuc:pcmpm11}}
@inproceedings{HIJKR:dimensions:11,crossref={HorIacJuc:cscpnrr11}}
@comment{deprecated, use KohRabSac:fvip11.  crossref doesn't work because this entry cross-refs CICM11 itself}
@inproceedings{KohRabSac:fvip10,
  author = 	 {Michael Kohlhase and Florian Rabe and Sacerdoti Coen, Claudio},
  title = {A Foundational View on Integration Problems},
  howpublished = {\url{http://kwarc.info/kohlhase/papers/cicm11-integration.pdf}},
  url = {http://kwarc.info/kohlhase/papers/cicm11-integration.pdf},
  pages = {107--122},
  crossref = {CICM11},
  keywords = {conference},
}
@comment{deprecated, use KohRabSac:fvip11.  crossref doesn't work because this entry cross-refs CICM11 itself}
@inproceedings{RKS:integration:11,
  author = "F. Rabe and M. Kohlhase and C. {Sacerdoti Coen}",
  title = "{A Foundational View on Integration Problems}",
  year = "2011",
  pages = "106--121",
  booktitle = "Intelligent Computer Mathematics",
  editor = "J. Davenport and W. Farmer and F. Rabe and J. Urban",
  series = "LNCS",
  publisher = "Springer",
  volume = "6824",
  keywords = {conference},
  pubs={frabe}
}

@comment{deprecated, use KohRabZho:tmlmrsca10:biblatex,  crossref doesn't work because this entry cross-refs CICM10 itself}
@inProceedings{KohRabZho:tmlmrsca10,
  author = {Michael Kohlhase and Florian Rabe and Vyacheslav Zholudev},
  title =  {Towards {MKM} in the Large: Modular Representation and Scalable Software Architecture},
  crossref = 	 {CICM10},
  howpublished = {\url{http://kwarc.info/kohlhase/papers/mkm10-scalable.pdf}},
  url = {http://kwarc.info/kohlhase/papers/mkm10-scalable.pdf}}
@comment{deprecated, use KohRabZho:tmlmrsca10:biblatex,  crossref doesn't work because this entry cross-refs CICM itself}
@inproceedings{KRZ:mmttnt:10,
  author = "M. Kohlhase and F. Rabe and V. Zholudev",
  title = "{Towards {MKM} in the Large: Modular Representation and Scalable Software Architecture}",
  year = "2010",
  pages = "370--384",
  booktitle = "Intelligent Computer Mathematics",
  editor = "S. Autexier and J. Calmet and D. Delahaye and P. Ion and L. Rideau and R. Rioboo and A. Sexton",
  series = "LNCS",
  publisher = "Springer",
  volume = "6167",
  keywords = {conference},
  pubs={frabe}
}

@comment{deprecated: for non-BibLaTeX compatibility}
@InProceedings{KohKohLan:ssffld10,
  author = 	 {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
  title = {{sTeX} -- A System for Flexible Formalization of Linked Data},
  crossref = {ISEMANTICS2010},
  url = {http://kwarc.info/kohlhase/papers/isem10.pdf}}

@inproceedings{ZKR:tntbase:10,crossref={ZhoKohRab:tntbasef10}}
% deprecated, use next entry
@inproceedings{KR:omsemantics:09,
  author = "M. Kohlhase and F. Rabe",
  title = "Semantics of {OpenMath} and {MathML 3}",
  year = "2009",
  booktitle = "Proceedings of the OpenMath workshop"}

% deprecated, use next entry
@inproceedings{RK:roles:09,
  author = "F. Rabe and M. Kohlhase",
  title = "{A Better Role System for OpenMath}",
  year = "2009",
  booktitle = "Proceedings of the OpenMath workshop"}
@comment{deprecated, use GLR:WebSvcActMathDoc09.  crossref doesn't work because this entry cross-refs MKM09 itself}
@inproceedings{GLR:jobad:09,
  author = {Jana Giceva and Christoph Lange and Florian Rabe},
  title = {Integrating Web Services into Active Mathematical Documents},
  url = {https://svn.omdoc.org/repos/jomdoc/doc/pubs/mkm09/jobad/jobad-server.pdf},
  crossref = {MKM09},
  pages = {279--293},
  keywords = {conference,clange-phd},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@inproceedings{CM:FPRCAU,
  author = {Cristian Calude and Christine M{\"u}ller},
  title = {{Formal Proofs: Reconciling Correctness and Understanding}},
  crossref = {MKM09},
  year = {2009},
}
@incollection{SieKohMel:oamas99,crossref={KohMelSie:oma99}}
@inproceedings{CM:TtAoSCMpbCoP,crossref={MueKoh:cpme08}}
@inproceedings{MK:CTACOPTBOSMUA,crossref={MueKoh:cptsma08}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@inProceedings{KohKoh:SemanticTransparency,
  author = {Andrea Kohlhase and Michael Kohlhase},
  title = {Semantic Transparency in User Assistance Systems},
  url = {http://kwarc.info/kohlhase/papers/sigdoc09-semtrans.pdf},
  crossref = {SIGDOC09},
  pages = {89--96},
  keywords = {conference},
}
@TECHREPORT{CarlisleEd:MathML08,crossref={CarlisleEd:MathML3:base}}
@TECHREPORT{CarlisleEd:MathML09,crossref={CarlisleEd:MathML3:base}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@MISC{swim,
  crossref={SWiM:base},
  key = {SWiM},
  howpublished = {\webpageat\url{http://kwarc.info/projects/swim/}},
  note = {seen October  2008}}
@INPROCEEDINGS{Mueller06:locutor-lwa,crossref = {NRM:lwa06}}
@comment{deprecated, use DKLRZ:PubMathLectNotLinkedData10}
@inproceedings{DKLRZ:jobaddemo:10,
  author = "C. David and M. Kohlhase and C. Lange and F. Rabe and V. Zholudev",
  title = "{Publishing Math Lecture Notes as Linked Data}",
  year = "2010",
  pages = "370--375",
  booktitle = "The Semantic Web: Research and Applications",
  editor = "L. Aroyo and G. Antoniou and E. Hyv{\"o}nen and A. {ten Teije} and H. Stuckenschmidt and L. Cabral and T. Tudorache",
  series = "LNCS",
  publisher = "Springer",
  volume = "6089",
  pubs={frabe},
  keywords = {conference}
}
@article{BenBroKoh:lmcs08,crossref={BenBroKoh:lmcs09}}
@ARTICLE{KohFra:rkcimss00,crossref={KohFra:rkcimss01}}
@article{KohlhaseFranke00,crossref={KohFra:rkcimss01}}
@online{sTex:webpage,crossref={sTeX:base},urldate = {2011-02-22}}
@online{JOMDoc:webpage,lastchecked = {March 2009},crossref={JOMDoc:base}}
@Article{KohKoh:skmfe07,crossref={KohKoh:skmfe08}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BeKo1-CADE98,
  author = {Christoph Benzm{\"u}ller and Michael Kohlhase},
  title = {Extensional Higher Order Resolution},
  year = {1998},
  pages = {56--72},
  crossref = {CADE98},
  url = {http://kwarc.info/kohlhase/papers/BeKo2-CADE98.pdf},
  keywords = {conference},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@online{OAF:online,crossref={OAFF:base},
  urldate = {2011-01-17}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{JoKo94,
  author = {Patricia Johann and Michael Kohlhase},
  title = {Unification in an Extensional Lambda Calculus with Ordered Function
    Sorts and Constant Overloading},
  year = {1994},
  pages = {620--634},
  crossref = {CADE94},
  url = {http://kwarc.info/kohlhase/papers/JoKo94-CADE.pdf},
  keywords = {conference},
}

@InProceedings{OMEGA02,crossref={SiekmannEtAl:pdwo02}}
@online{MWSDemo:webpage,crossref={MWSProj:base}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{BeKo2-CADE98,
  author = {Christoph Benzm{\"u}ller and Michael Kohlhase},
  title = {{LEO} -- a Higher Order Theorem Prover},
  crossref = {CADE98},
  url = {http://kwarc.info/kohlhase/papers/BeKo1-CADE98.pdf},
  pages = {139--144},
  keywords = {conference},
}
@Article{MathWeb99,crossref={FraHes:aoidms99}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{Omega94,
  author = {Xiaorong Huang and Manfred Kerber and Michael Kohlhase and Erica
    Melis and Daniel Nesmith and J{\"o}rn Richts and J{\"o}rg Siekmann},
  title = {{$\Omega$-MKRP} A Proof Development Environment},
  year = {1994},
  pages = {788--792},
  crossref = {CADE94},
  url = {http://kwarc.info/kohlhase/papers/Omega94-CADE.pdf},
  keywords = {conference},
}
@ARTICLE{HutKoh:msihocu99,crossref={HutKoh:msihocu00}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{HuKo:acvotlc97,
  author = {Dieter Hutter and Michael Kohlhase},
  title = {A Coloured Version of the $\lambda$-Calculus},
  crossref = {CADE97},
  pages = {291--305},
  keywords = {conference},
}
@ARTICLE{KeKoSo98,crossref={KeKoSo:icaipp98}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:OvercomingProprietaryHurdles,
  author = {Andrea Kohlhase},
  title = {{Overcoming Proprietary Hurdles: CPoint as Invasive Editor}},
  pages = {51--56},
  crossref = {OSEE2005},
  keywords={conference},
}
@article{RK:mmt:10,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML08,crossref={RabKoh:WSMSML13}}% we have been working on this for a while
@Article{RabKoh:WSMSML09,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML10,crossref={RabKoh:WSMSML13}}
@Article{RabKoh:WSMSML11,crossref={RabKoh:WSMSML13}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:smtl05,
  author = {Michael Kohlhase},
  title = {Semantic Markup for {\TeX/\LaTeX}},
  crossref = {MathUI04},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase05:stex,
  author = {Michael Kohlhase},
  title = {Semantic Markup for {\TeX/\LaTeX}},
  crossref = {MathUI04},
}
@article{Kohlhase:sabhs96,crossref={Kohlhase:sat96}}
@ARTICLE{Kohlhase96,crossref={Kohlhase:sat96}}
@PHDTHESIS{Kohlhase94,crossref={Kohlhase:amosho94}}
@article{Kohlhase:sutsmf08,crossref={Kohlhase:ulsmf08}}
@ARTICLE{KohKol:ramgpm01,crossref={KohKol:ramgpm03}}
@ARTICLE{louiJournal99,crossref={SieHes:loui99}}
@INPROCEEDINGS{SiekmannEtAl:acgap00,crossref={SieBen:acgap00}}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@INPROCEEDINGS{ZimmerKohlhase02,
  author = 	 {J{\"u}rgen Zimmer and Michael Kohlhase},
  title = 	 {System {Description}: {The} {MathWeb} Software Bus for Distributed Mathematical Reasoning},
  pages =        {247--252},
  year =         2002,
  url = {http://kwarc.info/kohlhase/papers/cade02.pdf},
  crossref = 	 {CADE02},
}
@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InBook{AKoMue:AddedValue,
  author = {Andrea Kohlhase and Normen M{\"u}ller},
  title = {{Added-Value: Getting People into Semantic Work Environments}},
  crossref = {ReDeRa:SWE07},
  pages = {185--205},
}
@comment{deprecated: for non-BibLaTeX compatibility}
@InProceedings{KohKohLan:difcsmse10,
  author = 	 {Andrea Kohlhase and Michael Kohlhase and Christoph Lange},
  title = {Dimensions of Formality: A Case Study for {MKM} in Software Engineering},
  pages = {355--369},
  crossref = 	 {CICM10},
  note = {\url{http://arxiv.org/abs/1004.5071}}}

@comment{deprecated, use next entry.  Cross-refing the latter doesn't work as it would nest crossrefs.}
@InProceedings{Kohlhase:AVAofPPT,
	author = {Andrea Kohlhase},
	title = {{{MS PowerPoint}} Use from a Micro-Perspective},
        crossref = {EdMedia2008},
	pages = {1279--1286},
          keywords={conference},
	url = {http://go.editlib.org/p/28550}}

@inproceedings{Kohlhase:MathGenerationGap:2014,crossref={Kohlhase:mwsiggm14}}

@ARTICLE{KohKoh:SemTransformationOfSpshts,crossref={KohKoh:ssl11}}
@ARTICLE{KohKoh:ssl11,crossref={KohKoh:ssl13}}
@MISC{Kohlhase:omfmd05,crossref = {Kohlhase:OMDoc1.2}}
@UNPUBLISHED{mk06:omdocspec,crossref = {Kohlhase:OMDoc1.2}}

@MISC{CNX:web,crossref = {CNX:base},howpublished = {\webpageat\url{http://cnx.org}}, note = {\seen September  2009}}
@online{CNX:webpage,crossref = {CNX:base},month = jun,year = 2008}

@ARTICLE{BenBroKoh:hose05,crossref={BenBroKoh:hose04}}
@TECHREPORT{ags-2003-d-10,crossref={BenKohBro:hose03}}
@book{blabos:rainl98,crossref={BlaBos:rainl05}}


@inproceedings{Grossi:olat10,
 author = {Grossi, Davide},
 title = {On the Logic of Argumentation Theory},
 booktitle = {Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1 - Volume 1},
 series = {AAMAS '10},
 year = {2010},
 isbn = {978-0-9826571-1-9},
 location = {Toronto, Canada},
 pages = {409--416},
 numpages = {8},
 url = {http://dl.acm.org/citation.cfm?id=1838206.1838264},
 acmid = {1838264},
 publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
 address = {Richland, SC},
 keywords = {argumentation theory, modal logic}} 

@InProceedings{Grossi:avml,
author="Grossi, Davide",
editor="McBurney, Peter
and Rahwan, Iyad
and Parsons, Simon",
title="Argumentation in the View of Modal Logic",
booktitle="Argumentation in Multi-Agent Systems",
year="2011",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="190--208"}

@article{
CyFaSchuTo:abadep17,
title = {Assumption-based argumentation: Disputes, explanations, preferences},
journal = {IFCoLog Journal of Logics and Their Applications},
volume = {4},
number = {8},
pages = {2407-2456},
author = {Cyras, Kristijonas and Fan, Xiuyi and Schulz, Claudia and Toni, Francesca},
address = {},
publisher = {College Publications},
year = {2017}}

@online{ICCMA:webpage,
  title = {{International Competition on Computational Models of Argumentation}},
  author = {Matthias Thimm},
  url={http://argumentationcompetition.org},
  note = {Accessed: 2019-30-03}}

@inproceedings{CabrioVillata2018,
  title     = {Five Years of Argument Mining: a Data-driven Analysis},
  author    = {Elena Cabrio and Serena Villata},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-18}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  pages     = {5427--5433},
  year      = {2018},
  month     = {7},
  doi       = {10.24963/ijcai.2018/766},
  url       = {https://doi.org/10.24963/ijcai.2018/766}}

@article{
EemerenVerheij:atfcp,
title = {Argumentation Theory in Formal and Computational Perspective},
crossref = {ArgHandbook},
pages = {3-73},
author = {van Eemeren, Frans H and Verheij, Bart}}

@article{prakken2006formal,
  author       = {Prakken, Henry},
  title        = {Formal systems for persuasion dialogue},
  year         = 2006,
  volume       = 21,
  number       = 2,
  month        = {6},
  pages        = {163–188},
  issn         = {1469-8005},
  doi          = {10.1017/s0269888906000865},
  url          = {http://dx.doi.org/10.1017/s0269888906000865},
  journal      = {The Knowledge Engineering Review},
  publisher    = {Cambridge University Press (CUP)}}

@online{ProjectDebater:webpage,
  title = {Project Debater},
  url={https://www.research.ibm.com/artificial-intelligence/project-debater/},
  note = {Accessed: 2019-24-06}}

@article{reed2017argument,
  author       = {Reed, Chris and Budzynska, Katarzyna and Duthie,
                  Rory and Janier, Mathilde and Konat, Barbara and
                  Lawrence, John and Pease, Alison and Snaith, Mark},
  title        = {The Argument Web: an Online Ecosystem of Tools,
                  Systems and Services for Argumentation},
  year         = 2017,
  volume       = 30,
  number       = 2,
  month        = {5},
  pages        = {137–160},
  issn         = {2210-5441},
  doi          = {10.1007/s13347-017-0260-8},
  url          = {http://dx.doi.org/10.1007/s13347-017-0260-8},
  journal      = {Philosophy \& Technology},
  publisher    = {Springer Nature}}

@book{toulmin2003uses,
  title={The uses of argument},
  author={Toulmin, Stephen E},
  year={2003},
  publisher={Cambridge university press}}

@article{Macagno2017,
    author = {Macagno, Fabrizio and Walton, Douglas and Reed, Chris},
    journal = {IFCoLog Journal of Logics and Their Applications},
    number = {8},
    title = {{Argumentation Schemes. History, Classifications, and Computational Applications}},
    url = {http://dougwalton.ca/papers in pdf/17IFColog SCHEMES.pdf},
    volume = {4},
    year = {2017}}

@article{CHES_EVAR_2006,
  author       = {Chesñevar, Carlos and McGinnis, Jarred and Modgil, Sanjay
                  and Rahwan, Iyad and Reed, Chris and Simari,
                  Guillermo and South, Matthew and Vreeswijk, Gerard
                  and Willmott, Steven},
  title        = {Towards an Argument Interchange Format},
  year         = 2006,
  volume       = 21,
  number       = 04,
  month        = {12},
  pages        = 293,
  issn         = {1469-8005},
  doi          = {10.1017/s0269888906001044},
  url          = {http://dx.doi.org/10.1017/s0269888906001044},
  journal      = {The Knowledge Engineering Review},
  publisher    = {Cambridge University Press (CUP)}}

@article{Prakken2017,
    author = {Prakken, Henry},
    journal = {IFCoLog Journal of Logics and Their Applications},
    number = {8},
    pages = {2183--2262},
    title = {{Historical Overview of Formal Argumentation}},
    url = {http://www.cs.uu.nl/groups/IS/archive/henry/history.pdf},
    volume = {4},
    year = {2017}}

@article{
BesHunt:ArgBasedonDed,
title = {A Review of Argumentation based on Deductive Arguments},
crossref = {ArgHandbook},
pages = {437-484},
author = {Besnard, Philipp and Hunter, Anthony}}

@article{
Modgil2017RuleBasedA,
title = {Abstract Rule-Based Argumentation},
crossref = {ArgHandbook},
pages = {287-408},
author = {Modgil, Sanjay and Prakken, Henry}}

@article{Dung:2016,
 author = {Dung, Phan Minh},
 title = {An Axiomatic Analysis of Structured Argumentation with Priorities},
 journal = {Artif. Intell.},
 issue_date = {February 2016},
 volume = {231},
 number = {C},
 month = feb,
 year = {2016},
 issn = {0004-3702},
 pages = {107--150},
 numpages = {44},
 url = {https://doi.org/10.1016/j.artint.2015.10.005},
 doi = {10.1016/j.artint.2015.10.005},
 acmid = {2868410},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 keywords = {Argumentation, Normal form, Ordinary and normal attack relation assignments, Structured argumentation with priorities}}

@article{BONDARENKO:ArgDefault,
title = "An abstract, argumentation-theoretic approach to default reasoning",
journal = "Artificial Intelligence",
volume = "93",
number = "1",
pages = "63 - 101",
year = "1997",
issn = "0004-3702",
doi = "10.1016/S0004-3702(97)00015-5",
url = "http://www.sciencedirect.com/science/article/pii/S0004370297000155",
author = "A. Bondarenko and P.M. Dung and R.A. Kowalski and F. Toni",
keywords = "Default reasoning, Nonmonotonic reasoning, Abduction, Argumentation, Nonmonotonic logics, Default logic, Autoepistemic logic, Nonmonotonic modal logics, Circumscription, Logic programming, Theorist"}

@inproceedings{TintarevMasthoff:SurveyExpRec2007,
title = "A Survey of Explanations in Recommender Systems",
abstract = "This paper provides a comprehensive review of explanations in recommender systems. We highlight seven possible advantages of an explanation facility, and describe how existing measures can be used to evaluate the quality of explanations. Since explanations are not independent of the recommendation process, we consider how the ways recommendations are presented may affect explanations. Next, we look at different ways of interacting with explanations. The paper is illustrated with examples of explanations throughout, where possible from existing applications.",
keywords = "recommender systems, explanations",
author = "Nava Tintarev and Judith Masthoff",
year = "2007",
month = "12",
day = "10",
doi = "10.1109/ICDEW.2007.4401070",
language = "English",
isbn = "9781424408320",
pages = "801--810",
editor = "G. Uchyigit",
booktitle = "Data Engineering Workshop",
publisher = "IEEE Computer Society",
annotate = "Contains an influential and useful list of evaluation criteria for recommender systems"}

@inproceedings{RagoCocarascuToni:ArgRecExp,
  title     = {Argumentation-Based Recommendations: Fantastic Explanations and How to Find Them},
  author    = {Antonio Rago and Oana Cocarascu and Francesca Toni},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-18}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},             
  pages     = {1949--1955},
  year      = {2018},
  month     = {7},
  doi       = {10.24963/ijcai.2018/269},
  url       = {https://doi.org/10.24963/ijcai.2018/269},
  annotate  = {This paper used content-based arguments built on a semantic of Aspect-Item Graphs (e.g. (Item: Moulin Rouge, Aspects: (Nicole Kidman, Musical, ...)))}}

@online{IEEEStandard:LearningObject,
  title = {IEEE 1484.12.1-2002 -- IEEE Standard for Learning Object Metadata},
  url = {https://standards.ieee.org/standard/1484_12_1-2002.html#Standard},
  urldate = {2019-17-07}}

@INPROCEEDINGS{ChesnevarGabriela:ArgRecFirstApproach,
    author = {Carlos Ivan Chesñevar and Ana Gabriela},
    title = {A First Approach to Argument-based Recommender Systems Based on Defeasible Logic Programming},
    booktitle = {In Proc. 10th Intl. Workshop on Non-Monotonic Reasoning},
    year = {2004},
    pages = {109--117},
    annotate = {This is the first entry into a strand of research that attempts to apply defeasible logic programming argumentation to recommender systems}}

@inproceedings{ChesnevarMaguitmanGonzalez:empowering09recommenders,
  title={Empowering Recommendation Technologies Through Argumentation},
  author={Carlos Iv{\'a}n Ches{\~n}evar and Ana Gabriela Maguitman and Mar{\'i}a Paula Gonz{\'a}lez},
  booktitle={Argumentation in Artificial Intelligence},
  year={2009},
  annotate = {This is the second entry on argumentation-based recommender systems. It contains a discussion of the weaknesses of received recommender systems. The approach is to build DeLP-argumentation on top of a traditional content-based recommender. As such the content is shallow and the recommendations are similarity-based. Arguments simply support/attack an item's similarity score. Contains a worked example which can be used to demonstrate the difference between shallow and deep content.}}

@article{BriguezCapobiancoMaguitman:ArgRecTrust,
author = {Briguez, Cristian and Capobianco, Marcela and Maguitman, Ana},
year = {2013},
month = {08},
pages = {},
title = {A theoretical framework for trust-based news recommender systems and its implementation using defeasible argumentation},
volume = {22},
journal = {International Journal on Artificial Intelligence Tools},
doi = {10.1142/S0218213013500218},
annotate = {This paper applies the DeLP Argumentative Recommender System approach to assigning trust in news recommendation. Defeasible postulates on when a source is trustworthy are weighed against each other through argumentation. As usual in this approach the argumentative module works on top of more traditional recommender system.}}

@InProceedings{RodriguezHerasPalancaDuqueJulian:EdRecomArgHyb,
author="Rodr{\'i}guez, Paula
and Heras, Stella
and Palanca, Javier
and Duque, N{\'e}stor
and Juli{\'a}n, Vicente",
editor="Rovatsos, Michael
and Vouros, George
and Julian, Vicente",
title="Argumentation-Based Hybrid Recommender System for Recommending Learning Objects",
booktitle="Multi-Agent Systems and Agreement Technologies",
year="2016",
publisher="Springer International Publishing",
address="Cham",
pages="234--248",
abstract="Recommender Systems aim to provide users with search results close to their needs, making predictions of their preferences. In virtual learning environments, Educational Recommender Systems deliver learning objects according to the student's characteristics, preferences and learning needs. A learning object is an educational content unit, which once found and retrieved may assist students in their learning process. In previous work, authors have designed and evaluated several recommendation techniques for delivering the most appropriate learning object for each specific student. Also, they have combined these techniques by using hybridization methods, improving the performance of isolated techniques. However, traditional hybidization methods fail when the learning objects delivered by each recommendation technique are very different from those selected by the other techniques (there is no agreement about the best learning object to recommend). In this paper, we present a hybrid recommendation method based on argumentation theory that combines content-based, collaborative and knowledge-based recommendation techniques and provides the students with those objects for which the system is able to generate more arguments to justify their suitability. This method has been tested by using a database with real data about students and learning objects, getting promising results.",
isbn="978-3-319-33509-4",
annotate = "This is the first in a series of papers on a recommender system developed for a Colombian learning object database. The argumentative module is on top of a hyprid recommender system that uses content, collaborative an knowledge-based techniques. All of them shallow."}

@InProceedings{HerasRoriguezPalancaDuqueJulian:ArgRecStudents,
author="Heras, Stella
and Rodr{\'i}guez, Paula
and Palanca, Javier
and Duque, N{\'e}stor
and Juli{\'a}n, Vicente",
editor="de Vries, Peter W.
and Oinas-Kukkonen, Harri
and Siemons, Liseth
and Beerlage-de Jong, Nienke
and van Gemert-Pijnen, Lisette",
title="Using Argumentation to Persuade Students in an Educational Recommender System",
booktitle="Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="227--239",
abstract="This paper explores the use of argumentation-based recommendation techniques as persuasive technologies. Concretely, in this work we evaluate how arguments can be used as explanations to influence the behaviour of users towards the use of certain items. The proposed system has been implemented as an educational recommender system for the Federation of Learning Objects Repositories of Colombia that recommends learning objects for students taking into account students profile, preferences, and learning needs. Moreover, the persuasion capacity of the proposed system has been tested over a set of real students.",
isbn="978-3-319-55134-0",
annotate = "This paper gives a more detailed system description of the system from RodriguezHerasPalancaDuqueJulian:EdRecomArgHyb and evaluates it empirically using tests."}

@article{RapantaMacagno:ArginEducation,
title = "Argumentation methods in educational contexts: Introduction to the special issue",
journal = "International Journal of Educational Research",
volume = "79",
pages = "142 - 149",
year = "2016",
issn = "0883-0355",
doi = "10.1016/j.ijer.2016.03.006",
url = "http://www.sciencedirect.com/science/article/pii/S0883035516300271",
author = "Chrysi Rapanta and Fabrizio Macagno",
keywords = "Argumentation theory, Methods, Educational practice, Analysis, Assessment, Interdisciplinary studies",
abstract = "The relation between argumentation and education is currently attracting researchers’ attention from both argumentation theory and educational practice fields. Although much work has been done in the intersection between methods of analyzing and assessing arguments and their emergence in educational contexts, there is still a lack of clarity regarding how the philosophical and logical tradition can feed educational practice and vice versa. This introduction of the special issue on “Argumentation methods in educational contexts” is aimed at explaining the need for more systematic discussions between the two sub-fields. The paper concludes with an overview of the five articles that form part of this special issue, which separately represent directions for future research in the field of argument in education.",
annotate = "This is a short survey of argumentation in educational contexts that is useful for its bibliography. Good to cite in introductions."}

@book{DaveyChesters:SocClass,
author = {Davey Chesters, S},
year = {2012},
month = {01},
pages = {1-185},
title = {The Socratic classroom: Reflective thinking through collaborative inquiry},
publisher = {Springer International Publishing},
doi = {10.1007/978-94-6091-855-1},
annotate = "Book that serves as a general reference for the socratic method in education"}

@book{SaranNeisser:EnqMinds,
  title = {Enquiring Minds Socratic Dialogue in Education},
  year = {2004},
  author = {Rene Saran and Barbara Neisser},
  publisher = {Trentham Books},
  annotate = "Another general reference for the Socratic method in education."}

@book{Birnbacher:SokGesp,
  title={Das sokratische Gespr{\"a}ch},
  author={Birnbacher, D. and Krohn, D.},
  isbn={9783150182307},
  lccn={2004364628},
  series={Reclams Universal-Bibliothek},
  year={2002},
  publisher={Reclam},
  annotate={Reference (in German) on the teaching method of Socreatic conversation}}

@article{YuVarmaIterDeSaRe:SocLearn,
  author    = {Rose Yu and
               Paroma Varma and
               Dan Iter and
               Christopher De Sa and
               Christopher R{\'{e}}},
  title     = {Socratic Learning},
  journal   = {CoRR},
  volume    = {abs/1610.08123},
  year      = {2016},
  url       = {http://arxiv.org/abs/1610.08123},
  archivePrefix = {arXiv},
  eprint    = {1610.08123},
  timestamp = {Mon, 13 Aug 2018 16:49:01 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/YuVISR16},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  annotate = {This is an interesting (and possibly argumentation-related) paper that integrates generative and discriminitative machine learning models by correcting the former with information from the latter about the importance of individual features in a dialogical setting (hence Socratic)}}

@article{BediVashisth:ArgInterest,
author = {Punam Bedi and Pooja Vashisth},
title = {Argumentation-enabled interest-based personalised recommender system},
journal = {Journal of Experimental \& Theoretical Artificial Intelligence},
volume = {27},
number = {2},
pages = {199-226},
year  = {2015},
publisher = {Taylor & Francis},
doi = {10.1080/0952813X.2014.924586},
URL = {https://doi.org/10.1080/0952813X.2014.924586},
annotate = {As far as I know the only argumentation-based recommender that goes beyond the on-top/internal approach by offering argumentative interaction with the user. For this purpose a logic to infer trust relations and beliefs from user arguments is developed. An comparative evaluation of the system using bots and human users is also undertaken.}}

@article{TezeGottifrediGarciaSimari:ArgRecommendationContext,
title = "Improving argumentation-based recommender systems through context-adaptable selection criteria",
journal = "Expert Systems with Applications",
volume = "42",
number = "21",
pages = "8243 - 8258",
year = "2015",
issn = "0957-4174",
doi = "10.1016/j.eswa.2015.06.048",
url = "http://www.sciencedirect.com/science/article/pii/S0957417415004509",
author = "Juan C.L. Teze and Sebastian Gottifredi and Alejandro J. García and Guillermo R. Simari",
keywords = "Reasoning server, Argumentation system, Multiple preference criteria, Criterion selection",
annotate = "An attempt to allow context (and/or users) to influence the argumentation mechanism by adapting the defeat relation to the context (e.g. among rental cars a arguments for cabrios defeat vans when the sun shines but not when it rains...)"}

@inproceedings{CabrioVillata2018:FiveYearsArgMining,
  title     = {Five Years of Argument Mining: a Data-driven Analysis},
  author    = {Elena Cabrio and Serena Villata},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-18}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  pages     = {5427--5433},
  year      = {2018},
  month     = {7},
  doi       = {10.24963/ijcai.2018/766},
  url       = {https://doi.org/10.24963/ijcai.2018/766},
  annotate  = {Recent, short survey of argumentation mining. Gives a description of the Argumentation Mining Pipeline and focusses on Datasets.}}

@article{Wakaki2017:ABAPref,
author = {Wakaki, Toshiko},
title = {Assumption-Based Argumentation Equipped with Preferences and its Application to Decision Making, Practical Reasoning, and Epistemic Reasoning},
journal = {Computational Intelligence},
volume = {33},
number = {4},
pages = {706-736},
keywords = {assumption-based argumentation, preferences, decision making, practical reasoning, epistemic reasoning},
doi = {10.1111/coin.12111},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1111/coin.12111},
eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1111/coin.12111},
year = {2017}}

@book{WaltonReedMacagno2008:ArgSchemes,
 place={Cambridge},
 title={Argumentation Schemes},
 DOI={10.1017/CBO9780511802034},
 publisher={Cambridge University Press},
 author={Walton, Douglas and Reed, Christopher and Macagno, Fabrizio},
 year={2008},
 annotate = {Primary reference for the Walton schemes. Chapter 9 contains a compendium of argumentation schemes.}}

@book{Lakatos:ProofsRefutations,
 place={Cambridge},
 series={Cambridge Philosophy Classics},
 title={Proofs and Refutations: The Logic of Mathematical Discovery},
 DOI={10.1017/CBO9781316286425},
 publisher={Cambridge University Press},
 author={Lakatos, Imre},
 editor={Worrall, John and Zahar, ElieEditors},
 year={2015},
 collection={Cambridge Philosophy Classics},
 annotate={New edition.}}

@book{Polya2014:HowtoSolveIt,
  title={How to Solve It: A New Aspect of Mathematical Method},
  author={Polya, G. and Conway, J.H.},
  isbn={9781400828678},
  series={Princeton Science Library},
  url={https://books.google.de/books?id=X3xsgXjTGgoC},
  year={2014},
  publisher={Princeton University Press},
  annotate = {New edition. Besides being generally a great introductory book, this one contains a collection of heuristics/schemes for proofs.}}

@online{Tweety,
  author = {Thimm, Matthias},
  title = {{TweetyProject: A comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation}},
  url = {http://tweetyproject.org/},
  year = {2019}}

@inproceedings{jargsemsat,
 author = {Cerutti, Federico and Vallati, Mauro and Giacomin, Massimiliano},
 title = {jArgSemSAT: An Efficient Off-the-shelf Solver for Abstract Argumentation Frameworks},
 booktitle = {Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning},
 series = {KR'16},
 year = {2016},
 pages = {541--544},
 publisher = {AAAI Press}}

@article{CeruttiGagglThimmWallner2017:ImplArg,
  author    = {Federico Cerutti and Sarah Alice Gaggl and Matthias Thimm and
               Johannes Peter Wallner},
  title     = {Foundations of Implementations for Formal Argumentation},
  journal   = {The {IfCoLog} Journal of Logics and their Applications; Special
               Issue Formal Argumentation},
  volume    = {4},
  publisher = {College Publications},
  year      = {2017},
  month     = {September},
  pages     = {2623-2705},
  annotate = {Provides the most comprehensive review of argumentation framework implementations I have seen so far. Invaluable resource for writing a state-of-the-art on the topic}}

@article{SimilarityHeuristic,
author = {Read, Daniel and Grushka-Cockayne, Yael},
year = {2007},
month = {01},
pages = {23 - 46},
title = {The Similarity Heuristic},
volume = {24},
journal = {Journal of Behavioral Decision Making},
doi = {10.1002/bdm.679},
annotate = {Gives an overview of the similarity heuristic, a cognitive mechanism mirrored by current similarity-based recommender systems.}}


@article{OrejasPinoEhrig1997:InstitutionsLogicProgramming,
  title={Institutions for Logic Programming},
  author={Fernando Orejas and Elvira Pino and Hartmut Ehrig},
  journal={Theor. Comput. Sci.},
  year={1997},
  volume={173},
  pages={485-511},
  annotate = {First paper on institution theory for logic programming. Mentions normal logic programs as open problem.}}

@inproceedings{SowaMajumdar2003:AnalogicalReasoning,
  title={Analogical reasoning},
  author={Sowa, John F and Majumdar, Arun K},
  booktitle={International Conference on Conceptual Structures},
  pages={16--36},
  year={2003},
  organization={Springer}
}

@article{ForbusetAl17:ExtendingSMEtoScale,
author = {Forbus, Kenneth D. and Ferguson, Ronald W. and Lovett, Andrew and Gentner, Dedre},
title = {Extending SME to Handle Large-Scale Cognitive Modeling},
journal = {Cognitive Science},
volume = {41},
number = {5},
pages = {1152-1201},
keywords = {Analogy, Cognitive simulation, Symbolic modeling, Similarity, Analogical reasoning, Analogical learning, Artificial intelligence, Cognitive psychology},
doi = {10.1111/cogs.12377},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1111/cogs.12377},
eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1111/cogs.12377},
abstract = {Abstract Analogy and similarity are central phenomena in human cognition, involved in processes ranging from visual perception to conceptual change. To capture this centrality requires that a model of comparison must be able to integrate with other processes and handle the size and complexity of the representations required by the tasks being modeled. This paper describes extensions to Structure-Mapping Engine (SME) since its inception in 1986 that have increased its scope of operation. We first review the basic SME algorithm, describe psychological evidence for SME as a process model, and summarize its role in simulating similarity-based retrieval and generalization. Then we describe five techniques now incorporated into the SME that have enabled it to tackle large-scale modeling tasks: (a) Greedy merging rapidly constructs one or more best interpretations of a match in polynomial time: O(n2log(n)); (b) Incremental operation enables mappings to be extended as new information is retrieved or derived about the base or target, to model situations where information in a task is updated over time; (c) Ubiquitous predicates model the varying degrees to which items may suggest alignment; (d) Structural evaluation of analogical inferences models aspects of plausibility judgments; (e) Match filters enable large-scale task models to communicate constraints to SME to influence the mapping process. We illustrate via examples from published studies how these enable it to capture a broader range of psychological phenomena than before.},
year = {2017}
}

@article{Gentner83:StructureMapping,
title = "Structure-mapping: A theoretical framework for analogy",
journal = "Cognitive Science",
volume = "7",
number = "2",
pages = "155 - 170",
year = "1983",
issn = "0364-0213",
doi = "https://doi.org/10.1016/S0364-0213(83)80009-3",
url = "http://www.sciencedirect.com/science/article/pii/S0364021383800093",
author = "Dedre Gentner",
abstract = "A theory of analogy must describe how the meaning of an analogy is derived from the meanings of its parts. In the structure-mapping theory, the interpretation rules are characterized as implicit rules for mapping knowledge about a base domain into a target domain. Two important features of the theory are (a) the rules depend only on syntactic properties of the knowledge representation, and not on the specific content of the domains; and (b) the theoretical framework allows analogies to be distinguished cleanly from literal similarity statements, applications of abstractions, and other kinds of comparisons. Two mapping principles are described: (a) Relations between objects, rather than attributes of objects, are mapped from base to target; and (b) The particular relations mapped are determined by systematicity, as defined by the existence of higher-order relations."
}

@InCollection{Stanford:Analogy,
	author       =	{Bartha, Paul},
	title        =	{Analogy and Analogical Reasoning},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{https://plato.stanford.edu/archives/spr2019/entries/reasoning-analogy/}},
	year         =	{2019},
	edition      =	{Spring 2019},
	publisher    =	{Metaphysics Research Lab, Stanford University}
}

@article{FalkenhainerForbusGentner89:SME,
title = "The structure-mapping engine: Algorithm and examples",
journal = "Artificial Intelligence",
volume = "41",
number = "1",
pages = "1 - 63",
year = "1989",
issn = "0004-3702",
doi = "https://doi.org/10.1016/0004-3702(89)90077-5",
url = "http://www.sciencedirect.com/science/article/pii/0004370289900775",
author = "Brian Falkenhainer and Kenneth D. Forbus and Dedre Gentner",
abstract = "This paper describes the structure-mapping engine (SME), a program for studying analogical processing. SME has been built to explore Gentner's structure-mapping theory of analogy, and provides a “tool kit” for constructing matching algorithms consistent with this theory. Its flexibility enhances cognitive simulation studies by simplifying experimentation. Furthermore, SME is very efficient, making it a useful component in machine learning systems as well. We review the structure-mapping theory and describe the design of the engine. We analyze the complexity of the algorithm, and demonstrate that most of the steps are polynomial, typically bounded by O(N2). Next we demonstrate some examples of its operation taken from our cognitive simulation studies and work in machine learning. Finally, we compare SME to other analogy programs and discuss several areas for future work."
}

@book{Hesse66:Analogies,
  title={Models and Analogies in Science},
  author={Hesse, Mary.B.},
  year={1966},
  publisher={University of Notre Dame Press}
}

@online{Norton:MaterialInduction,
  author = {Norton, John D.},
  title = {The Material Theory of Induction},
  url = {http://www.pitt.edu/~jdnorton/papers/material_theory/Material_Induction_Apr_24_2020.pdf},
  year = {2020},
}

@article{Schlimm08:AnalogyMath,
 URL = {https://www.jstor.org/stable/10.1086/590198},
 abstract = {The structure‐mapping theory has become the de facto standard account of analogies in cognitive science and philosophy of science. In this paper I propose a distinction between two kinds of domains and I show how the account of analogies based on structure‐preserving mappings fails in certain (object‐rich) domains, which are very common in mathematics, and how the axiomatic approach to analogies, which is based on a common linguistic description of the analogs in terms of laws or axioms, can be used successfully to explicate analogies of this kind. Thus, the two accounts of analogies should be regarded as complementary, since each of them is adequate for explicating analogies that are drawn between different kinds of domains. In addition, I illustrate how the account of analogies based on axioms has also considerable practical advantages, for example, for the discovery of new analogies.},
 author = {Dirk Schlimm},
 journal = {Philosophy of Science},
 number = {2},
 pages = {178--200},
 publisher = {[The University of Chicago Press, Philosophy of Science Association]},
 title = {Two Ways of Analogy: Extending the Study of Analogies to Mathematical Domains},
 volume = {75},
 year = {2008}
}

@article{HoloyakThagard89:AnalogyConstraintSat,
title = "Analogical mapping by constraint satisfaction",
journal = "Cognitive Science",
volume = "13",
number = "3",
pages = "295 - 355",
year = "1989",
url = "http://www.sciencedirect.com/science/article/pii/0364021389900165",
author = "Keith J. Holyoak and Paul Thagard",
abstract = "A theory of analogical mapping between source and target analogs based upon interacting structural, semantic, and pragmatic constraints is proposed here. The structural constraint of isomorphism encourages mappings that maximize the consistency of relational corresondences between the elements of the two analogs. The constraint of semantic similarity supports mapping hypotheses to the degree that mapped predicates have similar meanings. The constraint of pragmatic centrality favors mappings involving elements the analogist believes to be important in order to achieve the purpose for which the analogy is being used. The theory is implemented in a computer program called ACME (Analogical Constraint Mapping Engine), which represents constraints by means of a network of supporting and competing hypotheses regarding what elements to map. A cooperative algorithm for parallel constraint satisfaction identities mapping hypotheses that collectively represent the overall mapping that best fits the interacting constraints. ACME has been applied to a wide range of examples that include problem analogies, analogical arguments, explanatory analogies, story analogies, formal analogies, and metaphors. ACME is sensitive to semantic and pragmatic information if it is available, and yet able to compute mappings between formally isomorphic analogs without any similar or identical elements. The theory is able to account for empirical findings regarding the impact of consistency and similarity on human processing of analogies."
}

@book{mitchell93:AnalogyPerception,
  title={Analogy-making as perception: A computer model},
  author={Mitchell, Melanie},
  year={1993},
  publisher={Mit Press}
}

@article{ChalmerFrenchHofstadter92:CritiqueofSME,
author = { DAVID J.   CHALMERS  and  ROBERT M.   FRENCH  and  DOUGLAS R.   HOFSTADTER },
title = {High-level perception, representation, and analogy: A critique of artificial intelligence methodology},
journal = {Journal of Experimental \& Theoretical Artificial Intelligence},
volume = {4},
number = {3},
pages = {185-211},
year  = {1992},
publisher = {Taylor & Francis}
}

@article{HummelHoloyak2003:LISA,
  title={A symbolic-connectionist theory of relational inference and generalization.},
  author={John E. Hummel and Keith J. Holyoak},
  journal={Psychological review},
  year={2003},
  volume={110 2},
  pages={220-64}
}

@article{CervesatoPfenning:LinearLogicalFramework,
author = {Cervesato, Iliano and Pfenning, Frank},
year = {2002},
month = {11},
pages = {19-75},
title = {A Linear Logical Framework},
volume = {179},
journal = {Information and Computation},
doi = {10.1006/inco.2001.2951}
}

@article{KrausePaulAmbler:LogicOfArgumentation,
author = {Krause, Paul and Ambler, Simon and Elvang-Goransson, Morten and Fox, John},
title = {A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY},
journal = {Computational Intelligence},
volume = {11},
number = {1},
pages = {113-131},
keywords = {uncertain reasoning, epistemic probability, argumentation, nonclassical logics, nonmonotonic reasoning},
doi = {https://doi.org/10.1111/j.1467-8640.1995.tb00025.x},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1467-8640.1995.tb00025.x},
eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1111/j.1467-8640.1995.tb00025.x},
abstract = {We present the syntax and proof theory of a logic of argumentation, LA. We also outline the development of a category theoretic semantics for LA. LA is the core of a proof theoretic model for reasoning under uncertainty. In this logic, propositions are labeled with a representation of the arguments which support their validity. Arguments may then be aggregated to collect more information about the potential validity of the propositions of interest. We make the notion of aggregation primitive to the logic, and then define strength mappings from sets of arguments to one of a number of possible dictionaries. This provides a uniform framework which incorporates a number of numerical and symbolic techniques for assigning subjective confidences to propositions on the basis of their supporting arguments. These aggregation techniques are also described with examples.},
year = {1995}
}

@article{Ambler1996:CategoricalSemanticsArgumentation,
title={A categorical approach to the semantics of argumentation},
volume={6},
DOI={10.1017/S0960129500000931},
number={2},
journal={Mathematical Structures in Computer Science},
publisher={Cambridge University Press},
author={Ambler, Simon},
year={1996},
pages={167–188}
}

@article{BenchCapon:NeedGOFAIL,
title={The Need for Good Old Fashioned AI and Law},
DOI={10.38023/cefe7081-e6dd-49de-9592-9adbb6063fd6},
journal={Jusletter IT},
number={21},
publisher={Editions Weblaw},
author={Bench-Capon, Trevor},
year={2020}
}


@InProceedings{BockSchuerMann:CLF,
author="Bock, Peter Brottveit
and Sch{\"u}rmann, Carsten",
editor="Davis, Martin
and Fehnker, Ansgar
and McIver, Annabelle
and Voronkov, Andrei",
title="A Contextual Logical Framework",
booktitle="Logic for Programming, Artificial Intelligence, and Reasoning",
year="2015",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="402--417",
abstract="A new logical framework with explicit linear contexts and names is presented with the purpose of enabling direct and flexible manipulation of contexts, both for representing systems and meta-properties. The framework is a conservative extension of the logical framework LF, and builds on linear logic and contextual modal type theory. We prove that the framework admits canonical forms, and that it possesses all desirable meta-theoretic properties, in particular hereditary substitutions.",
isbn="978-3-662-48899-7"
}

@inproceedings{BenzuellerFuenmayor:ValLegArgIsa,
  Author =	 {Benzm\"uller, Christoph and Fuenmayor, David},
  Editor =      {Liron Cohen and Cezary Kaliszyk},
  OPTdoi =          {10.13140/RG.2.2.21514.80320},
  Title =	 {Value-oriented Legal Argumentation in Isabelle/HOL},
  Booktitle =    {International Conference on Interactive Theorem Proving (ITP), Proceedings},
  series =       {LIPIcs},
  volume =    {193},
  publisher =    {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  Year =	 2021,
}

@article{Dung:1995,
  Author =	 {P.M. Dung},
  Journal =	 {Artificial Intelligence},
  Number =	 {2},
  Pages =	 {321-358},
  Title =	 {On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games},
  Volume =	 {77},
  Year =	 {1995}}

@techreport{KohAmb:smmssl:ctan,crossref={KohAmb:smmssl:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url = {http://www.ctan.org/get/macros/latex/contrib/stex/modules/modules.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{KohAmb:smmssl:git,crossref={KohAmb:smmssl:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/modules/modules.pdf}}
@techreport{KohAmb:smmssl:base,
  author = {Michael Kohlhase and Deyan Ginev and Rares Ambrus},
  title = {{\texttt{modules.sty}}: Semantic Macros and Module Scoping in {sTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{ZhaKoh:pus:ctan,crossref={ZhaKoh:pus:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url = {http://www.ctan.org/get/macros/latex/contrib/stex/pathsuris/pathsuris.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{ZhaKoh:pus:git,crossref={KohAmb:smmssl:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/pathsuris/pathsuris.pdf}}
@techreport{ZhaKoh:pus:base,
  author = {Jinbo Zhang and Michael Kohlhase},
  title = {\texttt{pathsuris.sty}: Paths and URIs for s\TeX},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{KohGin:smss:ctan,crossref={KohGin:smss:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url = {http://www.ctan.org/get/macros/latex/contrib/stex/smultiling/smultiling.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{KohGin:smss:git,crossref={KohGin:smss:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/smultiling/smultiling.pdf}}
@techreport{KohGin:smss:base,
  author = {Michael Kohlhase and Deyan Ginev},
  title = {{\texttt{smultiling.sty}}: Multilinguality Support for {sTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:svs:ctan,crossref={Kohlhase:svs:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url = {http://www.ctan.org/get/macros/latex/contrib/stex/structview/structview.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:svs:git,crossref={Kohlhase:svs:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/structview/structview.pdf}}
@techreport{Kohlhase:svs:base,
  author = {Michael Kohlhase},
  title = {{\texttt{structview.sty}}: Structures and Views in s\TeX},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{KohGin:sitd:ctan,crossref={Kohlhase:sitd:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url = {http://www.ctan.org/get/macros/latex/contrib/stex/tikzinput/tikzinput.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{KohGin:sitd:git,crossref={Kohlhase:sitd:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/tikzinput/tikzinput.pdf}}
@techreport{Kohlhase:sitd:base,
  author = {Michael Kohlhase},
  title = {\texttt{tikzinput}: Selective Input of TIKZ Diagrams},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:ipsmsl:ctan,crossref={Kohlhase:ipsmsl:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  pubs = {mkohlhase,dginev,sTeX},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/presentation/presentation.pdf}}
@techreport{Kohlhase:ipsmsl:git,crossref={Kohlhase:ipsmsl:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/presentation/presentation.pdf}}
@techreport{Kohlhase:ipsmsl:base,
  author =   {Michael Kohlhase and Deyan Ginev},
  title =    {\texttt{presentation.sty}: An Infrastructure for Presenting Semantic Macros in {sTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:cmath:ctan,crossref={Kohlhase:cmath:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/cmath/cmath.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:cmath:git,crossref={Kohlhase:cmath:base},
  url =   {https://github.com/sLaTeX/sTeX/raw/master/sty/cmath/cmath.pdf}}
@techreport{Kohlhase:cmath:base,
  author =   {Michael Kohlhase},
  title =    {{\texttt{cmath.sty}}: An Infrastructure for building Inline Content Math in
 {sTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear,
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/cmath/cmath.pdf}}


@techreport{Kohlhase:smp:ctan,crossref={Kohlhase:smp:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/sproof/sproof.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:smp:git,crossref={Kohlhase:smp:base},
  url =   {https://github.com/sLaTeX/sTeX/raw/master/sty/sproof/sproof.pdf}}
@techreport{Kohlhase:smp:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{sproof.sty}: Structural Markup for Proofs},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear,
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/sproof/sproof.pdf}}

@techreport{Kohlhase:mikoslides:ctan,crossref={Kohlhase:mikoslides:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/mikoslides/mikoslides.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:mikoslides:git,crossref={Kohlhase:mikoslides:base},
  url =   {https://github.com/sLaTeX/sTeX/raw/master/sty/mikoslides/mikoslides.pdf}}
@techreport{Kohlhase:mikoslides:base,
  author =   {Michael Kohlhase},
  title =    {Slides and Course Notes},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear,
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/mikoslides/mikoslides.pdf}}

@techreport{Kohlhase:reqdoc:ctan,crossref={Kohlhase:reqdoc:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/reqdoc/reqdoc.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:reqdoc:git,
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/reqdoc/reqdoc.pdf}}
@techreport{Kohlhase:reqdoc:base,
  author =   {Michael Kohlhase},
  title =    {{\texttt{reqdoc.sty}}: Semantic Markup for Requirements Specification Documents},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:physml:ctan,crossref={Kohlhase:physml:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/physml/physml.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:physml:git,crossref={Kohlhase:physml:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/physml/physml.pdf}}
@techreport{Kohlhase:physml:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{physml.sty}: An Infrastructure for Marking Up {PhysML} in {\TeX/\LaTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:dcm:ctan,crossref={Kohlhase:dcm:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/dcm/dcm.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:dcm:git,crossref={Kohlhase:dcm:base},
  url =   {https://github.com/sLaTeX/sTeX/raw/master/sty/stex/dcm/dcm.pdf}}
@techreport{Kohlhase:dcm:base,
  author =   {Michael Kohlhase},
  title =    {{\texttt{dcm.sty}}: An Infrastructure for marking up {Dublin Core} Metadata in {\LaTeX}  documents},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:workaddress:ctan,crossref={Kohlhase:workaddress:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/workaddress/workaddress.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:workaddress:git,crossref={Kohlhase:workaddress:base},
  url =   {https://github.com/sLaTeX/sTeX/raw/master/sty/stex/workaddress/workaddress.pdf}}
@techreport{Kohlhase:workaddress:base,
  author =   {Michael Kohlhase},
  title =    {{\texttt{workaddress.sty}}: An Infrastructure for marking up {Dublin Core} Metadata in {\LaTeX}  documents},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}


@techreport{Kohlhase:hwexam:ctan,crossref={Kohlhase:hwexam:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/hwexam/hwexam.pdf},
  pubs = {mkohlhase,sTeX}}
@misc{Kohlhase:hwexam:git,crossref={Kohlhase:hwexam:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/hwexam/hwexam.pdf}}
@techreport{Kohlhase:hwexam:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{hwexam.sty/cls}: An Infrastructure for formatting Assignments and
                  Exams},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}


@techreport{Kohlhase:problem:ctan,crossref={Kohlhase:problem:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/problem/problem.pdf},
  pubs = {mkohlhase,sTeX}}
@misc{Kohlhase:problem:git,crossref={Kohlhase:problem:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/problem/problem.pdf}}
@techreport{Kohlhase:problem:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{problem.sty}: An Infrastructure for formatting Problems},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}


@techreport{Kohlhase:sref:ctan,crossref={Kohlhase:sref:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/sref/sref.pdf},
  pubs = {mkohlhase,sTeX}}
@misc{Kohlhase:sref:git,crossref={Kohlhase:sref:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/sref/sref.pdf}}
@techreport{Kohlhase:sref:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{sref.sty}: Semantic Crossreferencing in {\LaTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}


@techreport{Kohlhase:metakeys:ctan,crossref={Kohlhase:metakeys:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/metakeys/metakeys.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:metakeys:git,crossref={Kohlhase:metakeys:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/metakeys/metakeys.pdf}}
@techreport{Kohlhase:metakeys:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{metakeys.sty}: A generic framework for extensible Metadata in {\LaTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}


@techreport{Kohlhase:rdfmeta:ctan,crossref = {Kohlhase:rdfmeta:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/rdfmeta/rdfmeta.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:rdfmeta:git,crossref = {Kohlhase:rdfmeta:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/rdfmeta/rdfmeta.pdf}}
@techreport{Kohlhase:rdfmeta:base,
  author =   {Michael Kohlhase},
  title =    {{RDFa} Metadata in {\LaTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:owl2onto:ctan,crossref = {Kohlhase:owl2onto:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/owl2onto/owl2onto.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:owl2onto:git,crossref = {Kohlhase:owl2onto:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/owl2onto/owl2onto.pdf}}
@techreport{Kohlhase:owl2onto:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{owl2onto.cls}: Marking up {OWL2} Ontologies in {sTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}


@techreport{Kohlhase:smms:ctan,crossref={Kohlhase:smms:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/statements/statements.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:smms:git,crossref={Kohlhase:smms:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/statements/statements.pdf}}
@techreport{Kohlhase:smms:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{statements.sty}: Structural Markup for Mathematical Statements},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:tbscml:ctan,crossref={Kohlhase:tbscml:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/cmathml/cmathml.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:tbscml:git,crossref={Kohlhase:tbscml:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/cmathml/cmathml.pdf}}
@misc{Kohlhase:tbscml:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{cmathml.sty}: A {\TeX/\LaTeX}-based Syntax for Content {MathML}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}


@techreport{Kohlhase:clbscm:ctan,crossref={Kohlhase:clbscm:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/cnx/cnx.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:clbscm:git,crossref={Kohlhase:clbscm:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/cnx/cnx.pdf}}
@techreport{Kohlhase:clbscm:base,
  author =   {Michael Kohlhase},
  title =    {{CNX{\LaTeX}}: A {\LaTeX}-based Syntax for {Connexions} Modules},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:smomdl:ctan,crossref={Kohlhase:smomdl:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/omdoc/omdoc.pdf},
  pubs = {mkohlhase,sTeX,omdoc}}
@techreport{Kohlhase:smomdl:git,crossref={Kohlhase:smomdl:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/omdoc/omdoc.pdf}}
@techreport{Kohlhase:smomdl:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{omdoc.sty/cls}: Semantic Markup for Open Mathematical Documents in {\LaTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:mss:ctan,crossref={Kohlhase:mss:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/mathhub/mathhub.pdf},
  pubs = {mkohlhase,sTeX,omdoc}}
@techreport{Kohlhase:mss:git,crossref={Kohlhase:mss:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/mathhub/mathhub.pdf}}
@techreport{Kohlhase:mss:base,
  author =   {Michael Kohlhase},
  title =    {MathHub Support for s\TeX},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:smmtf:ctan,crossref={Kohlhase:smmtf:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://mirror.ctan.org/macros/latex/contrib/stex/sty/omtext/omtext.pdf},
  pubs = {mkohlhase,sTeX,omdoc}}
@techreport{Kohlhase:smmtf:git,crossref={Kohlhase:smmtf:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/omtext/omtext.pdf}}
@techreport{Kohlhase:smmtf:base,
  author =   {Michael Kohlhase},
  title =    {\texttt{omtext}: Semantic Markup for Mathematical Text Fragments in {\LaTeX}},
  type =     {Self-documenting {\LaTeX} package},
  year = stexyear}

@techreport{Kohlhase:ssmtl:ctan,crossref={Kohlhase:ssmtl:base},
  institution = {Comprehensive {\TeX} Archive Network (CTAN)},
  url =   {http://www.ctan.org/get/macros/latex/contrib/stex/sty/stex.pdf},
  pubs = {mkohlhase,sTeX}}
@techreport{Kohlhase:ssmtl:git,crossref={Kohlhase:ssmtl:base},
  url = {https://github.com/sLaTeX/sTeX/raw/master/sty/stex.pdf}}
@techreport{Kohlhase:ssmtl:base,
  key = {sTeX},
  author =   {Michael Kohlhase},
  title =    {{sTeX}: Semantic Markup  in {\TeX/\LaTeX}},
  year = stexyear}