mathsICCC_local.bib

@article{astesiano2002casl,
  title =	 {{CASL}: The common algebraic specification language},
  author =	 {Astesiano, E. and others},
  journal =	 {Theoretical Computer Science},
  volume =	 286,
  number =	 2,
  pages =	 {153--196},
  year =	 2002,
  publisher =	 {Elsevier}
}



@ARTICLE{Fau98,
  AUTHOR       = {Gilles Fauconnier and Mark Turner},
  JOURNALTITLE = {Cognitive Science},
  NOTE         = {Extended version 2001 on-line.},
  NUMBER       = {2},
  PAGES        = {133--187},
  TITLE        = {Conceptual Integration Networks},
  URL          = {http://ssrn.com/author=1058129},
  VOLUME       = {22},
  YEAR         = {1998},
}

@BOOK{MTurner14,
  AUTHOR    = {Mark Turner},
  LOCATION  = {Oxford},
  PUBLISHER = {OUP},
  TITLE     = {The Origin of Ideas: Blending, Creativity and the Human Spark},
  YEAR      = {2014},
}

@INPROCEEDINGS{MTurner05,
  AUTHOR    = {Mark Turner},
  BOOKTITLE = {International Conference on Mathematics and Narrative},
  LOCATION  = {Mykonos, Greece},
  TITLE     = {Mathematics and Narrative},
  URL       = {http://www.thalesandfriends.org/en/papers/pdf/turner_paper.pdf},
  YEAR      = {2005},
}

@BOOK{Ste01,
  AUTHOR    = {George Steiner},
  LOCATION  = {London},
  PUBLISHER = {Faber and Faber},
  TITLE     = {Grammars of Creation},
  YEAR      = {2001},
}

@ARTICLE{Weil60,
  AUTHOR       = {André Weil},
  JOURNALTITLE = {Sciences},
  NOTE         = {in \cite[pp 408--412]{WeilCollectedV2}},
  TITLE        = {De la métaphysique aux mathématiques},
  URL          = {http://dream.inf.ed.ac.uk/projects/coinvent/weil60.pdf},
  YEAR         = {1960},
}

@BOOK{ArbibHesse86,
  AUTHOR    = {Michael A. Arbib and Mary B. Hesse},
  LOCATION  = {Cambridge, England},
  PUBLISHER = {Cambridge University Press},
  TITLE     = {The Construction of Reality},
  YEAR      = {1986},
}

@INPROCEEDINGS{Gog99,
  AUTHOR    = {Goguen, Joseph A.},
  BOOKTITLE = {Computation for Metaphors, Analogy, and Agents},
  DOI       = {10.1007/3-540-48834-0_15},
  PAGES     = {242--291},
  PUBLISHER = {Springer},
  SERIES    = {LNCS},
  TITLE     = {An Introduction to Algebraic Semiotics, with Application to User Interface Design},
  URL       = {https://cseweb.ucsd.edu/~goguen/pps/as.ps},
  VOLUME    = 1562,
  YEAR      = 1999,
}

@INPROCEEDINGS{Gog05b,
  AUTHOR    = {Goguen, Joseph A.},
  BOOKTITLE = {Conceptual Structures: Common Semantics for Sharing Knowledge},
  PAGES     = {52--57},
  PUBLISHER = {Springer},
  SERIES    = {LNAI},
  TITLE     = {What is a concept?},
  URL       = {http://www.cs.ucsd.edu/~goguen/pps/iccs05.pdf},
  VOLUME    = {3596},
  YEAR      = {2005},
}

@BOOK{Pereira2007,
  AUTHOR    = {Francisco Câmara Pereira},
  PUBLISHER = {Mouton de Gruyter},
  SERIES    = {Applications of Cognitive Linguistics},
  TITLE     = {Creativity and Artificial Intelligence: A Conceptual Blending Approach},
  VOLUME    = {4},
  YEAR      = {2007},
}

@BOOK{Lak00,
  AUTHOR    = {Lakoff, George and {Núñez}, Rafael},
  LOCATION  = {New York},
  PUBLISHER = {Basic Books},
  TITLE     = {Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being},
  YEAR      = {2000},
}

@ARTICLE{alexander11,
  AUTHOR =	 {James Alexander},
  JOURNALTITLE = {Semiotica},
  VOLUME =       {2011},
  NUMBER =	 {187},
  PAGES =	 {1--48},
  TITLE =	 {Blending in mathematics},
  YEAR =	 {2011},
}

@BOOK{boden,
  AUTHOR    = {Boden, M. A.},
  PUBLISHER = {Harvester Press},
  SORTKEY   = {Boden},
  TITLE     = {Artificial Intelligence and Natural Man},
  YEAR      = {1977},
}

@INPROCEEDINGS{MartinezEtAl14,
  AUTHOR    = {Maricarmen Martinez and others},
  BOOKTITLE = {12th International Conference on {Artificial Intelligence and Symbolic Computation}},
  LOCATION  = {Sevilla, Spain},
  TITLE     = {Algorithmic Aspects of Theory Blending},
  URL       = {http://www.coinvent.uni-osnabrueck.de/fileadmin/publications/AlgorithmicAspectsOfTheoryBlending.pdf},
  YEAR      = 2014,
}

@INCOLLECTION{KuMoNeCo14,
  AUTHOR    = {Oliver Kutz and Fabian Neuhaus and Till Mossakowski and Mihai Codescu},
  BOOKTITLE = {Proceedings of the Fifth International Conference on Computational Creativity, {ICCC} 2014},
  TITLE     = {Blending in the {H}ub -- Towards a collaborative concept invention platform},
  URL       = {http://computationalcreativity.net/iccc2014/wp-content/uploads/2014/06/14.2_Kutz.pdf},
  YEAR      = {2014},
}

@INCOLLECTION{MoHaSaTa08,
  AUTHOR    = {Till Mossakowski and Anne E. Haxthausen and Donald Sannella and Andrzej Tarlecki},
  BOOKTITLE = {Logics of specification languages},
  DOI       = {10.1007/978-3-540-74107-7_5},
  PAGES     = {241--298},
  PUBLISHER = {Springer},
  SERIES    = {Monogr. Theoret. Comput. Sci. EATCS Ser.},
  TITLE     = {{CASL}---the common algebraic specification language},
  YEAR      = {2008},
}

@INCOLLECTION{Mo98a,
  AUTHOR    = {Till Mossakowski},
  BOOKTITLE = {Recent trends in algebraic development techniques},
  DOI       = {10.1007/3-540-64299-4_42},
  ISBN      = {978-3-540-64299-2},
  PAGES     = {316--332},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  TITLE     = {Colimits of order-sorted specifications},
  VOLUME    = {1376},
  YEAR      = {1998},
}

@INPROCEEDINGS{MossakowskiEA06,
  AUTHOR    = {Till Mossakowski and Christian Maeder and Klaus Lüttich},
  BOOKTITLE = {TACAS 2007},
  EDITOR    = {Orna Grumberg and Michael Huth},
  KEYWORDS  = {proof heterogeneity logic institution prover theorem integration development graph},
  PAGES     = {519--522},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  TITLE     = {The {H}eterogeneous {T}ool {S}et},
  URL       = {http://www.informatik.uni-bremen.de/~till/papers/hets-tacas-toolpaper.pdf},
  VOLUME    = {4424},
  YEAR      = {2007},
}

@ARTICLE{GustKS2006,
  AUTHOR       = {Helmut Gust and Kai-Uwe Kühnberger and Ute Schmidt},
  JOURNALTITLE = {Theoretical Computer Science},
  PAGES        = {98--117},
  TITLE        = {Metaphors and Heuristic-Driven Theory Projection ({HDTP})},
  URL          = {http://www.sciencedirect.com/science/article/pii/S030439750500856X},
  VOLUME       = {354},
  YEAR         = {2006},
}

@REPORT{Schmidt2010,
  AUTHOR      = {Schmidt, Martin},
  INSTITUTION = {Univ. Osnabrück},
  LOCATION    = {Germany},
  NUMBER      = {31-2010},
  TITLE       = {Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection},
  TYPE        = {PICS-Report},
  YEAR        = {2010},
}

@ARTICLE{nunez05,
  AUTHOR       = {Rafael N{úñ}ez},
  JOURNALTITLE = {Journal of Pragmatics},
  NUMBER       = {10},
  PAGES        = {1717--1741},
  TITLE        = {Creating Mathematical Infinities: The Beauty of Transfinite Cardinals},
  URL          = {http://www.cogsci.ucsd.edu/~nunez/COGS260/JoP_InfinityR.pdf},
  VOLUME       = {37},
  YEAR         = {2005},
}

@BOOK{EGAI,
  AUTHOR    = {André Grothendieck and Jean Dieudonné},
  EDITION   = {seconde édition},
  PUBLISHER = {Springer},
  TITLE     = {Eléments de Géométrie Algébrique {I}},
  YEAR      = 1971,
}

@BOOK{eisenbud,
  AUTHOR    = {David Eisenbud},
  NUMBER    = {150},
  PUBLISHER = {Springer},
  SERIES    = {Graduate Texts in Mathematics},
  TITLE     = {Commutative Algebra with a View Toward Algebraic Geometry},
  YEAR      = {1995},
}

@BOOK{Koestler64,
  AUTHOR    = {Arthur Koestler},
  %LOCATION  = {London},
  PUBLISHER = {Hutchinson},
  TITLE     = {The Act of Creation},
  YEAR      = {1964},
}

@ARTICLE{Goguen92sheafsemantics,
  AUTHOR       = {Joseph A. Goguen},
  JOURNALTITLE = {Mathematical Structures in Computer Science},
  PAGES        = {159--191},
  TITLE        = {Sheaf Semantics for Concurrent Interacting Objects},
  YEAR         = {1992},
}

@BOOK{lautman2011mathematics,
  AUTHOR    = {Lautman, Albert},
  NOTE      = {Translated by Simon Duffy},
  PUBLISHER = {A\&C Black},
  TITLE     = {Mathematics, ideas and the physical real},
  YEAR      = {2011},
}

@BOOK{deleuze1994difference,
  AUTHOR    = {Deleuze, Gilles},
  LOCATION  = {London},
  NOTE      = {Translated by Paul Patton.},
  PUBLISHER = {Bloomsbury Academic},
  TITLE     = {Difference and repetition},
  YEAR      = {1994},
}

@ARTICLE{larvor2011albert,
  AUTHOR       = {Larvor, Brendan},
  JOURNALTITLE = {Foundations of the Formal Sciences VII},
  PUBLISHER    = {College Publications},
  TITLE        = {Albert {L}autman: {D}ialectics in {M}athematics},
  YEAR         = {2011},
}

@ARTICLE{ManPag14,
  AUTHOR       = {Jean M. Mandler and Cristóbal Pagán Canovás},
  ISSUE        = {04},
  JOURNALTITLE = {Language and Cognition},
  PAGES        = {510--532},
  TITLE        = {On defining image schemas},
  VOLUME       = {6},
  YEAR         = {2014},
}

@INPROCEEDINGS{HeKuNe14short,
  AUTHOR    = {M. Hedblom and O. Kutz and F. Neuhaus},
  BOOKTITLE = {Proceedings of the Second International Workshop on Artificial Intelligence and Cognition {(AIC} 2014)},
  EDITOR    = {A. Lieto and others},
  PAGES     = {110--121},
  SERIES    = {{CEUR} Workshop Proceedings},
  TITLE     = {On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending},
  URL       = {http://ceur-ws.org/Vol-1315/paper9.pdf},
  VOLUME    = {1315},
  YEAR      = {2014},
}

@BOOK{WeilCollectedV2,
  AUTHOR    = {André Weil},
  LOCATION  = {New York},
  NOTE      = {Corrected second printing},
  PUBLISHER = {Springer},
  TITLE     = {Œuvres Scientifiques/Collected Papers},
  VOLUME    = {II},
  YEAR      = {1979},
}

@Book{FaTu02,
  title = {The Way We Think: Conceptual Blending And The Mind's Hidden Complexities},
  author = {Gilles Fauconnier and Mark Turner},
  publisher = {Basic Books},
  year = {2002},
  isbn = {978-0-465-08785-3},
}