org/farm-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 @article{benkler2002coase,
  34   title={Coase's {Penguin}, or, {Linux} and {``}{The} {Nature} of the {Firm}{''}},
  35   author={Benkler, Yochai},
  36   journal={Yale Law Journal},
  37   pages={369--446},
  38   year={2002},
  39   publisher={JSTOR},
  40   keywords = {commons-based peer production}
  41 }
  42
  43
  44 @article{krowne2003building,
  45   title={Building a digital library the commons-based peer production way},
  46   author={Krowne, Aaron},
  47   journal={D-Lib magazine},
  48   volume={9},
  49   number={10},
  50   year={2003},
  51   keywords = {commons-based peer production, digital libraries}
  52 }
  53
  54 @book{nelson1981literary,
  55         author = {Nelson, T.H.},
  56         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},
  57         publisher = {Sausalito, California: Mindful Press},
  58         year = {1981},
  59         keywords = {hypertext, knowledge}
  60 }
  61
  62 @article{pease2017lakatos,
  63 author = {Alison Pease and John Lawrence and Katarzyna Budzynska and Joseph Corneli and Chris Reed},
  64 title = {Lakatos-style Collaborative Mathematics through Dialectical, Structured and Abstract Argumentation},
  65 journal = {Artificial Intelligence},
  66 volume = {246},
  67 pages = {181--219},
  68 year = {2017},
  69 month={May},
  70 addendum = {{\textbf{CORE: A*}}},
  71 keywords = {argumentation, mathematics}
  72 }
  73
  74 @inproceedings{kaliszyk2014developing,
  75   title={Developing corpus-based translation methods between informal and formal mathematics},
  76   author={Kaliszyk, Cezary and Urban, Josef and Vysko{\v{c}}il, Ji{\v{r}}{\'\i} and Geuvers, Herman},
  77   booktitle={International Conference on Intelligent Computer Mathematics},
  78   pages={435--439},
  79   year={2014},
  80   organization={Springer},
  81   url={http://cl-informatik.uibk.ac.at/cek/docs/14/ckjujvhg-cicm14-poster.pdf},
  82   keywords = {corpus-based translation}
  83 }
  84
  85 @misc{kaliszyk2014developing-misc,
  86   title={Developing corpus-based translation methods between informal and formal mathematics [{P}oster of \cite{kaliszyk2014developing}]},
  87   author={Kaliszyk, Cezary and Urban, Josef and Vysko{\v{c}}il, Ji{\v{r}}{\'\i} and Geuvers, Herman},
  88   url={http://cl-informatik.uibk.ac.at/cek/docs/14/ckjujvhg-cicm14-poster.pdf},
  89   note={\url{http://cl-informatik.uibk.ac.at/cek/docs/14/ckjujvhg-cicm14-poster.pdf}},
  90   keywords = {corpus statistics}
  91 }
  92
  93 @inproceedings{sowa2003analogical,
  94   title={Analogical reasoning},
  95   author={Sowa, John F and Majumdar, Arun K},
  96   editor={A. Aldo and W. Lex and B. Ganter},
  97   booktitle={Conceptual Structures for Knowledge Creation and Communication: 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings},
  98   pages={16--36},
  99   series={LNAI},
 100   number={2746},
 101   year={2003},
 102   organization={Springer},
 103   keywords = {analogical reasoning}
 104 }
 105
 106 @incollection{sowa2008conceptual,
 107   title={Conceptual Graphs},
 108   author={Sowa, John F},
 109   booktitle={Handbook of Knowledge Representation},
 110   editor={van Harmelen, F. and  Lifschitz, V. and Porter, B.},
 111   publisher={Elsevier},
 112   year={2008},
 113   pages={213--237},
 114   chapter={5},
 115   keywords = {conceptual graphs}}
 116
 117 @article{lytinen1992conceptual,
 118   title={Conceptual dependency and its descendants},
 119   author={Lytinen, Steven L},
 120   journal={Computers \& Mathematics with Applications},
 121   volume={23},
 122   number={2-5},
 123   pages={51--73},
 124   year={1992},
 125   publisher={Elsevier},
 126   keywords = {conceptual dependency}
 127 }
 128
 129 @article{schank1972conceptual,
 130   title={Conceptual dependency: A theory of natural language understanding},
 131   author={Schank, Roger C},
 132   journal={Cognitive psychology},
 133   volume={3},
 134   number={4},
 135   pages={552--631},
 136   year={1972},
 137   publisher={Academic Press},
 138   keywords = {conceptual dependency, natural language}
 139 }
 140
 141 @phdthesis{leon2011computational,
 142   title={A computational model for automated extraction of structural schemas from simple narrative plots},
 143   author={Le{\'o}n Aznar, Carlos},
 144   year={2011},
 145   school={Universidad Complutense de Madrid, Servicio de Publicaciones},
 146   keywords={stories}
 147 }
 148
 149 @book{barr1981handbook,
 150   title={The handbook of artificial intelligence},
 151   author={Barr, Avron and Feigenbaum, Edward A},
 152   volume={1},
 153   year={1981},
 154   publisher={Butterworth-Heinemann},
 155   url={https://archive.org/details/handbookofartific01barr},
 156   keywords={handbook}
 157 }
 158
 159 @inproceedings{corneli2017towards,
 160 title={Towards mathematical {AI} via a model of the content and process of mathematical question and answer dialogues},
 161 author={Joseph Corneli and Ursula Martin and Dave Murray-Rust and Alison Pease},
 162 booktitle={Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, 2017, Proceedings},
 163 editor={Herman Geuvers and Matthew England and Osman Hasan and Florian Rabe and Olaf Teschke},
 164 year={2017},
 165 url={http://metameso.org/~joe/papers/corneli2017towards.pdf},
 166 keywords={IATC}}
 167
 168 @inproceedings{martin2017bootstrapping,
 169 title={Bootstrapping the next generation of mathematical social machines},
 170 author={Ursula Martin and Alison Pease and Joseph Corneli},
 171 booktitle={Off the Beaten Track workshop at POPL, UPMC Paris, January 21, 2017},
 172 editor={Kuper, Lindsey and Atkey, Bob},
 173 year={2017},
 174 organization={\textbf{ACM}},
 175 url={http://popl17.sigplan.org/event/obt-2017-talk-5},
 176 keywords={IATC, social machines}}
 177
 178 @article{lamport1995write,
 179   title={How to write a proof},
 180   author={Lamport, L.},
 181   journal={The {A}merican {M}athematical {M}onthly},
 182   volume={102},
 183   number={7},
 184   pages={600--608},
 185   year={1995},
 186   publisher={JSTOR}
 187 }
 188
 189 @article{lamport2012write21st,
 190   title={How to write a 21st century proof},
 191   author={Lamport, Leslie},
 192   journal={Journal of fixed point theory and applications},
 193   volume={11},
 194   number={1},
 195   pages={43--63},
 196   year={2012},
 197   publisher={Springer}
 198 }
 199
 200 @article {Bundy20130194,
 201   author = {Bundy, Alan},
 202   title = {The interaction of representation and reasoning},
 203   volume = {469},
 204   number = {2157},
 205   year = {2013},
 206   doi = {10.1098/rspa.2013.0194},
 207   publisher = {The Royal Society},
 208   abstract = {Automated reasoning is an enabling technology for many applications of informatics. These applications include verifying that a computer program meets its specification; enabling a robot to form a plan to achieve a task and answering questions by combining information from diverse sources, e.g. on the Internet, etc. How is automated reasoning possible? Firstly, knowledge of a domain must be stored in a computer, usually in the form of logical formulae. This knowledge might, for instance, have been entered manually, retrieved from the Internet or perceived in the environment via sensors, such as cameras. Secondly, rules of inference are applied to old knowledge to derive new knowledge. Automated reasoning techniques have been adapted from logic, a branch of mathematics that was originally designed to formalize the reasoning of humans, especially mathematicians. My special interest is in the way that representation and reasoning interact. Successful reasoning is dependent on appropriate representation of both knowledge and successful methods of reasoning. Failures of reasoning can suggest changes of representation. This process of representational change can also be automated. We will illustrate the automation of representational change by drawing on recent work in my research group.},
 209   issn = {1364-5021},
 210   URL = {http://rspa.royalsocietypublishing.org/content/469/2157/20130194},
 211   eprint = {http://rspa.royalsocietypublishing.org/content/469/2157/20130194.full.pdf},
 212   journal = {Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences}
 213 }
 214
 215 @inproceedings{sussman2005programming,
 216   title={Why programming is a good medium for expressing poorly understood and sloppily formulated ideas},
 217   author={Sussman, Gerald Jay},
 218   booktitle={{OOPSLA} '05: {C}ompanion to the 20th annual {ACM} {SIGPLAN} conference on {O}bject-oriented programming, systems, languages, and applications},
 219   pages={6--6},
 220   year={2005},
 221   organization={ACM}
 222 }
 223
 224 @article{mccarthy2008well,
 225   title={The well-designed child},
 226   author={McCarthy, John},
 227   journal={Artificial Intelligence},
 228   volume={172},
 229   number={18},
 230   pages={2003--2014},
 231   year={2008},
 232   publisher={Elsevier}
 233 }
 234
 235 @inproceedings{sussman2011programming,
 236   title={We {Really} {Don't} {Know} {How} {To} {Compute!}},
 237   author={Sussman, Gerald Jay},
 238   booktitle={Strange Loop},
 239   year={2011},
 240   url={https://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute},
 241   abstract={Though we have been building and programming computing machines for about 60 years and have learned a great deal about composition and abstraction, we have just begun to scratch the surface. A mammalian neuron takes about ten milliseconds to respond to a stimulus. A driver can respond to a visual stimulus in a few hundred milliseconds, and decide an action, such as making a turn. So the computational depth of this behavior is only a few tens of steps. We don't know how to make such a machine, and we wouldn't know how to program it. The human genome -- the information required to build a human from a single, undifferentiated eukariotic cell -- is about 1GB. The instructions to build a mammal are written in very dense code, and the program is extremely flexible. Only small patches to the human genome are required to build a cow or a dog rather than a human. Bigger patches result in a frog or a snake. We don't have any idea how to make a description of such a complex machine that is both dense and flexible. New design principles and new linguistic support are needed. I will address this issue and show some ideas that can perhaps get us to the next phase of engineering design.},
 242 }
 243
 244 @techreport{gabi-iatc,
 245   title={Extending {Inference} {Anchoring} {Theory} for use with mathematical argumentation},
 246   author={Rino Nesin, Gabriela},
 247   institution={University of Edinburgh},
 248   year={2016}}
 249
 250 @book{mercier2017enigma,
 251   title={The enigma of reason},
 252   author={Mercier, Hugo and Sperber, Dan},
 253   year={2017},
 254   publisher={Harvard University Press}
 255 }
 256
 257 @article{moshman2004inference,
 258   title={From inference to reasoning: {The} construction of rationality},
 259   author={Moshman, David},
 260   journal={Thinking \& Reasoning},
 261   volume={10},
 262   number={2},
 263   pages={221--239},
 264   year={2004},
 265   publisher={Taylor \& Francis}
 266 }
 267
 268 @inproceedings{gabriel2000mob,
 269   title={Mob software: {The} erotic life of code},
 270   author={Gabriel, Richard P and Goldman, Ron},
 271   booktitle={Proc. {A}{C}{M} {C}onf. {O}bject-{O}riented {P}rogramming, {S}ystems, {L}anguages, and {A}pplications},
 272   year={2000}
 273 }
 274
 275 @article{lamport1994temporal,
 276   title={The temporal logic of actions},
 277   author={Lamport, Leslie},
 278   journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
 279   volume={16},
 280   number={3},
 281   pages={872--923},
 282   year={1994},
 283   publisher={ACM}
 284 }
 285
 286 @article{lamport1999specifying,
 287   title={Specifying {Concurrent} {Systems} with {TLA}{$^{+}$}},
 288   author={Lamport, Leslie},
 289   journal={NATO Science Series, III: Computer and Systems Sciences},
 290   volume={173},
 291   pages={183--247},
 292   year={1999},
 293   publisher={IOS Press},
 294   number={173},
 295   series={Calculational System Design},
 296   place={Amsterdam}
 297 }
 298
 299 @article{lamport2014tla2,
 300   title={{TLA}$^{+2}$: {A} {Preliminary} {Guide}},
 301   author={Lamport, Leslie},
 302   url={http://lamport.azurewebsites.net/tla/tla2-guide.pdf},
 303   year={2014},
 304 }
 305
 306 @article{alexander1964city,
 307   title={A city is not a tree},
 308   author={Alexander, Christopher},
 309   journal={Architectural Forum},
 310   volume={122},
 311   number={1},
 312   year={1965},
 313   month={April},
 314   pages={58--62},
 315 }
 316
 317 @book{alexander2012battle,
 318   title={The battle for the life and beauty of the earth: a struggle between two world-systems},
 319   author={Alexander, Christopher and Neis, Hans Joachim and Alexander, Maggie Moore},
 320   year={2012},
 321   publisher={Oxford University Press}
 322 }
 323
 324 @inproceedings{gucklesberger2016addressing,
 325 author={Christian Guckelsberger and Christoph Salge and Simon Colton},
 326 title={{Addressing} the {``}{Why?}{''} in {Computational} {Creativity}: {A} {Non-Anthropocentric}, {Minimal} {Model} of {Intentional} {Creative} {Agency}},
 327 editor={Goel, Ashok and Jordanous, Anna and Pease, Alison and Jacob, Mikhail and Guzdial, Matthew},
 328 booktitle={Proceedings of the Eighth International Conference on Computational Creativity, ICCC 2017},
 329 year={2017},
 330 url={http://computationalcreativity.net/iccc2017/ICCC_17_accepted_submissions/ICCC-17_paper_37.pdf}
 331 }