org/arxana-redux-refs.bib

   1 @inproceedings{corneli2005scholia,
   2 title={A Scholia-based Document Model for Commons-based Peer Production},
   3 author={J. Corneli and A. Krowne},
   4 booktitle={Free Culture and the Digital Library Symposium Proceedings},
   5 address={Atlanta, Georgia},
   6 editor={M. Halbert},
   7 publisher={MetaScholar Initiative at Emory University},
   8 pages={240--253},
   9 year={2005},
  10 url={http://metameso.org/~joe/docs/sbdm.html},
  11 keywords = {scholia, commons-based peer production}
  12 }
  13
  14 @inproceedings{budzynska2014model,
  15   author    = {Katarzyna Budzynska and
  16                Mathilde Janier and
  17                Chris Reed and
  18                Patrick Saint{-}Dizier and
  19                Manfred Stede and
  20                Olena Yaskorska},
  21   title     = {A Model for Processing Illocutionary Structures and Argumentation in Debates},
  22   booktitle = {Proceedings of the Ninth International Conference on Language Resources
  23                and Evaluation (LREC-2014), Reykjavik, Iceland, May 26-31, 2014.},
  24   pages     = {917--924},
  25   year      = {2014},
  26   url       = {http://www.lrec-conf.org/proceedings/lrec2014/summaries/77.html},
  27   timestamp = {Fri, 26 Sep 2014 08:11:49 +0200},
  28   biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lrec/BudzynskaJRSSy14},
  29   bibsource = {dblp computer science bibliography, http://dblp.org},
  30   keywords = {inference anchoring theory, IAT}
  31 }
  32
  33 @misc{corneli2017qand,
  34 title={Towards mathematical {AI} via a model of the content and process of mathematical dialogues},
  35 author={Joseph Corneli and Ursula Martin and Dave Murray-Rust and Alison Pease},
  36 howpublished={Submitted to: \emph{Conferences on Intelligent Computer Mathematics 2017}},
  37   keywords = {knowledge representation and reasoning, IATC}
  38 }
  39
  40 @article{benkler2002coase,
  41   title={Coase's {Penguin}, or, {Linux} and {``}{The} {Nature} of the {Firm}{''}},
  42   author={Benkler, Yochai},
  43   journal={Yale Law Journal},
  44   pages={369--446},
  45   year={2002},
  46   publisher={JSTOR},
  47   keywords = {commons-based peer production}
  48 }
  49
  50
  51 @article{krowne2003building,
  52   title={Building a digital library the commons-based peer production way},
  53   author={Krowne, Aaron},
  54   journal={D-Lib magazine},
  55   volume={9},
  56   number={10},
  57   year={2003},
  58   keywords = {commons-based peer production, digital libraries}
  59 }
  60
  61 @book{nelson1981literary,
  62         author = {Nelson, T.H.},
  63         title = {{L}iterary {M}achines: {T}he report on, and of, {P}roject {X}anadu concerning word processing, electronic publishing, hypertext, thinkertoys, tomorrow's intellectual revolution, and certain other topics including knowledge, education and freedom},
  64         publisher = {Sausalito, California: Mindful Press},
  65         year = {1981},
  66         keywords = {hypertext, knowledge}
  67 }
  68
  69 @article{pease2017lakatos,
  70 author = {Alison Pease and John Lawrence and Katarzyna Budzynska and Joseph Corneli and Chris Reed},
  71 title = {Lakatos-style Collaborative Mathematics through Dialectical, Structured and Abstract Argumentation},
  72 journal = {Artificial Intelligence},
  73 volume = {246},
  74 pages = {181--219},
  75 year = {2017},
  76 month={May},
  77 addendum = {{\textbf{CORE: A*}}},
  78 keywords = {argumentation, mathematics}
  79 }
  80
  81 @inproceedings{kaliszyk2014developing,
  82   title={Developing corpus-based translation methods between informal and formal mathematics},
  83   author={Kaliszyk, Cezary and Urban, Josef and Vysko{\v{c}}il, Ji{\v{r}}{\'\i} and Geuvers, Herman},
  84   booktitle={International Conference on Intelligent Computer Mathematics},
  85   pages={435--439},
  86   year={2014},
  87   organization={Springer},
  88   url={http://cl-informatik.uibk.ac.at/cek/docs/14/ckjujvhg-cicm14-poster.pdf},
  89   keywords = {corpus-based translation}
  90 }
  91
  92 @misc{kaliszyk2014developing-misc,
  93   title={Developing corpus-based translation methods between informal and formal mathematics [{P}oster of \cite{kaliszyk2014developing}]},
  94   author={Kaliszyk, Cezary and Urban, Josef and Vysko{\v{c}}il, Ji{\v{r}}{\'\i} and Geuvers, Herman},
  95   url={http://cl-informatik.uibk.ac.at/cek/docs/14/ckjujvhg-cicm14-poster.pdf},
  96   note={\url{http://cl-informatik.uibk.ac.at/cek/docs/14/ckjujvhg-cicm14-poster.pdf}},
  97   keywords = {corpus statistics}
  98 }
  99
 100 @inproceedings{sowa2003analogical,
 101   title={Analogical reasoning},
 102   author={Sowa, John F and Majumdar, Arun K},
 103   editor={A. Aldo and W. Lex and B. Ganter},
 104   booktitle={Conceptual Structures for Knowledge Creation and Communication: 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings},
 105   pages={16--36},
 106   series={LNAI},
 107   number={2746},
 108   year={2003},
 109   organization={Springer},
 110   keywords = {analogical reasoning}
 111 }
 112
 113 @incollection{sowa2008conceptual,
 114   title={Conceptual Graphs},
 115   author={Sowa, John F},
 116   booktitle={Handbook of Knowledge Representation},
 117   editor={van Harmelen, F. and  Lifschitz, V. and Porter, B.},
 118   publisher={Elsevier},
 119   year={2008},
 120   pages={213--237},
 121   chapter={5},
 122   keywords = {conceptual graphs}}
 123
 124 @article{lytinen1992conceptual,
 125   title={Conceptual dependency and its descendants},
 126   author={Lytinen, Steven L},
 127   journal={Computers \& Mathematics with Applications},
 128   volume={23},
 129   number={2-5},
 130   pages={51--73},
 131   year={1992},
 132   publisher={Elsevier},
 133   keywords = {conceptual dependency}
 134 }
 135
 136 @article{schank1972conceptual,
 137   title={Conceptual dependency: A theory of natural language understanding},
 138   author={Schank, Roger C},
 139   journal={Cognitive psychology},
 140   volume={3},
 141   number={4},
 142   pages={552--631},
 143   year={1972},
 144   publisher={Academic Press},
 145   keywords = {conceptual dependency, natural language}
 146 }
 147
 148 @phdthesis{leon2011computational,
 149   title={A computational model for automated extraction of structural schemas from simple narrative plots},
 150   author={Le{\'o}n Aznar, Carlos},
 151   year={2011},
 152   school={Universidad Complutense de Madrid, Servicio de Publicaciones},
 153   keywords={stories}
 154 }
 155
 156 @book{barr1981handbook,
 157   title={The handbook of artificial intelligence},
 158   author={Barr, Avron and Feigenbaum, Edward A},
 159   volume={1},
 160   year={1981},
 161   publisher={Butterworth-Heinemann},
 162   url={https://archive.org/details/handbookofartific01barr},
 163   keywords={handbook}
 164 }
 165
 166 @inproceedings{corneli2017towards,
 167 title={Towards mathematical {AI} via a model of the content and process of mathematical question and answer dialogues},
 168 author={Joseph Corneli and Ursula Martin and Dave Murray-Rust and Alison Pease},
 169 booktitle={Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, 2017, Proceedings},
 170 editor={Herman Geuvers and Matthew England and Osman Hasan and Florian Rabe and Olaf Teschke},
 171 year={2017},
 172 url={http://metameso.org/~joe/papers/corneli2017towards.pdf},
 173 keywords={IATC}}
 174
 175 @inproceedings{martin2017bootstrapping,
 176 title={Bootstrapping the next generation of mathematical social machines},
 177 author={Ursula Martin and Alison Pease and Joseph Corneli},
 178 booktitle={Off the Beaten Track workshop at POPL, UPMC Paris, January 21, 2017},
 179 editor={Kuper, Lindsey and Atkey, Bob},
 180 year={2017},
 181 organization={\textbf{ACM}},
 182 url={http://popl17.sigplan.org/event/obt-2017-talk-5},
 183 keywords={IATC, social machines}}