diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib | 4181 |
1 files changed, 0 insertions, 4181 deletions
diff --git a/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib b/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib deleted file mode 100644 index 601151b37bd..00000000000 --- a/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib +++ /dev/null @@ -1,4181 +0,0 @@ -@STRING{ecmessage = "READ the README please!!!!!!!!!!!!!!"} - -@book{KosBuc:rtul15, - title = {The Road to Universal Logic, Festschrift for the 50th Birthday of Jean-Yves B{\'e}ziau}, - volume = 2, - editor = {Koslow, Arnold and Buchsbaum, Arthur}, - publisher = {Springer Verlag}, - year = 2015} - -@Proceedings{MathUI15, - editor = {Andrea Kohlhase and Paul Libbrecht}, - title = {Mathematical User Interfaces Workshop at {CICM}}, - booktitle = {Mathematical User Interfaces Workshop}, - url = {http://www.cermat.org/events/MathUI/15/proceedings}, - year = {2015}, - month = jul} - -@proceedings{SEMS15, - year = {2015}, - booktitle = {Second workshop on Software Engineering methods in Spreadsheets}, - title = {Second workshop on Software Engineering methods in Spreadsheets}, - note = {accepted}} - -@proceedings{ICMS14, - editor = {Hoon Hong and Chee Yap}, - title = {Mathematical Software - {ICMS} 2014 - 4th International Congress}, - booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress}, - series = {LNCS}, - year = {2014}, - volume = {8592}, - publisher = {Springer}, - url = {http://dx.doi.org/10.1007/978-3-662-44199-2}, - doi = {10.1007/978-3-662-44199-2}, - isbn = {978-3-662-44198-5}} - -@proceedings{ITP13, - year = {2013}, - isbn = {978-3-642-39633-5}, - title = {Interactive Theorem Proving}, - booktitle = {Interactive Theorem Proving}, - volume = {7998}, - series = {LNCS}, - editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David}, - publisher={Springer}} - -@proceedings{FOIS14, - editor = {Pawel Garbacz and Oliver Kutz}, - booktitle = {Formal Ontology in Information Systems - Proceedings of the Eighth - International Conference, {FOIS} 2014}, - title = {Formal Ontology in Information Systems - Proceedings of the Eighth - International Conference, {FOIS} 2014}, - series = {Frontiers in Artificial Intelligence and Applications}, - year = {2014}, - volume = {267}, - publisher = {{IOS} Press}, - isbn = {978-1-61499-437-4}} - -@proceedings{FEOSW2012, - booktitle = {1\textsuperscript{st} Workshop on Finance and Economics on the Semantic Web (FEOSW)}, - year = 2012, - editor = {{\'A}ngel Garc{\'i}a-Crespo and Juan Miguel G{\'omez}-Berb{\'i}s and Alejandro Rodr{\'i}gues-Gonz{\'a}lez and Brahmananda Sapkota}, - url = {http://nadir.uc3m.es/feosw2012/proceedings.html#ui-tabs-9}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2012-05-27}, - title = {Proceedings of the 1\textsuperscript{st} Workshop on Finance and Economics on the Semantic Web (FEOSW)}, -} - -@Proceedings{AISBIACAP12, - year = {2012}, - editor = {Alison Pease and Brendan Larvor}, - booktitle= {Proceedings of AISB/IACAP 2012, Symposium on Mathematical Practice and Cognition II}, - title= {Proceedings of AISB/IACAP 2012, Symposium on Mathematical Practice and Cognition II}, - publisher = {AISB}, - isbn = {978-1-908187-10-9}, - url = {http://homepages.inf.ed.ac.uk/apease/aisb12/1.pdf}} - - -@Book{EndresNiggemeyer:SemanticMashups13, - booktitle = {Semantic Mashups}, - booksubtitle = {Intelligent Reuse of Web Resources}, - title = {Semantic Mashups}, - subtitle = {Intelligent Reuse of Web Resources}, - editor = {Brigitte Endres-Niggemeyer}, - url = {https://sites.google.com/site/mashupbookchapters/}, - isbn = {978-3-642-36402-0}, - publisher = {Springer}, - year = 2013, -} - -@proceedings{NTCIR10, - title = {NTCIR Workshop 10 Meeting}, - editor = {Noriko Kando and Kazuaki Kishida}, - booktitle = {NTCIR Workshop 10 Meeting}, - address = {Tokyo, Japan}, - publisher = {NII, Tokyo}, - year = {2013}} - -@proceedings{NTCIR11, - title = {NTCIR Workshop 11 Meeting}, - editor = {Noriko Kando and Hideo Joho and Kazuaki Kishida}, - booktitle = {NTCIR 11 Conference}, - address = {Tokyo, Japan}, - publisher = {NII, Tokyo}, - year = {2014}} - - -@proceedings{THEDU11, - editor = {Pedro Quaresma and Ralph-Johan Back}, - title = {Proceedings First Workshop on CTP Components for Educational - Software, THedu'11, Wroclaw, Poland, 31th July 2011}, - booktitle = {THedu}, - series = {EPTCS}, - volume = {79}, - year = {2011}, - doi = {10.4204/EPTCS.79}} - -@proceedings{ProWM13, - editor = {Franz Lehner and Nadine Amende and Nora Fteimi}, - booktitle = {Professionelles Wissenmanagement Management, Konferenzbeitr{\"a}ge der 7. Konferenz}, - title = {Professionelles Wissenmanagement Management, Konferenzbeitr{\"a}ge der 7. Konferenz}, - publisher = {GITO Verlag}, - year = {2013}, - isbn = {978-3-95545-016-8} -} - -@proceedings{tke2012, - title = {Terminology and Knowledge Engineering Conference (TKE)}, - booktitle = {Terminology and Knowledge Engineering Conference (TKE)}, - editor = {Aguado de Cea, Guadalupe and Mari Carmen Su{\'a}rez-Figueroa and Ra{\'u}l Garc{\'i}a-Castro and Elena Montiel-Ponsoda}, - year = {2012}, - venue = {Madrid, Spain}, - eventdate = {2012-06-20/2012-06-21}, - isbn = {978-84-695-4333-7}, - keywords = {conference}, - url = {http://oeg-lia3.dia.fi.upm.es/tke2012/proceedings} -} - -@proceedings{DBLP:conf/context/2005, - editor = {Anind K. Dey and - Boicho N. Kokinov and - David B. Leake and - Roy M. Turner}, - title = {Modeling and Using Context, 5th International and Interdisciplinary - Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, - Proceedings}, - booktitle = {CONTEXT}, - publisher = {Springer}, - series = {LNCS}, - number = {3554}, - year = {2005}, - isbn = {3-540-26924-X}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@proceedings{eswc2012, - editor = {Elena Simperl and Philipp Cimiano and Axel Polleres and Oscar Corcho and Valentina Presutti}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2012-05-27/2012-05-31}, - eventtitle = {9\textsuperscript{th} Extended Semantic Web Conference (ESWC)}, - title = {The Semantic Web}, - booktitle = {The Semantic Web}, - keywords = {conference}, - publisher = {Springer}, - series = {LNCS}, - number = {7295}, - year = 2012, - doi = {10.1007/978-3-642-30284-8}, - isbn = {978-3-642-30283-1}, - acceptancerate = {25}, -} - -@comment{Note: part=2 doesn't work here; it only works with the volume field, but for series like LNCS, number is correct} -@proceedings{eswc2011-2, - editor = {Grigoris Antoniou and Marko Grobelnik and Paslaru Bontas Simperl, Elena and Bijan Parsia and Dimitris Plexousakis and Pieter De Leenheer and Jeff Z. Pan}, - title = {The Semantic Web: Research and Applications (Part II)}, - eventtitle = {8\textsuperscript{th} Extended Semantic Web Conference (ESWC)}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2011-05-29/2011-06-02}, - booktitle = {ESWC (Part II)}, - publisher = {Springer Verlag}, - address = {Heidelberg}, - series = {LNCS}, - number = {6644}, - isbn = {978-3-642-21033-4}, - year = {2011}} - - -@Proceedings{escience2010, - title = {6\textsuperscript{th} IEEE e-Science conference}, - booktitle = {6\textsuperscript{th} IEEE e-Science conference}, - eventdate = {2010-12}, - venue = {Brisbane, Australia}, - year = 2010, -} - -@proceedings{DBLP:conf/eScience/2011, - title = {IEEE 7th International Conference on E-Science, e-Science - 2011, Stockholm, Sweden, December 5-8, 2011}, - booktitle = {eScience}, - publisher = {IEEE Computer Society}, - year = {2011}, - isbn = {978-1-4577-2163-2}, - ee = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6122900}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@proceedings{ESWC2011Post, - editor = {Garc{\'i}a Castro, Ra{\'u}l and Dieter Fensel and Grigoris Antoniou}, - title = {The Semantic Web: {ESWC} 2011 Workshops}, - booktitle = {The Semantic Web: {ESWC} 2011 Workshops}, - eventtitle = {Workshops at the 8\textsuperscript{th} Extended Semantic Web Conference (ESWC)}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2011-05-29/2011-05-30}, - publisher = {Springer Verlag}, - address = {Heidelberg}, - series = {LNCS}, - number = 7117, - isbn = {978-3-642-25952-4}, - year = {2011}, - acceptancerate = {29}, - acceptancerateCOMMENT = {22 papers selected out of 75 that had been accepted by the workshops}} - -@proceedings{WebSci2010, - booktitle = {Proceedings of WebSci'10: Extending the Frontiers of Society On-Line}, - year = 2010, - publisher = {Web Science Trust}} - -@proceedings{XMLPrague2010, - booktitle = {Proceedings of XML Prague 2010}, - url = {http://www.xmlprague.cz/2010/}, - year = {2010}, - pages = {317--339}} - -@Proceedings{Ariadne2003, - title = {3\textsuperscript{rd} {Ariadne} Conference}, - booktitle = {3\textsuperscript{rd} Annual {Ariadne} Conference}, - eventdate = {2003-11-20/2003-11-21}, - venue = {Katholieke Universiteit Leuven, Belgium}, - year = {2003}} - - - - - - -@Proceedings{CK2009, - title = {Proceedings of the Workshop on Collaborative Construction, Management and Linking of Structured Knowledge ({CK})}, - booktitle = {Proceedings of the Workshop on Collaborative Construction, Management -and Linking of Structured Knowledge ({CK})}, - year = {2009}, - editor = {Tania Tudorache and Gianluca Correndo and Natasha Noy and Harith Alani and Mark Greaves}, - number = 514, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - url = {http://CEUR-WS.org/Vol-514}, - issn = {1613-0073}} - -@proceedings{SPOT2009, - author = {Michael Hausenblas and Philipp K{\"a}rger and Daniel Olmedilla and Alexandre Passant and Axel Polleres}, - title = {Proceedings of the 1\textsuperscript{st} Workshop on Trust and Privacy on the Social and Semantic Web ({SPOT})}, - booktitle = {Proceedings of the 1\textsuperscript{st} Workshop on Trust and Privacy on the Social and Semantic Web (SPOT)}, - eventdate = {2009-06-01}, - year = 2009, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - url = {http://CEUR-WS.org/Vol-447}, - number = 447, - issn = {1613-0073}} - -@proceedings{woa/2007, - editor = {Matteo Baldoni and - Antonio Boccalatte and - Flavio De Paoli and - Maurizio Martelli and - Viviana Mascardi}, - title = {WOA 2007: Dagli Oggetti agli Agenti}, - eventtitle = {8\textsuperscript{th} AI*IA/TABOO Joint - Workshop ``From Objects to Agents'': Agents and Industry: - Technological Applications of Software Agents}, - eventdate = {2007-09-24/2007-09-25}, - venue = {Genova, Italy}, - booktitle = {WOA}, - publisher = {Seneca Edizioni Torino}, - year = {2007}, - isbn = {978-88-6122-061-4}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@Proceedings{LDOW2008, - editor = {Christian Bizer and Tom Heath and Kingsley Idehen and Tim Berners-Lee}, - booktitle = {Linked Data on the Web (LDOW)}, - title = {Linked Data on the Web (LDOW)}, - year = 2008, - number = 369, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - issn = {1613-0073}, - month = apr, - url = {http://CEUR-WS.org/Vol-369}} - -@Proceedings{LDOW2010, - editor = {Christian Bizer and Tom Heath and Tim Berners-Lee and Michael Hausenblas}, - booktitle = {Linked Data on the Web (LDOW)}, - title = {Linked Data on the Web (LDOW)}, - year = 2010, - month = apr, - number = 628, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - issn = {1613-0073}, - url = {http://CEUR-WS.org/Vol-628}} - -@Proceedings{LDOW2014, - editor = {Christian Bizer and Tom Heath and S{\"o}ren Auer and Tim Berners-Lee}, - booktitle = {Linked Data on the Web (LDOW)}, - title = {Linked Data on the Web (LDOW)}, - year = 2014, - NOTYETmonth = apr, - NOTYETnumber = 628, - NOTYETseries = {CEUR Workshop Proceedings}, - NOTYETaddress = {Aachen}, - NOTYETissn = {1613-0073}, - NOTYETurl = {http://CEUR-WS.org/Vol-628}, - url = {http://events.linkeddata.org/ldow2014/}, - eventdate = {2014-04-08}, - venue = {Seoul}} - -@proceedings{DBLP:conf/its/2006, - editor = {Mitsuru Ikeda and - Kevin D. Ashley and - Tak-Wai Chan}, - title = {Intelligent Tutoring Systems, 8th International Conference, - ITS 2006, Jhongli, Taiwan, June 26-30, 2006, Proceedings}, - booktitle = {Intelligent Tutoring Systems}, - publisher = {Springer}, - series = {LNCS}, - number = {4053}, - year = {2006}, - isbn = {3-540-35159-0}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@proceedings{DBLP:conf/kr/2006, - editor = {Patrick Doherty and - John Mylopoulos and - Christopher A. Welty}, - title = {Proceedings, 10\textsuperscript{th} International Conference on Principles - of Knowledge Representation and Reasoning}, - venue = {Lake District of the United Kingdom}, - eventdate = {2006-06-02/2006-06-05}, - booktitle = {KR}, - publisher = {AAAI Press}, - year = {2006}, - isbn = {978-1-57735-271-6}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - - -@Proceedings{AIMashup09, - title = {{AI Mashup Challenge}}, - booktitle = {{AI Mashup Challenge at KI Conference}}, - year = {2009}, - month = sep, - editor = {Brigitte Endres-Niggemeyer and Valentin Zacharias and Pascal Hitzler}, - url = {http://endres-niggemeyer.fh-hannover.de/mashupPresent/mashupStart.html}} - - -@Proceedings{AIMashup11, - title = {{AI Mashup Challenge}}, - booktitle = {{AI Mashup Challenge at ESWC}}, - year = {2011}, - month = jun, - editor = {Brigitte Endres-Niggemeyer and Pascal Hitzler}, - url = {http://sites.google.com/a/fh-hannover.de/aimashup11/}} - - -@proceedings{DBLP:conf/tphol/2007, - editor = {Klaus Schneider and - Jens Brandt}, - title = {Theorem Proving in Higher Order Logics, 20th International - Conference, TPHOLs 2007, Kaiserslautern, Germany, September - 10-13, 2007, Proceedings}, - booktitle = {TPHOLs}, - publisher = {Springer}, - series = {LNCS}, - number = {4732}, - year = {2007}, - isbn = {978-3-540-74590-7}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} -@Proceedings{EaPiM, - title = {{Conference on Explanation and Proof in Mathematics: Philosophical and Educational Perspectives}}, - year = {2006}, - booktitle = {{Conference on Explanation and Proof in Mathematics: Philosophical and Educational Perspectives}}, - editor = {Gila Hanna and Hans Niels Jahnke and Helmut Pulte}, - month = nov, - url = {http://www.ruhr-uni-bochum.de/wtundwg/}} - -@proceedings{swdb2004, - editor = {Christoph Bussler and - Val Tannen and - Irini Fundulaki}, - title = {Semantic Web and Databases (SWDB), Second International Workshop, Revised Selected Papers}, - venue = {Toronto, Canada}, - eventdate = {2004-08-29/2004-08-30}, - booktitle = {SWDB}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {3372}, - year = 2005, - isbn = {3-540-24576-6}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@Proceedings{OWLED09, - title = {OWL: Experiences and Directions (OWLED)}, - booktitle = {OWL: Experiences and Directions (OWLED)}, - year = 2009, - editor = {Rinke Hoekstra and Peter F. Patel-Schneider}, - month = oct} - - - -@Proceedings{OWLED08, - title = {OWL: Experiences and Directions (OWLED)}, - booktitle = {OWL: Experiences and Directions (OWLED)}, - year = 2008, - editor = {Uli Sattler and Cathy Dolbear and Alan Ruttenberg}, - month = oct} - -@Proceedings{OWLED06, - title = {OWL: Experiences and Directions (OWLED)}, - booktitle = {OWL: Experiences and Directions (OWLED)}, - year = 2006, - editor = {Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace}, - month = nov} - -@Proceedings{OWLED05, - title = {OWL: Experiences and Directions (OWLED)}, - booktitle = {OWL: Experiences and Directions (OWLED)}, - year = 2005, - editor = {Bernardo Cuenca Grau and Ian Horrocks and Bijan Parsia and Peter Patel-Schneider}, - month = nov} - -@proceedings{DBLP:conf/ecai/2004, - editor = {Ramon L{\'o}pez de M{\'a}ntaras and - Lorenza Saitta}, - title = {Proceedings of the 16\textsuperscript{th} Eureopean Conference on Artificial - Intelligence, ECAI'2004, including Prestigious Applicants - of Intelligent Systems, PAIS 2004}, - venue = {Valencia, Spain}, - eventdate = {2004-08-22/2004-08-27}, - booktitle = {ECAI}, - publisher = {IOS Press}, - year = 2004, - isbn = {1-58603-452-9}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - - -@Proceedings{SFSW09, - editor = {Chris Bizer and S{\"o}ren Auer and Gunnar AAstrand Grimnes}, - title = {Scripting and Development for the Semantic Web (SFSW)}, - booktitle = {Scripting and Development for the Semantic Web (SFSW)}, - number = 449, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - issn = {1613-0073}, - url = {http://CEUR-WS.org/Vol-449}, - year = {2009}, - month = may} - -@Proceedings{SFSW10, - editor = {Gunnar AAstrand Grimnes and S{\"o}ren Auer and Gregory Todd Williams}, - title = {Scripting and Development for the Semantic Web (SFSW)}, - booktitle = {Scripting and Development for the Semantic Web (SFSW)}, - number = 699, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - issn = {1613-0073}, - url = {http://CEUR-WS.org/Vol-699}, - year = {2010}, - month = may} - - -@proceedings{DBLP:conf/mkm/2006, - editor = {Jonathan M. Borwein and - William M. Farmer}, - title = {Mathematical Knowledge Management, 5th International Conference, - MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings}, - booktitle = {MKM}, - publisher = {Springer}, - series = {LNCS}, - number = {4108}, - year = {2006}, - isbn = {3-540-37104-4}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} -@PROCEEDINGS{ECAI90, - title = {Proceedings of of the 9\textsuperscript{th} European Conference on Artifical Intelligence}, - year = {1990}, - editor = {Luigia Carlucci Aiello}, - address = {Stockholm, Sweden}, - publisher = {Pitman Publishing, London, England}, - booktitle = {Proceedings of of the 9\textsuperscript{th} European Conference on Artifical Intelligence}, - key = {ECAI1990}} - -@PROCEEDINGS{AIED03-v, - title = {AIED2003 --- Supplementary Proceedings of the 11\textsuperscript{th} International - Conference on Artificial Intelligence in Education}, - year = {2003}, - editor = {Vincent Aleven and Ulrich Hoppe and Judy Kay and Riichiro Mizoguchi - and Helen Pain and Felisa Verdejo and Kalina Yacef}, - volume = {V: Learner Modelling for Reflection}, - series = {Frontiers in Artificial Intelligence and Applications}, - address = {Sidney, Australia}, - publisher = {School of Information Technologies, University of Sydney}} - -@PROCEEDINGS{AIED03-viii, - title = {AIED2003 --- Supplementary Proceedings of the 11\textsuperscript{th} International - Conference on Artificial Intelligence in Education}, - year = {2003}, - editor = {Vincent Aleven and Ulrich Hoppe and Judy Kay and Riichiro Mizoguchi - and Helen Pain and Felisa Verdejo and Kalina Yacef}, - volume = {VIII: Advanced Technologies for Mathematics Education}, - series = {Frontiers in Artificial Intelligence and Applications}, - address = {Sidney, Australia}, - publisher = {School of Information Technologies, University of Sydney}} - -@PROCEEDINGS{ICCS01, - title = {Computational Science --- ICCS 2001}, - year = {2001}, - editor = {Vassil N. Alexandrov and Jack J. Dongarra and Benjoe A. Juliano and - Ren{\`e} S. Renner and C. J. Kenneth Tan}, - number = {2074}, - series = {LNCS}, - address = {San Francisco, CA\USA}, - publisher = {Springer Verlag}, - key = {ICCS2001}} - -@PROCEEDINGS{SIGMEDIA-97, - title = {Referring Phenomena in a Multimedia Context and Their Computational - Treatment}, - year = {1997}, - editor = {Elisabeth Andr{\'e}}, - address = {Madrid, Spain}} - -@PROCEEDINGS{FROCOS02, - title = {Frontiers of Combinning Systems (FROCOS'02)}, - year = {2002}, - editor = {Alessandro Armando}, - number = {2309}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Frontiers of Combinning Systems (FROCOS'02)}, - key = {FROCOS2002}} - -@PROCEEDINGS{CALCULEMUS99, - title = {{CALCULEMUS 99}, Systems for Integrated Computation and Deduction}, - year = {1999}, - editor = {Alessandro Armando and Tudor Jebelean}, - series = {Electronic Notes in Theoretical Computer Science}, - address = {Trento, \ITALY}, - publisher = {Elsevier}, - note = {URL:~\url{http://www.elsevier.nl/locate/entcs}}, - url = {http://www.elsevier.nl/locate/entcs}, - booktitle = {{CALCULEMUS 99}, Systems for Integrated Computation and Deduction}} - -@Proceedings{BucGonHaz:MKM03, - title = {Mathematical Knowledge Management}, - year = 2003, - editor = {Bruno Buchberger and Gaston Gonnet and Michiel Hazewinkel}, - note = {special issue of Annals of Mathematics and Artificial Intelligence}, - volume = 38} - -@PROCEEDINGS{MKM03, - title = {Mathematical Knowledge Management, {MKM'03}}, - year = {2003}, - editor = {Andrea Asperti and Bruno Buchberger and James Harold Davenport}, - number = {2594}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Mathematical Knowledge Management, {MKM'03}}} - -@PROCEEDINGS{DEDTREFF93, - title = {Proceedings of the Annual Meeting of ``GI-Fachgruppe Deduktionssysteme''}, - year = {1993}, - editor = {J{\"u}rgen Avenhaus and J{\"o}rg Denzinger}, - number = {SR-93-11}, - series = {SEKI-Report}, - address = {Kaiserslautern, Germany}, - booktitle = {Proceedings of the Annual Meeting of ``GI-Fachgruppe Deduktionssysteme''}} - -@PROCEEDINGS{FROCOS96, - title = {\PROC of First International Workshop Frontiers of Combinning Systems - (FROCOS'96)}, - year = {1996}, - editor = {Franz Baader and Klaus Schulz}, - series = {Series on Applied Logic}, - publisher = {Kluwer}, - booktitle = {\PROC of First International Workshop Frontiers of Combinning Systems - (FROCOS'96)}, - key = {FROCOS1996}} - -@PROCEEDINGS{LPAR02, - year = {2002}, - editor = {Matthias Baaz and Andrei Voronkov}, - number = {2514}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning -- - 9\textsuperscript{th} International Conference, LPAR 2002}, - key = {LPAR2002}} - - -@proceedings{UITP14, - year = "2014", - booktitle = "Workshop on User Interfaces for Theorem Provers", - title = "Workshop on User Interfaces for Theorem Provers", - editor = "C. Benzm{\"u}ller and B. {Woltzenlogel Paleo}", - publisher = "Elsevier"} - -@proceedings{uitp2012, - editor = {Cezary Kaliszyk and Christoph L{\"u}th}, - title = {User Interfaces for Theorem Provers}, - eventtitle = {10\textsuperscript{th} UITP workshop (at CICM 2012)}, - eventdate = {2012-07-11}, - venue = {Bremen, Germany}, - year = 2012, - url = {http://www.informatik.uni-bremen.de/uitp12/} -} - -@PROCEEDINGS{UITP98, - title = {User Interfaces for Theorem Provers}, - year = {1998}, - editor = {Roland C. Backhouse}, - number = {98-08}, - series = {Computing Science Reports}, - address = {{Department of Mathematics and Computing Science, Eindhoven Technical - University}}, - booktitle = {User Interfaces for Theorem Provers}, - key = {UITP1998}} - -@PROCEEDINGS{IJCAI93, - year = {1993}, - editor = {Ruzena Bajcsy}, - address = {Chambery, France}, - publisher = {Morgan Kaufmann, San Mateo, CA}, - booktitle = {Proceedings of the 13\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} - {Intelligence} ({IJCAI})}, - key = {IJCAI1993}} - -@PROCEEDINGS{TABLEAU95, - title = {Theorem Proving with Analytic Tableaux and Related Methods}, - year = {1995}, - editor = {P. Baumgartner and R. H{\"a}hnle and J. Posegga}, - number = {918}, - series = {LNAI}, - booktitle = {Theorem Proving with Analytic Tableaux and Related Methods}, - key = {TABLEAU1995}} - -@PROCEEDINGS{BenMeu:holal, - title = {Handbook of Logic and Language}, - year = {1997}, - editor = {van Benthem, Johan and ter Meulen, Alice}, - publisher = {Elsevier Science}, - booktitle = {Handbook of Logic and Language}} - -@BOOK{BeTM:holal95, - title = {Handbook of Logic and Language}, - publisher = {Elsevier Science B.V.}, - year = {1995}, - editor = {Johan van Benthem and Ter Meulen}} - - -@PROCEEDINGS{IJCAR_WS7, - title = {Computer-Supported Mathematical Theory Development}, - booktitle = {Computer-Supported Mathematical Theory Development}, - year = {2004}, - editor = {Benzm{\"u}ller, Christoph and Windsteiger, Wolfgang}, - number = {04-14}, - series = {RISC Report Series}, - note = {IJCAR'04 Workshpo in Cork, Ireland, July 5, 2004. ISBN 3-902276-04-5.}, - url = {http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/}, - organization = {RISC Institute, University of Linz}} - -@PROCEEDINGS{ags-2003-d-2, - title = {Systems for Integrated Computation and Deduction --- Interim Report - of the Calculemus IHP Network}, - year = {2003}, - editor = {Christoph Benzm{\"u}ller}, - number = {SR--03--05}, - series = {Seki-Report SR}, - organization = {Dep. of Computer Science, Saarland University, Saarbr{\"u}cken, Germany}, - type = {SEKI report}} - -@PROCEEDINGS{TPHOL99, - title = {Theorem Proving in Higher Order Logics: TPHOLs'99}, - year = {1999}, - editor = {Yves Bertot and Gilles Dowek and Andr{\'e} Hirschowitz and Christine - Paulin and Laurent Th{\'e}ry}, - number = {1690}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'99}, - key = {TPHOLS1999}} - -@PROCEEDINGS{TLCA93, - title = {Proceedings International Conference on Typed Lambda Calculi and - Applications}, - year = {1993}, - editor = {M. A. Bezem and Jan Friso Groote}, - publisher = {Springer}, - series = {LNCS}, - number = {664}, - booktitle = {Proceedings International Conference on Typed Lambda Calculi and - Applications}, - key = {TLCA1993}} - - - - -@BOOK{BibSch:adabfa98, - title = {Automated Deduction -- A Basis for Applications}, - publisher = {Kluwer}, - year = {1998}, - editor = {Wolfgang Bibel and Peter Schmitt}, - booktitle = {Automated Deduction -- A Basis for Applications}, - key = {Bibel}} - -@PROCEEDINGS{CeurWS181, - booktitle = {Proc.\ of 2\textsuperscript{nd} Workshop on Scripting for the Semantic Web at ESWC}, - venue = {Budva, Montenegro}, - eventdate = {2006}, - year = {2006}, - editor = {Chris Bizer and S{\"o}ren Auer and Libby Miller}, - number = {181}, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - issn = {1613-0073}, - url = {http://CEUR-WS.org/Vol-181}} - -@PROCEEDINGS{CADE15-WS-Integration, - title = {CADE-15 Workshop ``Integration of Deduction Systems''}, - year = {1998}, - editor = {Nikolaj Bjorner and Reiner H{\"a}hnle and Wolfram Menzel and Wolfgang - Reif and Peter H. Schmitt}, - booktitle = {CADE-15 Workshop ``Integration of Deduction Systems''}} - -@PROCEEDINGS{RTA91, - year = {1991}, - editor = {Ronald V. Book}, - number = {488}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the $4^{th}$ International Conference on Rewriting - Techniques and Applications}, - key = {RTA1991}} - - - -@PROCEEDINGS{MKM06, - title = {{Mathematical Knowledge Management (MKM)}}, - year = {2006}, - editor = {Jon Borwein and William M. Farmer}, - number = {4108}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Mathematical Knowledge Management (MKM)}} - -@PROCEEDINGS{MACIS15, - title = {MACIS 2015}, - year = 2016, - SOONeditor = {????}, - SOONnumber = {????}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {MACIS 2015: Sixth International Conference on Mathematical Aspects of Computer and Information Sciences}, - note = {in press}} - -@PROCEEDINGS{MKM07, - title = {{MKM/Calculemus}}, - booktitle = {Towards Mechanized Mathematical Assistants. {MKM/Calculemus}}, - year = {2007}, - isbn = {978-3-540-73083-5}, - editor = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger}, - number = {4573}, - series = {LNAI}, - publisher = {Springer Verlag}} - -@PROCEEDINGS{CICM08, - title = {Intelligent Computer Mathematics}, - booktitle = {Intelligent Computer Mathematics}, - eventtitle = {9\textsuperscript{th} International Conference, AISC, 15\textsuperscript{th} Symposium, Calculemus, 7\textsuperscript{th} International Conference MKM}, - venue = {Birmingham, UK}, - eventdate = {2008-07-28/2008-08-01}, - key = {CICM08}, - year = {2008}, - editor = {Autexier, Serge and Campbell, John and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek}, - number = {5144}, - series = {LNAI}, - publisher = {Springer Verlag}} - -@PROCEEDINGS{WSREST2011, - title = {Proceedings of the Second International Workshop on RESTful Design}, - key = {WSREST2011}, - year = {2011}, - editor = {Cesare Pautasso and Erik Wilde and Rosa Alarcon}, - publisher = {ACM}, - keywords = {workshop}, - isbn = { 9781605589596}, - booktitle = {{Proceedings of the Second International Workshop on RESTful Design}} -} - -@PROCEEDINGS{CICM10, - title = {Intelligent Computer Mathematics}, - NOlabel = {CICM10}, - NOkey = {CICM10}, - year = {2010}, - editor = {Serge Autexier and Jacques Calmet and David Delahaye and Patrick D. F. Ion and Laurence Rideau and Renaud Rioboo and Alan P. Sexton}, - number = {6167}, - series = {LNAI}, - publisher = {Springer Verlag}, - keywords = {conference}, - isbn = {3642141277}, - booktitle = {{Intelligent Computer Mathematics}}} - -@PROCEEDINGS{CICM12, - title = {Intelligent Computer Mathematics}, - booktitle = {{Intelligent Computer Mathematics}}, - NOlabel = {CICM12}, - NOkey = {CICM12}, - year = {2012}, - venue = {Bremen, Germany}, - eventdate = {2012-07-09/2012-07-14}, - eventtitle = {Conferences on Intelligent Computer Mathematics (CICM)}, - editor = {Johan Jeuring and John A. Campbell and Jacques Carette and Dos Reis, Gabriel and Petr Sojka and Makarius Wenzel and Volker Sorge}, - number = {7362}, - series = {LNAI}, - isbn = {978-3-642-31373-8}, - publisher = {Springer Verlag}, - location = {Berlin and Heidelberg}, - acceptancerate = {73}, - acceptancerateCOMMENT = {MKM: 13/19, Calculemus: 6/9, AISC: 6/8, DML: 2/3, S&P: 11/12}, - keywords = {conference}} - -@proceedings{CICM14, - editor = {Stephan Watt and James Davenport and Alan Sexton and Petr Sojka and Josef Urban}, - venue = {Coimbra, Portugal}, - eventdate = {2014-07-07/2014-07-11}, - eventtitle = {Conferences on Intelligent Computer Mathematics}, - title = {Intelligent Computer Mathematics}, - booktitle = {{Intelligent Computer Mathematics} 2014}, - NOkey = {CICM14}, - NOlabel = {CICM14}, - keywords = {conference}, - publisher = {Springer}, - series = {LNCS}, - number = {8543}, - isbn = {978-3-319-08433-6}, - year = 2014, - acceptancerate = {64}, - acceptancerateCOMMENT = {MKM/Calculemus/DML: 26/41, S&P: 9/14, overall: 35/55}, -} - -@proceedings{CICM15, - SOONeditor = {Stephan Watt and James Davenport and Alan Sexton and Petr Sojka and Josef Urban}, - SOONvenue = {Coimbra, Portugal}, - SOONeventdate = {2014-07-07/2014-07-11}, - SOONeventtitle = {Conferences on Intelligent Computer Mathematics}, - title = {Intelligent Computer Mathematics}, - booktitle = {{Intelligent Computer Mathematics} 2015}, - NOkey = {CICM15}, - NOlabel = {CICM15}, - keywords = {conference}, - publisher = {Springer}, - series = {LNCS}, - SOONnumber = {8543}, - SOONisbn = {978-3-319-08433-6}, - year = 2015, - note = {submitted}, - SOONacceptancerate = {64}, - SOONacceptancerateCOMMENT = {MKM/Calculemus/DML: 26/41, S&P: 9/14, overall: 35/55}, -} - -@PROCEEDINGS{CALCULEMUS10, - key = {CALCULEMUS 2010}, - year = {2010}, - note = {submitted to CALCULEMUS 2010}, - booktitle = {CALCULEMUS}, - title = {CALCULEMUS}} - -@PROCEEDINGS{CALCULEMUS10-ET, - year = {2010}, - booktitle = {CALCULEMUS (Emerging Trends)}, - title = {CALCULEMUS (Emerging Trends)}, - editor = {David Delahaye and Renaud Rioboo}, - url = {http://cicm2010.cnam.fr/calculemus/trends/calculemus2010-trends.pdf}, - publisher = {Centre d'{\'E}tude et de Recherche en Informatique du {CNAM} (C{\'e}dric)}, - location = {Paris} -} - - -@PROCEEDINGS{MKM09, - year = {2009}, - month = jul, - booktitle = {{MKM/{\-}Cal{\-}cu{\-}le{\-}mus} Proceedings}, - title = {{MKM/{\-}Cal{\-}cu{\-}le{\-}mus} Proceedings}, - editor = {Jacques Carette and Lucas Dixon and Sacerdoti Coen, Claudio and Stephen M. Watt}, - number = {5625}, - series = {LNAI}, - keywords = {conference}, - isbn = {978-3-642-02613-3}, - publisher = {Springer Verlag}} - - -@PROCEEDINGS{ICOS03, - title = {ICoS-4. Inference in Computational Semantics. Workshop Proceedings}, - year = {2003}, - editor = {Patrick Blackburn and Johan Bos}, - booktitle = {Proceedings of Inference in Computational Semantics ICoS-4}, - publisher = {LORIA, Nancy}} - -@PROCEEDINGS{ITS2000-W1, - title = {Proceedings of the Fifth International Conference on Intelligent - Tutoring Systems---Workshop W1: Modeling Human Teaching Tactics and - Strategies}, - year = {2000}, - editor = {Ben du Boulay}, - address = {Montr{\'e}al, Canada}, - key = {ITS2000-W1}} - -@PROCEEDINGS{TPHOL01, - title = {Theorem Proving in Higher Order Logics: TPHOLs'01}, - year = {2001}, - editor = {Richard. J. Boulton and Paul B. Jackson}, - number = {2152}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'01}, - key = {TPHOLS2001}} - -@PROCEEDINGS{BradyBerwick:cmod84, - title = {Computational Models of Discourse}, - year = {1984}, - editor = {Brady, Michael and Berwick, Robert C.}, - address = {Cambridge, Massachusetts/London}, - publisher = {The M. I. T. Press}} - - -@PROCEEDINGS{KI97, - title = {Proceedings of the 18.th Annual German Conference on Artificial Intelligence - KI'97}, - year = {1997}, - editor = {Gerd Brewka and Cristopher Habel and Bernhard Nebel}, - number = {1303}, - series = {LNAI}, - address = {Freiburg, Germany}, - booktitle = {Proceedings of the 18.th Annual German Conference on Artificial Intelligence - KI'97}} - -@PROCEEDINGS{CADE94, - title = {Proceedings of the 12\textsuperscript{th} {Conference} on {Automated} {Deduction}}, - year = {1994}, - editor = {Alan Bundy}, - number = {814}, - series = {LNAI}, - address = {Nancy, France}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 12\textsuperscript{th} {Conference} on {Automated} {Deduction}}, - key = {CADE1994}} - -@PROCEEDINGS{IJCAI83, - year = {1983}, - editor = {Alan Bundy}, - publisher = {Morgan Kaufmann, San Mateo, California, USA}, - booktitle = {Proceedings of the 8\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} - {Intelligence} ({IJCAI})}, - key = {IJCAI1983}} - - -@PROCEEDINGS{FTP98, - title = {Automated Deduction in Classical and Non-Classical Logics (FTP'98)}, - year = {1998}, - editor = {Caferra, R. and Salzer, G.}, - series = {LNAI}, - number = {1761}, - publisher = {Springer Verlag}, - booktitle = {Automated Deduction in Classical and Non-Classical Logics (FTP'98)}, - key = {FTP1998}} - - -@PROCEEDINGS{AISMC94, - title = {Integrating Symbolic Mathematical Computation and Artificial Intelligence; - Proceedings of the second International Conference; Selected Papers}, - year = {1995}, - editor = {J. Calmet and J. A. Campbell}, - number = {958}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Integrating Symbolic Mathematical Computation and Artificial Intelligence; - Proceedings of the second International Conference; Selected Papers}} - -@PROCEEDINGS{AISMC92, - title = {Integrating Symbolic Mathematical Computation and Artificial Intelligence}, - year = {1993}, - editor = {J. Calmet and J. A. Campbell}, - number = {737}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Integrating Symbolic Mathematical Computation and Artificial Intelligence}} - -@PROCEEDINGS{DISCO96, - title = {Design and Implementation of Symbolic Computation Systems, DISCO'96}, - year = {1996}, - editor = {Jacques Calmet and Carla Limogelli}, - number = {1128}, - series = {LNCS}, - address = {Karlsruhe, Germany}, - publisher = {Springer Verlag}, - booktitle = {Design and Implementation of Symbolic Computation Systems, DISCO'96}} - - - -@PROCEEDINGS{DaleEtAl:aoanlg92, - title = {Aspects of Automated Natural Language Generation}, - year = {1992}, - editor = {Robert Dale and Eduard Hovy and Dietmar R{\"o}sner and Oliviero Stock}, - number = {587}, - series = {LNAI}, - publisher = {Springer Verlag}} - -@PROCEEDINGS{DaleEtAl:crinlg90, - title = {Current Research in Natural Language Generation}, - year = {1990}, - editor = {Robert Dale and Chris Mellish and Michael Zock}, - number = {4}, - series = {Cognitive Science Series}, - address = {San Diego, CA}, - publisher = {Academic Press}} - - - - - -@PROCEEDINGS{RTA89, - title = {Proceedings of the $3^{rd}$ International Conference of Rewriting - Techniques and Applications}, - year = {1989}, - editor = {Nachum Dershowitz}, - number = {355}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the $3^{rd}$ International Conference of Rewriting - Techniques and Applications}, - key = {RTA1989}} - -@PROCEEDINGS{TLCA95, - title = {Typed Lambda Calculi and Applications}, - year = {1995}, - editor = {Mariangiola Dezani-Ciancaglini and Gordon Plotkin}, - number = {902}, - series = {LNCS}, - publisher = {Springer Verlag}} - -@PROCEEDINGS{IJCAI81, - year = {1981}, - editor = {Ann Drinan}, - address = {Vancouver, Canada}, - publisher = {Morgan Kaufmann, San Mateo, California, USA}, - booktitle = {Proceedings of the 7\textsuperscript{th} International Joint Conference on Artificial - Intelligence (IJCAI)}, - key = {IJCAI1981}} - -@PROCEEDINGS{PTP01, - title = {Proceedings of the Workshop on Proof Transformation, Proof Presentations - and Complexity of Proofs (PTP-01)}, - year = {2001}, - editor = {Egly, Uwe and Fiedler, Armin and Horacek, Helmut and Schmitt, Stephan}, - publisher = {Universit{\'a} degli studi di Siena}, - booktitle = {Proceedings of the Workshop on Proof Transformation, Proof Presentations - and Complexity of Proofs (PTP-01)}} - -@PROCEEDINGS{JELIA90, - year = {1990}, - editor = {Jan van Eijck}, - number = {478}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Logics in AI. European Workshop JELIA '90, Amsterdam}, - key = {JELIA1990}} - -@PROCEEDINGS{ECAI02-ONTO, - title = {Proceedings of the ECAI 2002 Workshop on Ontologies and Semantic - Interoperability}, - year = {2002}, - editor = {J{\'e}r{\^o}me Euzenat and Asuncion G{\'o}mez P{\'e}rez and Nicola - Guarino and Heiner Stuckenschmidt}, - address = {Lyon France }} - - -@PROCEEDINGS{Fox-00-a, - title = {Workshop on analysing and exploiting domain knowledge for efficient - planning}, - year = {2000}, - editor = {Foc, M.}, - publisher = {AAAI Press}} - -@PROCEEDINGS{FTP97, - title = {Proceedings of the International Workshop on First order Theorem - Proving}, - year = {1997}, - editor = {Ulrich Furbach and Maria Paola Bonacina}, - number = {97-50}, - series = {RISC-Linz Report Series}, - publisher = {Johannes Kepler Universit{\"a}t Linz}, - booktitle = {Proceedings of the International Workshop on First order Theorem - Proving}, - key = {FTP1998}} - -@BOOK{GaGu:hopl84, - title = {Handbook of Philosophical Logic}, - publisher = {D. Reidel}, - year = {1984}, - editor = {Dov Gabbay and F. Guenthner}} - -@BOOK{gabb:hand83, - title = {Handbook of {Philosophical} {Logic}}, - publisher = {Reidel}, - year = {1983}, - editor = {Gabbay, D. and Guenthner, F.}, - address = {Dordrecht}} - -@PROCEEDINGS{CADE99, - title = {Automated Deduction --- {CADE}-16}, - year = {1999}, - editor = {Harald Ganzinger}, - number = {1632}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Automated Deduction --- {CADE}-16}, - key = {CADE1999}} - -@PROCEEDINGS{RTA96, - title = {Proceedings of the $7^{th}$ International Consference on Rewriting - Techniques and Applications}, - year = {1996}, - editor = {Harald Ganzinger}, - number = {1103}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the $7^{th}$ International Consference on Rewriting - Techniques and Applications}, - key = {RTA1996}} - -@PROCEEDINGS{PPAI97, - title = {Parallel Processing for Artificial Intelligence}, - year = {1997}, - editor = {J. Geller and H. Kitano and C. Suttner}, - volume = {3}, - publisher = {Elsevier/North Holland}, - booktitle = {Parallel Processing for Artificial Intelligence}, - key = {PPAI1997}} - -@PROCEEDINGS{iswc2005, - title = {The Semantic Web}, - booktitle = {The Semantic Web}, - eventtitle = {4\textsuperscript{th} International Semantic Web Conference (ISWC)}, - venue = {Galway, Ireland}, - eventdate = {2005-11-06/2005-11-10}, - year = {2005}, - editor = {Yolanda Gil and Enrico Motta and V. Richard Benjamins and Mark A. Musen}, - number = {3729}, - series = {LNCS}, - publisher = {Springer}, - isbn = {3-540-29754-5}} - -@Proceedings{iswc2006, - title = {5\textsuperscript{th} International Semantic Web Conference (ISWC)}, - booktitle = {5\textsuperscript{th} International Semantic Web Conference (ISWC)}, - year = {2006}, - editor = {Isabel F. Cruz and Stefan Decker and Dean Allemang and Chris Preist and Daniel Schwabe and Peter Mika and Michael Uschold and Lora Aroyo}, - number = {4273}, - series = {LNCS}, - publisher = {Springer Verlag}, - isbn = {3-540-49029-9}} - -@Proceedings{iswc2007, - editor = {Karl Aberer and - Key-Sun Choi and - Natasha Fridman Noy and - Dean Allemang and - Kyung-Il Lee and - Lyndon J. B. Nixon and - Jennifer Golbeck and - Peter Mika and - Diana Maynard and - Riichiro Mizoguchi and - Guus Schreiber and - Philippe Cudr{\'e}-Mauroux}, - title = {The Semantic Web}, - eventtitle = {6\textsuperscript{th} International Semantic Web Conference, - 2\textsuperscript{nd} Asian Semantic Web Conference, ISWC 2007 + ASWC 2007}, - venue = {Busan, Korea}, - eventdate = {2007-11-11/2007-11-15}, - booktitle = {ISWC/ASWC}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {4825}, - year = {2007}, - isbn = {978-3-540-76297-3}} - -@PROCEEDINGS{AIMSA98, - title = {Proceedings of the of the 8\textsuperscript{th} International Conference AIMSA'98}, - year = {1998}, - editor = {Fausto Giunchiglia}, - number = {1480}, - series = {LNAI}, - address = {Sozopol, Bulgaria}, - publisher = {Springer Verlag}, - booktitle = {Artificial Intelligence: Methodology, Systems and Applications}} - -@PROCEEDINGS{IJCAR01, - title = {Automated Reasoning --- 1\textsuperscript{st} International Joint Conference, IJCAR 2001}, - booktitle = {Automated Reasoning --- 1\textsuperscript{st} International Joint Conference, IJCAR 2001}, - year = {2001}, - editor = {Rajeev Gor{\'e} and Alexander Leitsch and Tobias Nipkow}, - number = {2083}, - series = {LNAI}, - address = {Siena, \ITALY}, - publisher = {Springer Verlag}, - key = {IJCAR2001}} - -@PROCEEDINGS{IJCAR06, - title = {Automated Reasoning --- Third International Joint Conference, IJCAR 2006}, - booktitle = {Automated Reasoning --- Third International Joint Conference, IJCAR 2006}, - year = {2006}, - editor = {Furbach, Ulrich and Shankar, Natarajan}, - number = {4130}, - series = {LNAI}, - address = {Seattle, USA}, - publisher = {Springer Verlag}, - key = {IJCAR2006}} - -@PROCEEDINGS{KGC93, - year = {1993}, - editor = {Georg Gottlob and Alexander Leitsch and Danielle Mundici}, - number = {714}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {3\textsuperscript{rd} Kurt G{\"o}del Colloquium KGC'93}, - key = {KGC1993}} - -@PROCEEDINGS{TPHOL98, - title = {Theorem Proving in Higher Order Logics: Emerging Trends}, - year = {1998}, - editor = {Jim Grundy and Malcolm Newey}, - series = {Technical Report 98-08, Department of Computer Science and Computer - Science Lab}, - address = {Canberra, Australia}, - publisher = {The Australian National University}, - month = oct, - bibtype = {PROCEEDINGS}, - booktitle = {Theorem Proving in Higher Order Logics: Emerging Trends}, - key = {TPHOLS1998}} - -@PROCEEDINGS{TPHOL97, - title = {Theorem Proving in Higher Order Logics: TPHOLs'97}, - year = {1997}, - editor = {Elsa L. Gunter and Amy Felty}, - number = {1275}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'97}, - key = {TPHOLS1997}} - -@PROCEEDINGS{AISB87, - title = {Advances in Artificial Intelligence, AISB-87}, - year = {1987}, - editor = {J. Hallam and C. Mellish}, - publisher = {Wiley}, - booktitle = {Advances in Artificial Intelligence, AISB-87}, - pages = {125--139}} - -@PROCEEDINGS{KI03-ITL, - title = {Proceedings of the KI-03 Workshop on Expressive Media and Intelligent - Tools for Learning}, - year = {2003}, - editor = {Andreas Harrer and Katrin Ga{\ss}ner}, - address = {Hamburg\GERMANY}} - -@BOOK{Heijenoort67, - title = {From Frege to G{\"o}del: a source book in mathematical logic 1879-1931}, - publisher = {Harvard Univ. Press}, - year = {1967}, - author = {van Heijenoort, Jean}, - series = {Source books in the history of the sciences series}, - address = {Cambridge, MA}, - edition = {3\textsuperscript{rd} printing, 1997}, - bibtype = {BOOK}, - isbn = {0-674-32450-1}} - -@PROCEEDINGS{ECAI-RMK96, - title = {Proceedings of the ECAI Workshop on Representation ofMathematical - Knowledge}, - year = {1996}, - editor = {Herbert Stoyan Karsten Homann and Sabine Jakob and Manfred Kerber}, - address = {Budapest, Hungary}, - booktitle = {Proceedings of the ECAI Workshop on Representation ofMathematical - Knowledge}} - -@PROCEEDINGS{ECAI00, - title = {Proceedings of of the 14\textsuperscript{th} European Conference on Artifical Intelligence}, - year = {2000}, - editor = {Werner Horn}, - address = {Brighton, UK}, - publisher = {John Wiley \& Sons, Chichester, UK}, - booktitle = {Proceedings of of the 14\textsuperscript{th} European Conference on Artifical Intelligence}, - key = {ECAI2000}} - - -@proceedings{ECAI08, - editor = {Malik Ghallab and - Constantine D. Spyropoulos and - Nikos Fakotakis and - Nikolaos M. Avouris}, - title = {ECAI 2008 -- 18\textsuperscript{th} European Conference on Artificial Intelligence, - Patras, Greece, July 21-25, 2008, Proceedings}, - booktitle = {ECAI}, - publisher = {IOS Press}, - series = {Frontiers in Artificial Intelligence and Applications}, - volume = {178}, - year = {2008}, - isbn = {978-1-58603-891-5}, - url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=9905}} - -@PROCEEDINGS{AAAI-WSTPR88, - title = {Proceedings of the AAAI Workshop on Text Planning and Realization}, - year = {1988}, - editor = {E. Hovy and D. McDonald and S. Young}, - address = {St. Paul, MN, USA}} - -@PROCEEDINGS{RTA95, - year = {1995}, - editor = {Jieh Hsiang}, - number = {914}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the $6^{th}$ International Consference on Rewriting - Techniques and Applications}, - key = {RTA1995}} - -@PROCEEDINGS{FASE01, - title = {Fundamental Approaches to Software Engineering (FASE 2001)}, - booktitle = {Fundamental Approaches to Software Engineering (FASE 2001)}, - year = {2001}, - editor = {H. Hu{\ss}mann}, - number = {2029}, - series = {LNCS}, - publisher = {Springer Verlag}, - key = {FASE01}} - -@PROCEEDINGS{AISC06, - title = {Proceedings of Artificial Intelligence and Symbolic Computation, - {AISC}'2006}, - year = {2006}, - editor = {Tetsuo Ida and Jacques Calmet and Dongming Wang}, - number = {4120}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of Artificial Intelligence and Symbolic Computation, - {AISC}'2006}} - -@PROCEEDINGS{TACS91, - year = {1991}, - editor = {T. Ito and A. R. Meyer}, - number = {526}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Theoretical Aspects of Computer Science}, - key = {TACS1991}} - -@PROCEEDINGS{lit2005, - title = {{Marktplatz Internet: von E-Learning bis E-Payment, 13. Leipziger - Informatik-Tage, LIT 2005, 21.-23. September 2005, Leipzig}}, - year = {2005}, - editor = {Klaus P. Jantke and Klaus-Peter F{\"a}hnrich and Wolfgang S. Wittig}, - volume = {72}, - series = {LNI}, - publisher = {GI}, - booktitle = {Leipziger Informatik-Tage}, - isbn = {3-88579-401-2}} - -@PROCEEDINGS{IJCAI85, - year = {1985}, - editor = {Aravind Joshi}, - address = {Los Angeles, Ca, USA}, - publisher = {Morgan Kaufmann}, - booktitle = {Proceedings of the 9\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} - {Intelligence} ({IJCAI})}, - key = {IJCAI1985}} - -@PROCEEDINGS{RTA85, - year = {1985}, - editor = {Jean-Pierre Jouannaud}, - number = {202}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the first International Consference on Rewriting Techniques - and Applications}, - key = {RTA1985}} - -@PROCEEDINGS{WADE79, - year = {1979}, - editor = {William H. Joyner}, - address = {Austin, Texas, USA}, - booktitle = {Proceedings of the 4\textsuperscript{th} Workshop on Automated Deduction}, - key = {WADE1979}} - -@PROCEEDINGS{IJCAI03-onto, - title = {Proceedings of the IJCAI 03 Workshop on Knowledge and Reasoning in - Practical Dialogue Systems}, - year = {2003}, - editor = {Arne J{\"o}nsson and Jan Alexandersson and Tilman Becker and Kristiina - Jokinen and Magnus Merkel}, - address = {Acapulco, \MEXICO}} - -@PROCEEDINGS{SDT84, - year = {1984}, - editor = {G. Kahn and D. G. MacQueen, G. Plotkin}, - number = {173}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Semantics of Data Types}, - key = {SDT1984}} - -@PROCEEDINGS{CTRS88, - year = {1988}, - editor = { Stephane Kaplan and Jean-Pierre Jouannaud}, - number = {308}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 1\textsuperscript{st} International Workshop on Conditional Term - Rewriting Systems, Orsay, France}, - key = {CTRS1988}} - -@PROCEEDINGS{CTRS91, - year = {1991}, - editor = {Stephane Kaplan and Mitsuhiro Okada}, - number = {516}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 2\textsuperscript{nd} International Workshop on Conditional Term - Rewriting Systems, Montreal, Canada}, - key = {CTRS1991}} - -@PROCEEDINGS{CADE92, - title = {Proceedings of the 11\textsuperscript{th} Conference on Automated Deduction}, - year = {1992}, - editor = {D. Kapur}, - number = {607}, - series = {LNCS}, - address = {Saratoga Springs, NY, USA}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 11\textsuperscript{th} Conference on Automated Deduction}, - key = {CADE1992}} - -@PROCEEDINGS{CALCULEMUS02, - title = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation - --- Joint International Conference, AISC 2002 and Calculemus 2002}, - year = {2002}, - editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent - Henocque and Volker Sorge}, - number = {2385}, - series = {LNAI}, - address = {Marseille, France}, - publisher = {Springer}, - booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation - --- Joint International Conference, AISC 2002 and Calculemus 2002}} - -@PROCEEDINGS{CALCULEMUS01, - booktitle = {Proceedings of the Calculemus 2001 Symposium}, - title = {Proceedings of the Calculemus 2001 Symposium}, - year = {2001}, - editor = {S. Linton and R. Sebastiani}, - address = {Siena, Italy}} - -@PROCEEDINGS{RTA93, - year = {1993}, - editor = {Claude Kirchner}, - number = {690}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the $5^{th}$ International Consference on Rewriting - Techniques and Applications}, - key = {RTA1993}} - -@PROCEEDINGS{CADE98, - title = {Proceedings of the 15\textsuperscript{th} {Conference} on {Automated} {Deduction}}, - year = {1998}, - editor = {Claude Kirchner and H{\'e}l{\`e}ne Kirchner}, - number = {1421}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 15\textsuperscript{th} {Conference} on {Automated} {Deduction}}, - key = {CADE1998}} - -@PROCEEDINGS{AMAST02, - title = {Algebraic Methodology and Software Technology --- 9\textsuperscript{th} International - Conference AMAST 2002}, - year = {2002}, - editor = {Kirchner, H{\'e}l{\`e}ne and Ringeissen, Christophe}, - number = {2422}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Algebraic Methodology and Software Technology --- 9\textsuperscript{th} International - Conference AMAST 2002}} - - - -@PROCEEDINGS{LICS95, - title = {Proceedings of the 10\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-10)}, - year = {1995}, - editor = {Dexter Kozen}, - address = {San Diego, California}, - publisher = { IEEE Computer Society Press}, - month = jun, - booktitle = {Proceedings of the 10\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-10)}, - key = {LICS1995}} - -@PROCEEDINGS{DIABRUCK03, - title = {DiaBruck---7\textsuperscript{th} Workshop on the Semantics and Pragmatics of Dialogue}, - year = {2003}, - editor = {Ivana Kruijff-Korbayov{\'a} and Claudia Kosny}, - address = {Saarbr{\"u}cken\GERMANY}, - organization = {Universit{\"a}t des Saarlandes}, - booktitle = {DiaBruck---7\textsuperscript{th} Workshop on the Semantics and Pragmatics of Dialogue}} - -@PROCEEDINGS{BIDIALOG01, - title = {Proceedings of the 5\textsuperscript{th} Workshop on Formal Semantics and Pragmatics - of Dialog (BI-DIALOG 2001)}, - year = {2001}, - editor = {P. K{\"u}hnlein and H. Rieser and H. Zeevat}, - address = {Bielefeld\GERMANY}, - key = {BIDIALOG2001}} - -@PROCEEDINGS{AIED99, - title = {Artificial Intelligence in Education}, - year = {1999}, - editor = {Susanne P. Lajoie and Martial Vivet}, - volume = {50}, - series = {Frontiers in Artificial Intelligence and Applications}, - publisher = {IOS Press}} - - -@PROCEEDINGS{RTA87, - year = {1987}, - editor = {Pierre Lescanne}, - number = {256}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the second International Conference of Rewriting Techniques - and Applications}, - key = {RTA1987}} - -@PROCEEDINGS{AISC00, - year = {2001}, - editor = {Eugenio Roanes Lozano}, - number = {1930}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of Artificial Intelligence and Symbolic Computation, - AISC'2000}} - -@PROCEEDINGS{CADE88, - title = {Proceedings of the 9\textsuperscript{th} Conference on Automated Deduction}, - year = {1988}, - editor = {Ewing L. Lusk and Ross A. Overbeek}, - number = {310}, - series = {LNCS}, - address = {Argonne, Illinois, USA}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 9\textsuperscript{th} Conference on Automated Deduction}, - key = {CADE1988}} - -@PROCEEDINGS{JICSLP98, - title = {Proceedings of the Joint International Conference and Symposium on - Logic Programming}, - year = {1996}, - editor = {M. Maher}, - address = {Bonn, Germany}, - publisher = {MIT Press}, - booktitle = {Proceedings of the Joint International Conference and Symposium on - Logic Programming}} - -@PROCEEDINGS{ILPS97, - title = {Logic Programming -- Proceedings of the 1997 International Symposium}, - year = {1997}, - editor = {Jan Maluszynski}, - address = {Port Jefferson, New York}, - publisher = {The MIT Press}, - booktitle = {Logic Programming -- Proceedings of the 1997 International Symposium}} - -@PROCEEDINGS{CADE00, - title = {{Automated} {Deduction} -- CADE-17}, - year = {2000}, - editor = {David McAllester}, - number = {1831}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {{Automated} {Deduction} -- CADE-17}, - key = {CADE00}} - -@PROCEEDINGS{CADE97, - title = {Proceedings of the 14\textsuperscript{th} {Conference} on {Automated} {Deduction}}, - year = {1997}, - editor = {William McCune}, - number = {1249}, - series = {LNAI}, - address = {Townsville, Australia}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 14\textsuperscript{th} {Conference} on {Automated} {Deduction}}, - key = {CADE1997}} - -@PROCEEDINGS{INLG90, - title = {Proceedings of the 5\textsuperscript{th} International Natural Language Generation - Workshop}, - year = {1990}, - editor = {K. R. McKeown and J. D. Moore and S. Nirenburg}, - address = {Dawson, PA}, - booktitle = {Proceedings of the 5\textsuperscript{th} International Natural Language Generation - Workshop}, - key = {INLG1990}} - -@PROCEEDINGS{CADE96, - title = {Proceedings of the 13\textsuperscript{th} Conference on Automated Deduction}, - year = {1996}, - editor = {M. A. McRobbie and J. K. Slaney}, - number = {1104}, - series = {LNAI}, - address = {New Brunswick, NJ, USA}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 13\textsuperscript{th} Conference on Automated Deduction}, - key = {CADE1996}} - -@PROCEEDINGS{WOSE-2004, - key = {WOSE2004}, - title = {On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops}, - booktitle = {On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops}, - year = {2004}, - editor = {Robert Meersman and Zahir Tari and Angelo Corsaro and others}, - number = {3292}, - series = {LNCS}, - publisher = {Springer Verlag}} - -@PROCEEDINGS{CADE00-W4, - title = {\PROC of 17\textsuperscript{th} International Conference on Automated Deduction---Workshop - W4: Automated Deduction in Education}, - year = {2000}, - editor = {Erica Melis and Dana Scott}, - address = {Pittsburgh, PA\USA}, - key = {CADE2000-W4}} - -@PROCEEDINGS{IJCAI95, - year = {1995}, - editor = {Chris S. Mellish}, - address = {Montreal, Canada}, - publisher = {Morgan Kaufmann, San Mateo, CA}, - booktitle = {Proceedings of the 14\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} - {Intelligence} ({IJCAI})}, - key = {IJCAI1995}} - -@PROCEEDINGS{ISEMANTICS2010, - year = {2010}, - editor = {Adrian Paschke and Nicola Henze and Tassilo Pellegrini and Hans Weigand}, - publisher = {ACM}, - title = {6\textsuperscript{th} International Conference on Semantic Systems ({I-Semantics}) and the 5\textsuperscript{th} International Conference on Pragmatic Web}, - booktitle = {Proceedings of the 6\textsuperscript{th} International Conference on Semantic Systems ({I-Semantics}) and the 5\textsuperscript{th} International Conference on Pragmatic Web}, - keywords = {conference}, - isbn = {978-1-4503-0014-8}, - url = {http://portal.acm.org/citation.cfm?id=1839707}, - key = {ISEMANTICS 2010}, - acceptancerate = {42}, - acceptancerateCOMMENT = {according to Rapha{\"e}l Troncy, \url{http://www.eurecom.fr/~troncy/Publications/index.html}}} - -@PROCEEDINGS{UITP96, - title = {User Interfaces for Theorem Provers}, - year = {1996}, - editor = {Nicholas A. Merriam}, - address = {Department of Computer Science, University of York, UK}, - booktitle = {User Interfaces for Theorem Provers}, - key = {UITP1996}} - -@PROCEEDINGS{GWAI89, - title = {Proceedings of the of 13\textsuperscript{th} GWAI}, - year = {1989}, - editor = {Dieter Metzing}, - number = {216}, - series = {Informatik-Fachberichte}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the of 13\textsuperscript{th} GWAI}} - -@PROCEEDINGS{ICOS99, - title = {Proceedings of Inference in Computational Semantics ICoS-1}, - year = {1999}, - editor = {Christof Monz and Maarten de Rijke}, - address = {Amsterdam}, - publisher = {ILLC}, - booktitle = {Proceedings of Inference in Computational Semantics ICoS-1}} - -@PROCEEDINGS{AIED01, - title = {Artificial Intelligence in Education}, - booktitle = {Artificial Intelligence in Education}, - year = {2001}, - editor = {Johanna D. Moore and Carol Luckhard Redfield and W. Lewis Johnson}, - volume = {68}, - series = {Frontiers in Artificial Intelligence and Applications}, - publisher = {IOS Press}} - -@PROCEEDINGS{TABLEAUX96, - title = {Theorem Proving with Analytic Tableaux and Related Methods}, - year = {1996}, - editor = {P. Moscato and U. Moscato and D. Mundici and M. Ornaghi}, - number = {1071}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Theorem Proving with Analytic Tableaux and Related Methods}} - -@PROCEEDINGS{TABLEAUX99, - title = {Automated Reasoning with Analytic Tableaux and Related Methods}, - year = {1999}, - editor = {Neil Murray}, - number = {1617}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods}} - -@PROCEEDINGS{IJCAI91, - year = {1991}, - editor = {John Mylopoulos and Ray Reiter}, - address = {Sydney, Australia}, - publisher = {Morgan Kaufmann, San Mateo, CA}, - booktitle = {Proceedings of the 12\textsuperscript{th} International Joint Conference on Artificial - Intelligence (IJCAI)}, - key = {IJCAI1991}} - -@PROCEEDINGS{IJCAI01, - year = {2001}, - editor = {Bernhard Nebel}, - address = {Seattle, WA\USA}, - publisher = {Morgan Kaufmann}, - booktitle = {Proceedings of the 17\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} - {Intelligence} ({IJCAI})}, - key = {IJCAI2001}} - -@PROCEEDINGS{KI94, - title = {18\textsuperscript{th} Annual German Conference on Aritificial Intelligence}, - year = {1994}, - editor = {Bernhard Nebel and Leonie Dreschler-Fischer}, - number = {861}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {18\textsuperscript{th} Annual German Conference on Aritificial Intelligence}, - key = {KI1994}} - -@PROCEEDINGS{FOSSACS02, - title = {Foundations of Software Science and Computation Structures (FOSSACS02)}, - year = {2002}, - editor = {Mogens Nielsen and Uffe Engberg}, - number = {2303}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Foundations of Software Science and Computation Structures (FOSSACS02)}, - key = {FOSSACS02}} - -@PROCEEDINGS{ECAI84, - title = {Proceedings of of the 7\textsuperscript{th} European Conference on Artifical Intelligence}, - year = {1984}, - editor = {T. O'Shea}, - address = {Pisa, Italy}, - publisher = {Pitman Publishing, London, England}, - booktitle = {Proceedings of of the 7\textsuperscript{th} European Conference on Artifical Intelligence}, - key = {ECAI1984}} - -@PROCEEDINGS{GWAI92, - title = {GWAI-92: Advances in Artificial Intelligence}, - year = {1993}, - editor = {Hans J{\"u}rgen Ohlbach}, - number = {671}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {GWAI-92: Advances in Artificial Intelligence}} - -@PROCEEDINGS{ParisEtAl:nlgiai91, - title = {Natural Language Generation in Artificial Intelligence and Computational - Linguistics}, - year = {1991}, - editor = {C{\'e}cile L. Paris and William R. Swartout and William C. Mann}, - address = {Boston, MA, USA}, - publisher = {Kluwer}} - -@PROCEEDINGS{JELIA92, - year = {1992}, - editor = {David Pearce and Gerd Wagner}, - number = {633}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Logics in AI. European Workshop JELIA '92, Berlin, Germany}, - key = {JELIA1992}} - -@PROCEEDINGS{ITS2000-W2, - title = {Proceedings of the Fifth International Conference on Intelligent - Tutoring Systems---Workshop W2: Adaptive and Intelligent Web-Based - Education Systems}, - year = {2000}, - editor = {Christoph Peylo}, - address = {Montr{\'e}al, Canada}, - key = {ITS2000-W2}} - -@PROCEEDINGS{LPAR94, - year = {1994}, - editor = {Frank Pfenning}, - number = {822}, - series = {LNAI}, - address = {Kiev, Ukraine}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the International Conference on Logic Programming - and Automated Reasoning LPAR'94}, - key = {LPAR1994}} - -@PROCEEDINGS{IJCAI97, - year = {1997}, - editor = {Martha E. Pollack}, - address = {Nagoya, Japan}, - publisher = {Morgan Kaufmann}, - booktitle = {Proceedings of the 15\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} - {Intelligence} ({IJCAI})}, - key = {IJCAI1997}} - -@PROCEEDINGS{ECAI98, - title = {Proceedings of of the 13\textsuperscript{th} European Conference on Artifical Intelligence}, - year = {1998}, - editor = {Henri Prade}, - address = {Brighton, UK}, - publisher = {John Wiley \& Sons, Chichester, UK}, - booktitle = {Proceedings of of the 13\textsuperscript{th} European Conference on Artifical Intelligence}, - key = {ECAI1998}} - -@PROCEEDINGS{CALCULEMUS06, - year = {2006}, - editor = {Silvio Ranise and Roberto Sebastiani}, - booktitle = {Proceedings of the 13\textsuperscript{th} Symposium on the Integration of Symbolic - Computation and Mechanized Reasoning (Calculemus-2006)}} - -@PROCEEDINGS{ITS02-TS, - title = {Proceedings of the ITS 2002 --- Workshop on Empirical Methods for - Tutorial Dialogue Systems}, - year = {2002}, - editor = {Carolyn Penstein Rose and Vincent Aleven}, - address = {San Sebasti{\'a}n, \SPAIN}} - -@Book{EKM05, - editor = {David G. Schwartz}, - title = {Encyclopedia of Knowledge Management}, - booktitle = {Encyclopedia of Knowledge Management}, - publisher = {Idea Group Reference}, - year = 2005} - -@Book{EKM11, - editor = {David Schwartz and Dov Te'eni}, - title = {Encyclopedia of Knowledge Management}, - booktitle = {Encyclopedia of Knowledge Management}, - publisher = {Idea Group Reference}, - edition = {2}, - year = 2011} - -@PROCEEDINGS{CADE84, - title = {Proceedings of the 7\textsuperscript{th} International Conference on Automated Deduction}, - year = {1984}, - editor = {R. E. Shostak}, - number = {170}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 7\textsuperscript{th} International Conference on Automated Deduction}, - key = {CADE1984}} - -@PROCEEDINGS{CADE86, - title = {Proceedings of the 8\textsuperscript{th} Conference on Automated Deduction}, - year = {1986}, - editor = {J. Siekmann}, - number = {230}, - series = {LNCS}, - address = {Oxford, England}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 8\textsuperscript{th} Conference on Automated Deduction}, - key = {CADE1986}} - -@PROCEEDINGS{PTP97, - title = {Proceedings of the First International Workshop on Proof Transformation - and Presentation}, - year = {1997}, - editor = {J. Siekmann and F. Pfenning and X. Huang}, - address = {Schloss Dagstuhl\GERMANY}, - booktitle = {Proceedings of the First International Workshop on Proof Transformation - and Presentation}} - -@PROCEEDINGS{SiekmannWrightson:aori83, - title = {Automation of Reasoning 1: Classical Papers on Computational Logic - 1957--1966}, - year = {1983}, - editor = {J{\"o}rg Siekmann and Graham Wrightson}, - series = {Symbolic Computation}, - publisher = {Springer Verlag}} - -@PROCEEDINGS{SieWri:aori83, - title = {Automation of Reasoning}, - year = {1983}, - editor = {J{\"o}rg Siekmann and Graham Wrightson}, - volume = {1 Classical Papers on Computational Logic 1957--1966}, - series = {Symbolic Computation}, - publisher = {Springer Verlag}, - booktitle = {Automation of Reasoning}} - -@PROCEEDINGS{SieWri:aorii83, - title = {Automation of Reasoning}, - year = {1983}, - editor = {J{\"o}rg Siekmann and Graham Wrightson}, - volume = {2 Classical Papers on Computational Logic 1967--1970}, - series = {Symbolic Computation}, - publisher = {Springer Verlag}, - booktitle = {Automation of Reasoning}} - -@PROCEEDINGS{AIPS98, - title = {{\PROC} of the Fourth International Conference on Artificial Intelligence - Planning Systems ({AIPS-98})}, - year = {1998}, - editor = {R. Simmons and M. Veloso and S. Smith}, - address = {Pittsburgh, PA, USA}, - publisher = {AAAI Press, Menlo Park, CA, USA}, - month = jun, - booktitle = {{\PROC} of the Fourth International Conference on Artificial Intelligence - Planning Systems ({AIPS-98})}, - key = {AIPS98}} - -@PROCEEDINGS{CALCULEMUS03, - title = {11\textsuperscript{th} Symposium on the Integration - of Symbolic Computation and Mechanized Reasoning (Calculemus 2003)}, - booktitle = {Proceedings of the 11\textsuperscript{th} Symposium on the Integration - of Symbolic Computation and Mechanized Reasoning (Calculemus 2003)}, - url = {http://www.calculemus.net/meetings/rome03/Proceedings/final.pdf}, - year = {2003}, - editor = {Th{\'e}r{\`e}se Hardin and Renaud Rioboo}, - address = {Rome, Italy}, - month = sep} - -@PROCEEDINGS{CALCULEMUS04, - title = {Second International Joint Conference on Automated Reasoning --- - Workshop on Computer-Supported Mathematical Theory Development}, - year = {2004}, - editor = {Christoph BenzM{\"u}ller and Wolfgang Windsteiger}, - address = {University College Cork, Cork, \IRELAND}, - booktitle = {Second International Joint Conference on Automated Reasoning --- - Workshop on Computer-Supported Mathematical Theory Development}} - -@BOOK{Speck92, - title = {Grundprobleme der gro{\ss}en Philosophen : Philosophie der Neuzeit. - Vol. 6. Tarski, Reichenbach, Kraft, G{\"o}del, Neurath}, - publisher = {UTB}, - year = {1992}, - editor = {Speck, Josef}, - volume = {1654}, - series = {UTB f{\"u}r Wissenschaft}, - bibtype = {BOOK}, - crindex = {A.m General Literature, MISCELLANEOUS}, - idnumber = {MPI-I-B-5237}, - isbn = {3-525-03319}, - location = {MPI-ZB}, - shelf = {REFERENCE}, - signature = {Reference}, - status = {available}} - -@PROCEEDINGS{ICLP97, - title = {Proceedings of the 12\textsuperscript{th} International Conference on Logic Programming}, - year = {1995}, - editor = {Leon Sterling}, - address = {Cambridge, MA, USA}, - publisher = {MIT Press}, - booktitle = {Proceedings of the 12\textsuperscript{th} International Conference on Logic Programming}, - isbn = {0-262-69177-9}} - -@PROCEEDINGS{CADE90, - title = {Proceedings of the 10\textsuperscript{th} Conference on Automated Deduction}, - year = {1990}, - editor = {Mark Stickel}, - number = {449}, - series = {LNAI}, - address = {Kaiserslautern, \GERMANY}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 10\textsuperscript{th} Conference on Automated Deduction}, - key = {CADE1990}} - -@PROCEEDINGS{sun-giles00, - title = {Sequence Learning: Paradigms, Algorithms, and Applications}, - year = {2000}, - editor = {Sun, R. and Giles, L.}, - number = {1828}, - series = {LNAI}, - publisher = {Springer Verlag}} - -@PROCEEDINGS{eswc2006, - title = {The Semantic Web: Research and Applications}, - booktitle = {The Semantic Web: Research and Applications}, - eventtitle = {3\textsuperscript{rd} European Semantic Web Conference (ESWC)}, - venue = {Budva, Montenegro}, - eventdate = {2006-06-11/2006-06-14}, - year = {2006}, - editor = {York Sure and John Domingue}, - number = {4011}, - series = {LNCS}, - publisher = {Springer}, - isbn = {3-540-34544-2}} - -@PROCEEDINGS{TABLEAUX98, - title = {Automated Reasoning with Analytic Tableaux and Related Methods}, - year = {1998}, - editor = {Harry de Swaart}, - number = {1397}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods}} - -@PROCEEDINGS{ICLP93, - title = {Proceedings of the 10\textsuperscript{th} International Conference on Logic Programming}, - year = {1993}, - editor = {P. Szeredi}, - publisher = {MIT Press}, - booktitle = {Proceedings of the 10\textsuperscript{th} International Conference on Logic Programming}} - -@PROCEEDINGS{ICMS06, - title = {Proceedings of ICMS 2006}, - year = {2006}, - editor = {N. Takayama and A. Iglesias}, - number = {4151}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of ICMS-2006}} - -@BOOK{TarskiGivantMcKenzie86, - title = {Alfred Tarski : collected papers -- Vol. 1 / 1921--1934}, - publisher = {Birkh{\"a}user}, - year = {1986}, - editor = {Tarski, Alfred and Givant, Stephen and McKenzie, Ralph}, - address = {Basel}, - bibtype = {BOOK}, - crindex = {G.2.0 Mathematics of Computing, DISCRETE MATHEMATICS, General}, - idnumber = {MPI-I-B-4852}, - isbn = {0-8176-3280-8}, - location = {MPI-ZB}, - signature = {Books: Tarski}, - status = {available}} - -@BOOK{Thomason:fp74, - title = {Formal Philosophy: selected Papers of Richard Montague}, - publisher = {Yale University Press, New Haven, CT}, - year = {1974}, - editor = {Thomason, R.}} - -@PROCEEDINGS{TPHOL02, - title = {Theorem Proving in Higher Order Logics: TPHOLs'02}, - year = {2002}, - editor = {V. A. Carreno and C. A. Munoz and S. Tahar}, - number = {2410}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'02}, - key = {TPHOLS2002}} - -@PROCEEDINGS{CADE02, - title = {Automated Deduction --- CADE-18}, - year = {2002}, - editor = {Andrei Voronkov}, - number = {2392}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Automated Deduction --- CADE-18}, - key = {CADE2002}} - -@PROCEEDINGS{LPAR93, - year = {1993}, - editor = {Andrei Voronkov}, - number = {698}, - series = {LNAI}, - address = {St. Petersburg, Russia}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the International Conference on Logic Programming - and Automated Reasoning LPAR'93}, - key = {LPAR1993}} - -@PROCEEDINGS{LPAR92, - title = {Proceedings of the International Conference on Logic Programming - and Automated Reasoning LPAR'92}, - year = {1992}, - editor = {Andrei Voronkov}, - number = {624}, - series = {LNAI}, - address = {St. Petersburg, Russia}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the International Conference on Logic Programming - and Automated Reasoning LPAR'92}, - key = {LPAR1992}} - - - -@inProceedings{BZ:SOBOLEO10, - author = {Simone Braun and Valentin Zacharias}, - title = {{SOBOLEO} -- A Repository for Living Ontologies}, - crossref = {ORES2010}} - -@PROCEEDINGS{semwiki06, - booktitle = {1\textsuperscript{st} Workshop on Semantic Wikis}, - year = 2006, - editor = {Max V{\"o}lkel and Sebastian Schaffert and Stefan Decker}, - number = 206, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - issn = {1613-0073}, - url = {http://ceur-ws.org/Vol-206}, - venue = {Budva, Montenegro}, - eventdate = {2006-06-12}, - title = {Proceedings of the 1\textsuperscript{st} Workshop on Semantic Wikis, {European} {Semantic} {Web} {Conference}}} - -@PROCEEDINGS{ECAI96, - title = {Proceedings of the 12\textsuperscript{th} European Conference on Artificial Intelligence}, - year = {1996}, - editor = {Wolfgang Wahlster}, - address = {Budapest, Hungary}, - publisher = {John Wiley \& Sons, Chichester, UK}, - month = aug, - booktitle = {Proceedings of the 12\textsuperscript{th} European Conference on Artificial Intelligence}, - key = {ECAI1996}} - -@PROCEEDINGS{IJCAI73, - title = {Proceedings of the 3\textsuperscript{rd} International Joint Conference on Artificial - Intelligence}, - year = {1973}, - editor = {Donald E. Walker and Lewis Norton}, - booktitle = {Proceedings of the 3\textsuperscript{rd} International Joint Conference on Artificial - Intelligence}, - key = {IJCAI1973}} - -@PROCEEDINGS{IJCAI69, - year = {1969}, - editor = {Donald E. Walker and Lewis Norton}, - booktitle = {Proceedings of the 1\textsuperscript{st} International Joint Conference on Artificial - Intelligence}, - key = {IJCAI1969}} - -@PROCEEDINGS{ISSAC92, - title = {Proceedings of International Symposium on Symbolic and Algebraic - Computation (ISSAC'92)}, - year = {1992}, - editor = {P. S. Wang}, - publisher = {ACM Press}, - booktitle = {Proceedings of International Symposium on Symbolic and Algebraic - Computation (ISSAC'92)}, - key = {ISSAC1992}} - -@PROCEEDINGS{ISSAC00, - title = {Proceedings of 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC'00)}, - year = {1992}, - editor = {Carlo Traverso}, - publisher = {ACM Press}, - booktitle = {Proceedings of 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC'00)}, - key = {ISSAC2000}, - isbn = {1-58113-218-2}} - -@PROCEEDINGS{ISSAC2010, - title = {Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC)}, - year = {2010}, - publisher = {ACM Press}, - booktitle = {Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC)}} - - -@PROCEEDINGS{DEDTREFF94, - year = {1994}, - editor = {Wolfgang Bibel, Christoph Walther}, - number = {AIDA-94-06}, - series = {Forschungsbericht, FB Informatik, TH Darmstadt}, - address = {Darmstadt, Germany}, - booktitle = {Informal Proc. of the 11\textsuperscript{th} Annual Meeting of the ``GI-Fachgruppe - Deduktionssysteme''}} - -@PROCEEDINGS{TPHOL96, - title = {Theorem Proving in Higher Order Logics: TPHOLs'96}, - year = {1996}, - editor = {von Wright J. and Jim Grundy and John Harrison}, - number = {1125}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Theorem Proving in Higher Order Logics: TPHOLs'96}, - key = {TPHOLS1996}} - -@PROCEEDINGS{EWNLG93, - title = {Proceedings of the 4\textsuperscript{th} European Workshop on Natural Language Generation}, - year = {1993}, - editor = {Michael Zock and Giovanni Adorni and Giacomo Ferrari}} - -@PROCEEDINGS{xtech05, - title = {XTech 2005: XML, the Web and beyond.}, - year = {2005}, - address = {Amsterdam, The Netherlands}, - url = {http://www.idealliance.org/proceedings/xtech05/}, - organization = {IDEAlliance}, - booktitle = {XTech 2005: XML, the Web and beyond.}} - - -@PROCEEDINGS{EACL03-DS, - title = {10\textsuperscript{th} Conference of the European Chapter of the Association for Computational - Linguistics---Proceedings of the Workshop on Dialogue Systems: interaction, - adaptation and styles of management}, - year = {2003}, - address = {Budapest, \HUNGARY}} - -@PROCEEDINGS{QPQ03, - title = {First QPQ Workshop on Deductive Software Components}, - year = {2003}, - address = {CADE-19, Miami, USA}, - booktitle = {First QPQ Workshop on Deductive Software Components}, - key = {QPQ03}} - -@PROCEEDINGS{UNIF03, - title = {17\textsuperscript{th} Workshop on Unification}, - year = {2003}, - address = {Valencia, Spain}, - booktitle = {17\textsuperscript{th} Workshop on Unification}, - key = {UNIF2003}} - -@PROCEEDINGS{WADT03, - title = {Recent Trends in Algebraic Development Techniques}, - year = {2003}, - number = {2755}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Recent Trends in Algebraic Development Techniques}, - key = {WADT03}} - -@PROCEEDINGS{WADT06, - booktitle = {WADT 2006}, - title = {WADT 2006}, - year = {2007}, - editor = {J. Fiadeiro}, - series = {LNCS}, - number = {4409}, - publisher = {Springer}} - -@PROCEEDINGS{WADT10, - booktitle = "Recent Trends in Algebraic Development Techniques", - editor = "H. Kreowski and T. Mossakowski", - number = 7137, - year = "2011", - publisher = "{Springer}", - keywords = {conference}, - series = {LNCS}} - -@PROCEEDINGS{WADT12, - year = 2013, - booktitle = {Recent Trends in Algebraic Development Techniques}, - editor = {Till Mossakowski and Narciso Mart{\'i}-Oliet and Palomino Tarjuelo, Miguel}, - eventtitle = {WADT 2012, 21\textsuperscript{st} International Workshop on Algebraic Development Techniques}, - venue = {Salamanca, Spain}, - eventdate = {2012-06-07/2012-06-10}, - series = {LNCS}, - number = 7841, - publisher = {Springer}, - keywords = {conference}} - - -@PROCEEDINGS{MathML02, - key = {MathML02}, - title = {Second International Conference on MathML and Technologies for Math - on the Web}, - year = {2002}, - address = {Chicago, USA}, - booktitle = {Second International Conference on MathML and Technologies for Math - on the Web}} - -@PROCEEDINGS{ACL00, - year = {2000}, - address = {Hongkong}, - booktitle = {Proceedings of the 38\textsuperscript{th} Annual Meeting of the Association for Computational - Linguistics}} - -@PROCEEDINGS{MathML00, - title = {MathML and Math on the Web: MathML International Conference}, - booktitle = {MathML and Math on the Web: MathML International Conference}, - year = {2000}, - address = {Urbana Champaign, USA}, - month = oct} - -@PROCEEDINGS{TACAS00, - title = {Proceedings of the Sixth International Conference on Tools and Algorithms - for the Construction and Analysis of Systems TACAS-2000}, - year = {2000}, - series = {LNCS}, - address = {Berlin, Germany}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the Sixth International Conference on Tools and Algorithms - for the Construction and Analysis of Systems, TACAS-2000}, - key = {TACAS2000}} - -@PROCEEDINGS{TACAS07, - title = {Proceedings of the 13\textsuperscript{th} International Conference on Tools and Algorithms - for the Construction and Analysis of Systems TACAS-2007}, - year = {2007}, - series = {LNCS}, - number = 4424, - address = {Berlin, Germany}, - editor = {Orna Grumberg and Michael Huth}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 13\textsuperscript{th} International Conference on Tools and Algorithms - for the Construction and Analysis of Systems TACAS-2007}, - key = {TACAS2007}} - -@PROCEEDINGS{AAAI99, - title = {Proceedings of the {Sixteenth National Conference on Artificial Intelligence - (AAAI-99)} and {Eleventh Innovative Application of Artificial Intelligence - Conference (IAAI-99)}}, - year = {1999}, - publisher = {{AAAI} Press}, - booktitle = {Proceedings of the {Sixteenth National Conference on Artificial Intelligence - (AAAI-99)} and {Eleventh Innovative Application of Artificial Intelligence - Conference (IAAI-99)}}} - -@PROCEEDINGS{EWNLG99, - title = {\PROC of the 7\textsuperscript{th} European Workshop on Natural Language Generation}, - year = {1999}, - address = {Toulouse France }, - booktitle = {\PROC of the 7\textsuperscript{th} European Workshop on Natural Language Generation}} - -@PROCEEDINGS{ISSAC99, - title = {Proceedings of International Symposium on Symbolic and Algebraic - Computation (ISSAC'99)}, - year = {1999}, - publisher = {ACM Press}, - booktitle = {Proceedings of International Symposium on Symbolic and Algebraic - Computation (ISSAC'99)}, - key = {ISSAC1999}} - -@PROCEEDINGS{AAAI96, - title = {Proceedings of the {Thirteenth National Conference on Artificial - Intelligence AAAI-96}}, - year = {1998}, - publisher = {{MIT} Press}, - booktitle = {Proceedings of the {Thirteenth National Conference on Artificial - Intelligence AAAI-96}}} - -@PROCEEDINGS{AAAI98, - title = {Proceedings of the {Fifteenth National Conference on Artificial Intelligence - AAAI-98} and {Tenth Conference on Innovative Application of Artificial - Intelligence IAAI-98}}, - year = {1998}, - publisher = {{MIT} Press}, - booktitle = {Proceedings of the {Fifteenth National Conference on Artificial Intelligence - AAAI-98} and {Tenth Conference on Innovative Application of Artificial - Intelligence IAAI-98}}} - -@PROCEEDINGS{INLG98, - title = {Proceedings of the 9\textsuperscript{th} {International} {Workshop} on {Natural} {Language} - {Generation}}, - year = {1998}, - address = {Niagara-on-the-Lake, Ontario, \CANADA}, - organization = {INLG}, - booktitle = {Proceedings of the 9\textsuperscript{th} {International} {Workshop} on {Natural} {Language} - {Generation}}, - key = {INLG1998}} - -@PROCEEDINGS{JELIA98, - year = {1998}, - number = {1489}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Logics in Artificial Intelligence. European Workshop JELIA '98}, - journal = {LNCS}} - -@PROCEEDINGS{AAAI97, - title = {Proceedings of the {Fourteenth National Conference on Artificial - Intelligence AAAI-97}}, - year = {1997}, - publisher = {{MIT} Press}, - booktitle = {Proceedings of the {Fourteenth National Conference on Artificial - Intelligence AAAI-97}}, - venue = {Stanford, USA}, - eventdate = {1997-03}} - -@PROCEEDINGS{ACL97, - year = {1997}, - address = {Madrid, \SPAIN}, - booktitle = {Proceedings of the 35\textsuperscript{th} Annual Meeting of the Association for Computational - Linguistics and the 8\textsuperscript{th} Conference of the European Chapter of the - Association for Computational Linguistics}} - -@PROCEEDINGS{ISSAC97, - title = {Proceedings of International Symposium on Symbolic and Algebraic - Computation (ISSAC'97)}, - year = {1997}, - address = {Hawaii}, - publisher = {ACM Press}, - booktitle = {Proceedings of International Symposium on Symbolic and Algebraic - Computation (ISSAC'97)}, - key = {ISSAC1997}} - -@PROCEEDINGS{INLG96, - title = {Proceedings of the 8\textsuperscript{th} International Natural Language Generation - Workshop}, - year = {1996}, - address = {Herstmonceux Castle, Sussex, UK}, - booktitle = {Proceedings of the 8\textsuperscript{th} International Natural Language Generation - Workshop}, - key = {INLG1996}} - -@PROCEEDINGS{JELIA96, - year = {1996}, - number = {1126}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Logics in Artificial Intelligence. European Workshop JELIA '96}, - title = {Logics in Artificial Intelligence. European Workshop JELIA '96}, - key = {JELIA1996}} - -@PROCEEDINGS{EWNLG95, - title = {\PROC of the 5\textsuperscript{th} European Workshop on Natural Language Generation}, - year = {1995}, - address = {Leiden, \NETHERLANDS}, - publisher = {Rijks University Leiden}, - booktitle = {Proceedings of the 5\textsuperscript{th} European Workshop on Natural Language Generation}} - -@PROCEEDINGS{ISSAC95, - title = {Proceedings of International Symposium on Symbolic and Algebraic - Computation (ISSAC'95)}, - year = {1995}, - publisher = {ACM Press}, - booktitle = {Proceedings of International Symposium on Symbolic and Algebraic - Computation (ISSAC'95)}, - key = {ISSAC1995}} - -@PROCEEDINGS{UITP95, - title = {{International Workshop on User Interface Design for Theorem Proving - Systems}}, - year = {1995}, - address = {Glasgow}, - booktitle = {{International Workshop on User Interface Design for Theorem Proving - Systems}}, - key = {UITP1995}} - -@PROCEEDINGS{WSMTG-IJCAI95, - title = {Proceedings of the IJCAI-95 Workshop on Multilingual Text Generation}, - year = {1995}, - address = {Montreal, \CANADA}, - booktitle = {Proceedings of the IJCAI-95 Workshop on Multilingual Text Generation}} - -@PROCEEDINGS{COGSCI94, - title = {Proceedings of the 16\textsuperscript{th} Annual Conference of the Cognitive Science - Society}, - year = {1994}} - -@PROCEEDINGS{COLING94, - title = {Proceedings of the 15\textsuperscript{th} {International} {Conference} on {Computational} - {Linguistics}}, - year = {1994}, - address = {Kyoto, Japan}, - publisher = {Morgan Kaufmann}, - booktitle = {Proceedings of the 15\textsuperscript{th} {International} {Conference} on {Computational} - {Linguistics}}} - -@proceedings{COLING00, - title = {{COLING 2000,} 18\textsuperscript{th} {International} {Conference} on {Computational} {Linguistics}}, - booktitle = {COLING 2000, 18\textsuperscript{th} {International} {Conference} on {Computational} {Linguistics}}, - publisher = {Morgan Kaufmann}, - year = {2000}, - ee = {http://aclweb.org/anthology/C/C00/} -} - -@PROCEEDINGS{INLG94, - title = {Proceedings of the 7\textsuperscript{th} {International} {Workshop} on {Natural} {Language} - {Generation}}, - year = {1994}, - address = {Kennebunkport, ME}, - organization = {INLG}, - booktitle = {Proceedings of the 7\textsuperscript{th} {International} {Workshop} on {Natural} {Language} - {Generation}}, - key = {INLG1994}} - -@PROCEEDINGS{LICS94, - title = {Proceedings of the 9\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-9)}, - year = {1994}, - address = {Paris, France}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the 9\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-9)}, - key = {LICS1994}} - -@PROCEEDINGS{POPL94, - title = {Proceedings of the 21\textsuperscript{st} ACM Symposium on Principles of Programming - Languages}, - year = {1994}, - address = {New York, NY}, - publisher = {ACM}, - month = jan, - organization = {ACM}, - booktitle = {Proceedings of the 21\textsuperscript{st} ACM Symposium on Principles of Programming - Languages}, - key = {POPL1994}} - -@PROCEEDINGS{WGENERATION94, - title = {Proceedings of 7\textsuperscript{th} International Workshop on Generation}, - year = {1994}, - address = {Kennebunkport, Maine, USA}, - booktitle = {Proceedings of 7\textsuperscript{th} International Workshop on Generation}} - -@PROCEEDINGS{HOA93, - year = {1993}, - number = {816}, - series = {LNCS}, - address = {Amsterdam, The Netherlands}, - publisher = {Springer Verlag}, - booktitle = {HOA'93, an International Workshop on Higher-order Algebra, Logic - and Term Rewriting}, - key = {HOA1993}} - -@PROCEEDINGS{IAAI93, - title = {Proceedings of the 5\textsuperscript{th} Innovative Applications of Artificial Intelligence - Conference}, - year = {1993}} - -@PROCEEDINGS{ISMVL93, - year = {1993}, - address = {Sacramento, CA}, - publisher = {IEEE Press}, - booktitle = {Proceedings of the 23\textsuperscript{rd} Intrenational Symposium on Multiple Valued - Logic}, - key = {ISMVL1993}} - -@PROCEEDINGS{LICS93, - title = {Proceedings of the 8\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-8)}, - year = {1993}, - address = {Montreal, Canada}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the 8\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-8)}, - key = {LICS1993}} - -@PROCEEDINGS{PACL93, - title = {Proceedings of the 1\textsuperscript{st} Conference of the Pacific Association for - Computational Linguistics}, - year = {1993}, - address = {Vancouver, \CANADA}, - publisher = {Centre for Systems Science, Simon Fraser University}} - -@PROCEEDINGS{CTRS92, - year = {1992}, - number = {656}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the third International Workshop on Conditional Term - Rewriting Systems, Pont-a-Mousson, France}, - key = {CTRS1992}} - -@PROCEEDINGS{LICS91, - title = {Proceedings of the 6\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-6)}, - year = {1992}, - address = {Amsterdam, NL}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the 6\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-6)}, - key = {LICS1991}} - -@PROCEEDINGS{LICS92, - title = {Proceedings of the 7\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-7)}, - year = {1992}, - address = {Santa Cruz, CA, USA}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the 7\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-7)}, - key = {LICS1992}} - -@PROCEEDINGS{AAAI91, - title = {Proceedings of AAAI-91}, - year = {1991}, - publisher = {Morgan Kaufman}} - -@PROCEEDINGS{SLDI91, - title = {Proceedings of the SIGPLAN '91 Symposion on Language Design and Implementation, - Toronto, Canada}, - year = {1991}, - publisher = {ACM Press}, - booktitle = {Proceedings of the SIGPLAN '91 Symposion on Language Design and Implementation, - Toronto, Canada}} - -@PROCEEDINGS{ACL89, - title = {Proceedings of the 27\textsuperscript{th} Annual Meeting of the Association for Computational - Linguistics}, - year = {1989}, - address = {Vancouver, British Columbia}} - -@PROCEEDINGS{LICS89, - title = {Proceedings of the 4\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-4)}, - year = {1989}, - address = {Pacific Grove, CA, USA}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the 4\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-4)}, - key = {LICS1989}} - -@PROCEEDINGS{LICS90, - title = {Proceedings of the 5\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-5)}, - year = {1989}, - address = {Philadelphia, PA, USA}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the 5\textsuperscript{th} Annual IEEE Symposium on Logic in Computer - Science (LICS-5)}, - key = {LICS1990}} - -@PROCEEDINGS{STACS89, - year = {1989}, - number = {349}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings STACS'89}} - -@PROCEEDINGS{LICS88, - title = {Proceedings of the third Annual IEEE Symposium on Logic in Computer - Science (LICS-3)}, - year = {1988}, - address = {Edinburgh, Great Britain}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the third Annual IEEE Symposium on Logic in Computer - Science (LICS-3)}, - key = {LICS1988}} - -@PROCEEDINGS{ILPS87, - title = {IEEE Symposium on Logic Programming}, - year = {1987}, - address = {Salt Lake City}, - booktitle = {IEEE Symposium on Logic Programming}} - -@PROCEEDINGS{LICS87, - title = {Proceedings of the second Annual IEEE Symposium on Logic in Computer - Science (LICS-2)}, - year = {1987}, - address = {Ithaca, NY, USA}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the second Annual IEEE Symposium on Logic in Computer - Science (LICS-2)}, - key = {LICS1987}} - -@PROCEEDINGS{LFP86, - title = {Proceedings ACM Conference on LISP and Functional Programming}, - year = {1986}, - booktitle = {Proceedings ACM Conference on LISP and Functional Programming}} - -@PROCEEDINGS{LICS86, - title = {Proceedings of the first Annual IEEE Symposium on Logic in Computer - Science (LICS-1)}, - year = {1986}, - address = {Cambridge, MA, USA}, - publisher = { IEEE Computer Society Press}, - booktitle = {Proceedings of the first Annual IEEE Symposium on Logic in Computer - - Science (LICS-1)}, - key = {LICS1986}} - -@PROCEEDINGS{POPL84, - title = {Proc of the 11\textsuperscript{th} ACM Symposium on Principles of Programming Languages}, - year = {1984}, - address = {New York}, - organization = {ACM}, - booktitle = {Proc of the 11\textsuperscript{th} ACM Symposium on Principles of Programming Languages}} - -@PROCEEDINGS{LFP82, - title = {Proceedings ACM Conference on LISP and Functional Programming}, - year = {1982}, - booktitle = {Proceedings ACM Conference on LISP and Functional Programming}} - -@PROCEEDINGS{CADE80, - title = {Proceedings of the 5\textsuperscript{th} International Conference on Automated Deduction}, - year = {1980}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the 5\textsuperscript{th} International Conference on Automated Deduction}, - key = {CADE1980}} - -@PROCEEDINGS{IJCAI77, - year = {1977}, - publisher = {Morgan Kaufmann, San Mateo, California, USA}, - booktitle = {Proceedings of the 5\textsuperscript{th} International Joint Conference on Artificial - Intelligence (IJCAI)}, - key = {IJCAI1977}} - -@PROCEEDINGS{EUROSAM79, - title = {Proceedings of the International Symposion on Symbolic and Algebraic - Manipulation EUROSAM+79}, - year = {1976}, - number = {72}, - series = {LNCS}, - publisher = {Springer Verlag}, - booktitle = {Proceedings of the International Symposion on Symbolic and Algebraic - Manipulation EUROSAM+79}} - -@PROCEEDINGS{ACM72, - title = {Proceedings of the ACM annual Conference 1972}, - year = {1972}, - booktitle = {Proceedings of the ACM annual Conference }} - -@PROCEEDINGS{SAD70, - title = {Symposium on Automatic Demonstration}, - year = {1970}, - number = {125}, - series = {LNM}, - publisher = {Springer Verlag}} - -@PROCEEDINGS{IFIP68, - title = {Proceedings of IFIP Congress in Information Processing}, - year = {1968}, - volume = {68}, - publisher = {North Holland, Amsterdam}, - booktitle = {Proceedings of IFIP Congress in Information Processing}} - -@PROCEEDINGS{MKM01, - title = {Electronic Proceedings of the First International Workshop on Mathematical - Knowledge Management: {MKM'2001}}, - year = {2001}, - editor = {Bruno Buchberger and Olga Caprotti}, - url = {http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/}, - booktitle = {Electronic Proceedings of the First International Workshop on Mathematical - Knowledge Management: {MKM'2001}}} - -@proceedings{ekaw2002, - editor = {Asunci{\'o}n G{\'o}mez-P{\'e}rez and - V. Richard Benjamins}, - title = {Knowledge Engineering and Knowledge Management. Ontologies - and the Semantic Web}, - booktitle = {Knowledge Engineering and Knowledge Management. Ontologies - and the Semantic Web}, - eventtitle = {13\textsuperscript{th} International Conference, EKAW}, - venue = {Sig{\"u}enza, Spain}, - eventdate = {2002-10-01/2002-10-04}, - publisher = {Springer}, - series = {LNCS}, - number = {2473}, - year = {2002}, - isbn = {3-540-44268-5}} - -@proceedings{ekaw2008, - editor = {Aldo Gangemi and J{\'e}r{\^o}me Euzenat}, - title = {Knowledge Engineering: Practice and Patterns}, - booktitle = {Knowledge Engineering: Practice and Patterns}, - eventtitle = {16\textsuperscript{th} International Conference, {EKAW}}, - venue = {Acitrezza, Italy}, - eventdate = {2008-09-29/2008-10-02}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {5268}, - year = {2008}, - isbn = {978-3-540-87695-3}} - -@Proceedings{WebALT2006, - title = {Proceedings of WebALT 2006, First WebALT Conference and Exhibition}, - year = 2006, - editor = {Mika Sepp{\"a}l{\"a} and Sebastian Xamb{\'o} and Olga Caprotti}, - isbn = {952-99666-0-1}, - venue = {Eindhoven, Netherlands}, - eventdate = {2006-01-05/2006-01-06}, - publisher = {Oy WebALT Inc}} - -@Proceedings{EdMedia2008, - title = {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2008 (ED-MEDIA'08)}, - booktitle = {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2008 (ED-MEDIA'08)}, - year = 2008, - key = {EdMedia2008}, - venue = { Vienna, Austria }, - eventdate = {2008-06}, - month = jun, - publisher = {AACE}} - -@Proceedings{EdMedia2007, - title = {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2007 (ED-MEDIA'07)}, - booktitle = {Proceedings of the World Conference on Educational Multimedia, Hypermedia \& Telecommunications 2007 (ED-MEDIA'07)}, - editor = {Craig Montgomerie and Jane Seale}, - year = 2007, - key = {EdMedia2007}, - annote = {Vancouver, Canada}, - month = jun, - publisher = {AACE}} - - - - -@Proceedings{MuC2007, - title = {{Mensch \& Computer 2007: Interaktion im Plural}}, - year = 2007, - key = {MuC2007}, - editor = {Tom Gross}, - series = {{Konferenzreihe Mensch und Computer}}, - number = {7}, - address = {Bauhaus-Universit{\"a}t Weimar, Germany}, - month = sep, - publisher = {Oldenbourg Verlag}, - annote = {7.te Fach{\"u}bergreifende Konferenz}} - -@Proceedings{MathUI04, - editor = {Paul Libbrecht}, - title = {Mathematical User Interfaces Workshop 2004}, - booktitle = {Mathematical User Interfaces}, - howpublished = {online at {\url{http://www.activemath.org/~paul/MathUI04}}}, - url = {http://www.activemath.org/~paul/MathUI04}, - year = 2004} - -@Proceedings{MathUI06, - editor = {Paul Libbrecht}, - title = {Mathematical User-Interfaces Workshop 2006}, - booktitle = {Mathematical User Interfaces Workshop 2006}, - url = {http://www.activemath.org/~paul/MathUI06}, - year = 2006} - -@Proceedings{MathUI07, - editor = {Paul Libbrecht}, - title = {Mathematical User-Interfaces Workshop 2007 at {MKM}}, - booktitle = {Mathematical User Interfaces Workshop 2007}, - howpublished = {online at {\url{http://www.activemath.org/~paul/MathUI07}}}, - url = {http://www.activemath.org/~paul/MathUI07}, - year = 2007, - month = jun} - -@Proceedings{MathUI12, - editor = {Paul Libbrecht}, - title = {Mathematical User-Interfaces Workshop 2012 at {CICM}}, - booktitle = {Mathematical User Interfaces Workshop 2012}, - howpublished = {online at {\url{http://www.cermat.org/events/MathUI/12/}}}, - url = {http://www.cermat.org/events/MathUI/12/}, - year = 2012, - month = jun} - -@Proceedings{SCOOP07, - editor = {Christine M{\"u}ller}, - title = {{1\textsuperscript{st} Workshop on Scientific COmmunities Of Practice}}, - booktitle = {{Proceedings of the 1\textsuperscript{st} SCooP Workshop}}, - howpublished = {online at {\url{http://kwarc.info/events/scoop/scoop1.html}}}, - url = {http://kwarc.info/events/scoop/scoop1.html}, - year = 2007} - -@Proceedings{MC07, - editor = {Tom Gross}, - title = {7. Konferenz f{\"u}r interaktive und kooperative Medien}, - booktitle = {Mensch und Computer 2007}, - publisher = {Oldenburg}, - year = 2007} - -@Proceedings{LWA07, - editor = {Alexander Hinneburg}, - title = {{Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) conference proceedings}}, - booktitle = {{Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) conference proceedings}}, - institution = {Martin-Luther University Halle-Wittenberg}, - publisher = {Martin-Luther-University Halle-Wittenberg}, - year = {2007}} - - - -@PROCEEDINGS{DeLFI06, - title = {Proceedings of the 4\textsuperscript{th} eLearning Fachtagung Informatik --- DeLFI 2006}, - year = {2006}, - editor = {Max M{\"u}hlh{\"a}user and Guido R{\"o}ssling and Ralf Steinmetz}, - booktitle = {Proceedings of the 4\textsuperscript{th} eLearning Fachtagung Informatik --- DeLFI 2006}, - volume = {P-87}, - publisher = {K{\"o}llen Druck Verlag GmbH, Bonn}} - -@PROCEEDINGS{CSCL05, - title = {Proceedings of the CSCL 2005}, - year = {2005}, - place = {Taipei, Taiwan}, - editor = {...}, - booktitle = {Proceedings of the CSCL 2005}, - volume = {...}, - publisher = {...}} - -@PROCEEDINGS{LC87, - booktitle = {Logic Colloquium '87}, - title = {Logic Colloquium '87}, - place = {Taipei, Taiwan}, - editor = {H. J. Ebbinghaus}, - publisher = {North Holland}} - - -@Book{MatZal:fip07, - title = {From Insight to Proof: Festschrift in Honour of Andrzej Trybulec}, - booktitle = {From Insight to Proof: Festschrift in Honour of Andrzej Trybulec}, - series = {Studies in Logic, Grammar and Rhetoric}, - editor = {Matuszewski, R. and Zalewska, A.}, - publisher = {University of Bia{\l}ystok}, - year = {2007}, - volume = {10:23}, - url={http://mizar.org/trybulec65/}} - -@Proceedings{ICSE04, - booktitle = {26\textsuperscript{th} IEEE International Conference on Software Engineering}, - title = {26\textsuperscript{th} IEEE International Conference on Software Engineering}, - year = 2004} - -@proceedings{ICSE06, - title = {ICSE '06: Proceedings of the 28\textsuperscript{th} international conference on Software engineering}, - booktitle = {ICSE '06: Proceedings of the 28\textsuperscript{th} international conference on Software engineering}, - year = {2006}, - isbn = {1-59593-375-1}, - location = {Shanghai, China}, - doi = {10.1145/1134285.1134312}, - url = {http://doi.acm.org/10.1145/1134285.1134312}, - publisher = {ACM}, - address = {New York, NY, USA} - } - -@proceedings{eswc2005, - editor = {Asunci{\'o}n G{\'o}mez-P{\'e}rez and - J{\'e}r{\^o}me Euzenat}, - title = {The Semantic Web: Research and Applications}, - booktitle = {The Semantic Web: Research and Applications}, - eventtitle = {2\textsuperscript{nd} European - Semantic Web Conference (ESWC)}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2005-05-29/2005-06-01}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {3532}, - year = {2005}, - isbn = {3-540-26124-9}} - -@proceedings{eswc2007, - editor = {Enrico Franconi and - Michael Kifer and - Wolfgang May}, - title = {The Semantic Web: Research and Applications}, - booktitle = {The Semantic Web: Research and Applications}, - eventtitle = {4\textsuperscript{th} European Semantic Web Conference (ESWC)}, - venue = {Innsbruck, Austria}, - eventdate = {2007-06-03/2007-06-07}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {4519}, - year = {2007}, - isbn = {978-3-540-72666-1}} - -@proceedings{eswc2008, - editor = {Sean Bechhofer and Manfred Hauswirth and J{\"o}rg Hoffmann and - Manolis Koubarakis}, - title = {The Semantic Web: Research and Applications}, - booktitle = {The Semantic Web: Research and Applications}, - keywords = {conference}, - eventtitle = {5\textsuperscript{th} European Semantic Web Conference (ESWC)}, - venue = {Tenerife, Spain}, - eventdate = {2008-06-01/2008-06-05}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {5021}, - year = {2008}} - -@proceedings{eswc2009, - editor = {Lora Aroyo and Paolo Traverso and Fabio Ciravegna and Philipp Cimiano and Tom Heath and Eero Hyv{\"o}nen and Riichiro Mizoguchi and Eyal Oren and Marta Sabou and Paslaru Bontas Simperl, Elena}, - title = {The Semantic Web: Research and Applications}, - eventtitle = {6\textsuperscript{th} European Semantic Web Conference (ESWC)}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2009-05-31/2009-06-04}, - booktitle = {ESWC}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {5554}, - year = {2009}} - -@comment{Note: part=1 doesn't work here; it only works with the volume field, but for series like LNCS, number is correct} -@proceedings{eswc2010-1, - editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache}, - year = {2010}, - title = {The Semantic Web: Research and Applications (Part I)}, - booktitle = {The Semantic Web: Research and Applications (Part I)}, - eventtitle = {7\textsuperscript{th} Extended Semantic Web Conference (ESWC)}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2010-05-30/2010-06-03}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {6088}} - -@comment{Note: part=2 doesn't work here; it only works with the volume field, but for series like LNCS, number is correct} -@proceedings{eswc2010-2, - editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache}, - year = {2010}, - title = {The Semantic Web: Research and Applications (Part II)}, - booktitle = {The Semantic Web: Research and Applications (Part II)}, - keywords = {conference}, - eventtitle = {7\textsuperscript{th} Extended Semantic Web Conference (ESWC)}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2010-05-30/2010-06-03}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {6089}} - -@proceedings{swui2008, - editor = {Duane Degler and schraefel, mc and Jennifer Golbeck and Abraham Bernstein and Lloyd Rutledge}, - title = {Semantic Web User Interaction (SWUI), {CHI}}, - subtitle = {Exploring HCI Challenges}, - eventdate = {2008-04-05}, - venue = {Florence, Italy}, - booktitle = {Semantic Web User Interaction (SWUI), {CHI}}, - year = {2008}, - number = 543, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - url = {http://CEUR-WS.org/Vol-543}, - issn = {1613-0073}} - -@proceedings{chi2008, - title = {Proceedings of the 2008 Conference on Human Factors in Computing - Systems (CHI)}, - eventdate = {2008-04-05/2008-04-10}, - venue = {Florence, Italy}, - booktitle = {CHI}, - publisher = {ACM}, - year = {2008}} - -@proceedings{chi2007, - editor = {Mary Beth Rosson and David J. Gilmore}, - title = {Proceedings of the 2007 Conference on Human Factors in Computing - Systems, CHI 2007, San Jose, California, USA, April 28 - - May 3, 2007}, - booktitle = {CHI}, - publisher = {ACM}, - year = {2007}, - isbn = {978-1-59593-593-9}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@proceedings{chi1990, - editor = {Jane Carrasco Chew and John Whiteside}, - title = {Conference on Human Factors in Computing Systems (CHI)}, - booktitle = {Conference on Human Factors in Computing Systems (CHI)}, - publisher = {ACM}, - address = {New York, NY, USA}, - year = {1990}, - eventdate = {1990}, - venue = {Seattle, WA, USA}, - isbn = {0-201-50932-6}} - -@Proceedings{LWA08, - editor = {Joachim Baumeister and Martin Atzm{\"u}ller}, - title = {{Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}}, - booktitle = {{Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}}, - type = {Technical Report}, - volume = {448}, - institution = {Universit{\"a}t W{\"u}rzburg}, - year = {2008}, - month = oct} - -@techreport{LWA09, - author = {Melanie Hartmann and Frederik Janssen}, - title = {{LWA 2009; Workshop-Woche: Lernen -- Wissen -- Adaptivit{\"a}t}}, - volume = {TUD-KE-2009-04}, - institution = {Universit{\"a}t Darmstadt}, - year = 2009, - month = sep,} - -@PROCEEDINGS{LWA15, - title = {Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB}, - booktitle = {Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB}, - editor = {Ralph Bergmann and Sebastian G{\"o}rg and Gilbert M{\"u}ller}, - institution = {FGDB. Trier, Germany}, - year = 2015, - month = oct} - -@PROCEEDINGS{LWA13, - title = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}, -booktitle = {LWA 2013 - Lernen, Wissen & Adaptivit{\"a}t, Workshop Proceedings, Bamberg, 7.-9. October 2013}, - editor = {Henrich, Andreas and Sperker, Hans-Christian}, - institution = {Universit{\"a}t Bamberg}, - year = 2013, - month = oct, -} - -@PROCEEDINGS{LWA11, - title = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}, - booktitle = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings}, - institution = {Otto-von-Guericke-Universit{\"a}t Magdeburg}, - year = 2011, - month = sep, -} - - - - -@Proceedings{SCOOP08, - editor = {Christine M{\"u}ller}, - title = {2\textsuperscript{nd} Workshop on Scientific Communities of Practice (SCooP-2008)}, - booktitle = {Proceedings of the 2\textsuperscript{nd} SCooP Workshop}, - howpublished = {online at {\url{http://kwarc.info/events/scoop/scoop2.html}}}, - url = {http://kwarc.info/events/scoop/scoop2.html}, - year = 2008, - month = jun} - -@comment{DBLP:conf/wcce/2001} -@proceedings{WCCE01, - editor = {Deryn Watson and Jane Andersen}, - title = {Networking the Learner: Computers in Education, IFIP TC3 Seventh - IFIP World Conference on Computers in Education, WCCE 2001, July - 29 -- August 3, 2001, Copenhagen, Denmark}, - booktitle = {WCCE}, - publisher = {Kluwer}, - series = {IFIP Conference Proceedings}, - volume = {217}, - year = {2002}, - isbn = {1-4020-7133-7}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@Proceedings{ComTech2005, - year = 2005, - booktitle = {{Communities and Technologies}}, - editor = {Peter van den Besselaar and Giorgio de Michelis and Jenny Preece and Carla Simone}, - publisher = {Springer Verlag}} - - - -@Proceedings{SemNet2007, - booktitle = {Bridging the Gap between Semantic Web and Web 2.0 (SemNet)}, - editor = {Andreas Hotho and Bettina Hoser}, - year = {2007}, - month = jun} -@PROCEEDINGS{KWEPSY2007, - booktitle = {Proceedings of the KWEPSY (Knowledge Web PhD Symposium)}, - venue = {Innsbruck, Austria}, - eventdate = {2007-06}, - year = 2007, - editor = {Elena Simperl and J{\"o}rg Diederich and Guus Schreiber}, - number = {275}, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - issn = {1613-0073}, - url = {http://CEUR-WS.org/Vol-275}} - -@proceedings{DL-handbook03, - editor = {Franz Baader and - Diego Calvanese and - Deborah L. McGuinness and - Daniele Nardi and - Peter F. Patel-Schneider}, - title = {The Description Logic Handbook: Theory, Implementation, - and Applications}, - booktitle = {Description Logic Handbook}, - publisher = {Cambridge University Press}, - year = {2003}, - isbn = {0-521-78176-0}} - -@PROCEEDINGS{MKM04, - title = {Mathematical Knowledge Management, {MKM'04}}, - year = {2004}, - editor = {Andrea Asperti and Grzegorz Bancerek and Andrej Trybulec}, - number = {3119}, - series = {LNAI}, - publisher = {Springer Verlag}, - booktitle = {Mathematical Knowledge Management, {MKM'04}}} - -@PROCEEDINGS{IJCAI99, - year = {1999}, - editor = {Thomas Dean}, - address = {Stockholm}, - publisher = {Morgan Kaufmann}, - booktitle = {Proceedings of the 16\textsuperscript{th} {International} {Joint} {Conference} on {Artificial} - {Intelligence} ({IJCAI})}, - key = {IJCAI1999}} - -@proceedings{CADE07, - editor = {Frank Pfenning}, - title = {Automated Deduction -- CADE-21, 21\textsuperscript{st} International Conference on Automated - Deduction, Bremen, Germany, July 17-20, 2007, Proceedings}, - booktitle = {CADE}, - publisher = {Springer}, - series = {LNCS}, - number = {4603}, - year = {2007}, - isbn = {978-3-540-73594-6}} - -@PROCEEDINGS{LACL96, - booktitle = {Logical Aspects of Computational Linguistics}, - title = {Logical Aspects of Computational Linguistics}, - year = {1996}, - editor = {Christian Retor{\'e}}, - publisher = {Springer-Verlag}} - -@PROCEEDINGS{LINEAR96, - booktitle = {Linear Logic 96 Tokyo Meeting}, - title = {Linear Logic 96 Tokyo Meeting}, - year = {1996}, - volume = {3}, - series = {Electronic Notes in Theoretical Computer Science}, - editor = {Jean-Yves Girard and Mitsuhiro Okada and Andre Scedrov}, - publisher = {Elsevier}} - -@Proceedings{iswc2008, - title = {The Semantic Web}, - booktitle = {The Semantic Web}, - eventtitle = {7\textsuperscript{th} International Semantic Web Conference (ISWC)}, - year = 2008, - editor = {Amit P. Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy W. Finin and Krishnaprasad Thirunarayan}, - number = {5318}, - series = {LNCS}, - month = oct, - publisher = {Springer Verlag}} - -@Proceedings{SWASD09, - title = {Semantic Web Applications in Scientific Discourse (SWASD)}, - booktitle = {Semantic Web Applications in Scientific Discourse (SWASD)}, - year = {2009}, - editor = {Tim Clark and Joanne S. Luciano and M. Scott Marshall and Eric Prud'hommeaux and Susie Stephens}, - series = "CEUR Workshop Proceedings", - address = {Aachen}, - issn = {1613-0073}, - number = 523, - url = {http://CEUR-WS.org/Vol-523}} - -@Proceedings{SDoW2008, - title = {Social Data on the Web (SDoW), Workshop at the 7\textsuperscript{th} International Semantic Web Conference}, - year = {2008}, - eventdate = {2008-10-27}, - venue = {Karlsruhe, Germany}, - booktitle = {Social Data on the Web (SDoW), Workshop at the 7\textsuperscript{th} International Semantic Web Conference}, - editor = {John Breslin and Uldis Boj{\=a}rs and Alexandre Passant and Sergio Fern{\'a}ndez}, - series = "CEUR Workshop Proceedings", - address = {Aachen}, - issn = {1613-0073}, - number = 405, - url = {http://sdow.semanticweb.org/2008/}} - -@Proceedings{SDoW2009, - title = {Social Data on the Web (SDoW), Workshop at the 8\textsuperscript{th} International Semantic Web Conference}, - year = 2009, - eventdate = {2009-10-25}, - venue = {Washington DC, USA}, - booktitle = {Social Data on the Web (SDoW), Workshop at the 8\textsuperscript{th} International Semantic Web Conference}, - editor = {John Breslin and Uldis Boj{\=a}rs and Alexandre Passant and Sergio Fern{\'a}ndez}, - series = "CEUR Workshop Proceedings", - address = {Aachen}, - issn = {1613-0073}, - number = 520, - url = {http://sdow.semanticweb.org/2009/}} - -@Proceedings{MathUI08, - editor = {Paul Libbrecht}, - title = {Mathematical User Interfaces Workshop at {MKM}}, - booktitle = {Mathematical User Interfaces Workshop}, - url = {http://www.activemath.org/~paul/MathUI08}, - year = 2008, - month = jul} - -@Proceedings{www2003, - title = {Proceedings of the 12\textsuperscript{th} international {World} {Wide} {Web} conference, ({WWW})}, - venue = {Budapest, Hungary}, - eventdate = {2003-05-20/2003-05-24}, - booktitle = {Proceedings of the 12\textsuperscript{th} {WWW} conference}, - publisher = {ACM Press}, - year = {2003}} - -@PROCEEDINGS{www2005, - title = {Proceedings of the 14\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})}, - venue = {Chiba, Japan}, - eventdate = {2005-05-10/2005-05-14}, - booktitle = {Proceedings of the 14\textsuperscript{th} {WWW} conference}, - publisher = {ACM Press}, - year = {2005}, - editor = {Allan Ellis and Tatsuya Hagino}, - isbn = {1-59593-046-9}} - -@PROCEEDINGS{www2006, - title = {Proceedings of the 15\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})}, - venue = {Edinburgh, Scotland}, - evendate = {2006-05-23/2006-05-26}, - booktitle = {Proceedings of the 15\textsuperscript{th} {WWW} conference}, - publisher = {ACM Press}, - year = {2006}} - -@PROCEEDINGS{www2007, - title = {Proceedings of the 16\textsuperscript{th} international {World} {Wide} {Web} conference ({WWW})}, - venue = {Banff, Alberta, Canada}, - eventdate = {2007-05-08/2007-05-12}, - booktitle = {Proceedings of the 16\textsuperscript{th} {WWW} conference}, - publisher = {ACM Press}, - editor = {Carey L. Williamson and - Mary Ellen Zurko and - Peter F. Patel-Schneider and - Prashant J. Shenoy}, - year = {2007}, - isbn = {978-1-59593-654-7}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@PROCEEDINGS{www2008, - title = {Proceedings of the 17\textsuperscript{th} international - {World} {Wide} {Web} conference ({WWW})}, - venue = {Beijing, China}, - eventdate = {2008-04-21/2008-04-25}, - booktitle = {Proceedings of the 17\textsuperscript{th} {WWW} conference}, - publisher = {ACM Press}, - editor = {Jinpeng Huai and Robin Chen and Hsiao-Wuen Hon and Yunhao Liu and Wei-Ying Ma and Andrew Tomkins and Xiaodong Zhang}, - year = {2008}, - isbn = {978-1-60558-085-2}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@PROCEEDINGS{www2009, - title = {Proceedings of the 18\textsuperscript{th} international - {World} {Wide} {Web} conference ({WWW})}, - venue = {Madrid, Spain}, - eventdate = {2009-04-20/2009-04-24}, - booktitle = {Proceedings of the 17\textsuperscript{th} {WWW} conference}, - publisher = {ACM Press}, - editor = {Juan Quemada and Gonzalo Le{\'o}n and Yo{\"e}lle S. Maarek and Wolfgang Nejdl}, - year = {2009}, - isbn = {978-1-60558-487-4}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@PROCEEDINGS{er2006, - title = {25\textsuperscript{th} International Conference on Conceptual Modeling (ER2006)}, - year = 2006, - editor = {D. W. Embley and A. Olive and S. Ram}, - number = 4215, - series = {LNCS}, - venue = {Tucson, USA}, - eventdate = 2006, - booktitle = {Proceedings of the 25\textsuperscript{th} International Conference on Conceptual Modeling (ER2006)}} - -@Proceedings{semantics2006, - title = {Semantics: From Visions to Applications}, - subtitle = {Semantics -- The New Paradigm Shift in {IT}}, - venue = {Vienna, Austria}, - eventdate = {2006-11}, - booktitle = {Proceedings of Semantics: From Visions to Applications}, - booksubtitle = {Semantics -- The New Paradigm Shift in {IT}}, - editor = {York Sure and Sebastian Schaffert}, - year = 2006} -@Proceedings{Wissenstransform05, - year = {2005}, - booktitle = {{Wissenstransform. Wissensmanagement in gleichstellungsorientierten Netzwerken}}, - editor = {Sylke Ernst and Jasmin Warwas and Edit Kirsch-Auwaerter}, - publisher = {LIT Verlag}} - -@Proceedings{ComTech2003, - year = 2003, - booktitle = {{Communities and Technologies}}, - editor = {Marleen Huysmann and Etienne Wenger and Volker Wulf}, - publisher = {Kluwer Academic Publishers}} - -@Proceedings{OSEE2005, - title = {Open Source for Education in Europe: Research and Practise}, - booktitle = {Open Source for Education in Europe: Research and Practise}, - year = {2005}, - editor = {Fred de Vries and Graham Attwell and Raymond Elferink and Alexandra T{\"o}dt}, - address = {Heerlen, The Netherlands}, - month = nov, - organization = {Open Universiteit Nederland}, - publisher = {Open Universiteit Nederland}, - url = {http://hdl.handle.net/1820/483}, - note = {Proceedings at \url{http://hdl.handle.net/1820/483}}} -@Proceedings{LOKMOL2006, - title = {{2\textsuperscript{nd} Workshop on Learner Oriented Knowledge Management \& {KM} Oriented - e-Learning}}, - year = 2006, - booktitle = {{Joint International Workshop on Professional Learning, Competence - Development and Knowledge Management -- LOKMOL and L3NCD}}, - editor = {Martin Memmel and Eric Ras and Stephan Weibelzahl}, - note = {Online Proceedings at - {\url{http://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf}}}, - url = {http://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf}} -@Proceedings{Pre-ConferenceWorkshopsDeLFI2006, - title = {{Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung - Informatik DeLFI 2006}}, - year = 2006, - editor = {Christoph Rensing}, - publisher = {Logos Verlag}, - note = {ISBN 3-8325-1330-2}} - -@proceedings{SIGIR93, - editor = {Robert Korfhage and Edie M. Rasmussen and Peter Willett}, - title = {Proceedings of the 16\textsuperscript{th} Annual International ACM-SIGIR Conference - on Research and Development in Information Retrieval. Pittsburgh, - PA, USA, June 27 -- July 1, 1993}, - booktitle = {Proceedings of the 16\textsuperscript{th} Annual International ACM-SIGIR Conference - on Research and Development in Information Retrieval}, - publisher = {ACM}, - year = {1993}} - -@PROCEEDINGS{wikisym06, - title = {International Symposium on Wikis (WikiSym)}, - year = 2006, - eventdate = {2006-08-21/2006-08-23}, - venue = {Odense, Denmark}, - editor = {Dirk Riehle and James Noble}, - series = {ACM Press}, - booktitle = {Proceedings of the International Symposium on Wikis (WikiSym)}, - url = {http://www.wikisym.org/ws2006/proceedings/}} - -@PROCEEDINGS{wikisym07, - title = {International Symposium on Wikis (WikiSym)}, - year = 2007, - eventdate = {2007-10-21/2007-10-25}, - venue = {Montreal, Quebec, Canada}, - editor = {Alain D{\'e}silets and Robert Biddle}, - series = {ACM Press}, - booktitle = {Proceedings of the International Symposium on Wikis (WikiSym)}, - url = {http://www.wikisym.org/ws2007/proceedings/}} - -@PROCEEDINGS{wikisym08, - title = {4\textsuperscript{th} International Symposium on Wikis (WikiSym)}, - year = 2008, - eventdate = {2008-09-08/2008-09-10}, - venue = {Porto, Portugal}, - editor = {Ademar Aguiar and Mark Bernstein}, - series = {ACM Press}, - booktitle = {Proceedings of the 4\textsuperscript{th} International Symposium on Wikis (WikiSym)}, - url = {http://www.wikisym.org/ws2008/proceedings/}} - -@PROCEEDINGS{wikisym09, - title = {5\textsuperscript{th} International Symposium on Wikis and Open Collaboration (WikiSym)}, - year = 2009, - eventdate = {2009-10-25/2009-10-27}, - venue = {Orlando, Florida}, - editor = {Dirk Riehle and Amy Bruckman}, - series = {ACM Press}, - booktitle = {Proceedings of the 5\textsuperscript{th} International Symposium on Wikis and Open Collaboration (WikiSym)}, - url = {http://www.wikisym.org/ws2009/proceedings/}} - -@PROCEEDINGS{wikisym10, - title = {6\textsuperscript{th} International Symposium on Wikis and Open Collaboration (WikiSym)}, - year = 2010, - eventdate = {2010-07-07/2010-07-09}, - venue = {Gdansk, Poland}, - editor = {Phoebe Ayers and Felipe Ortega}, - series = {ACM Press}, - booktitle = {Proceedings of the 6\textsuperscript{th} International Symposium on Wikis and Open Collaboration (WikiSym)}, - url = {http://www.wikisym.org/ws2010/Proceedings/}} - -@PROCEEDINGS{TLCA97, - title = {Proceedings of the 3\textsuperscript{rd} International Conference on Typed Lambda Calculus and Applications}, - booktitle = {Proceedings of the 3\textsuperscript{rd} International Conference on Typed Lambda Calculus and Applications}, - year = {1997}, - editor = {P. {de Groote} and J. R. Hindley}, - number = {1210}, - series = {LNCS}, - venue = {Nancy, France}, - eventdate = 1997, - publisher = {Springer Verlag}} - -@PROCEEDINGS{OM09, - editor = {James H. Davenport}, - title = {22\textsuperscript{nd} OpenMath Workshop}, - booktitle = {22\textsuperscript{nd} OpenMath Workshop}, - url = {http://staff.bath.ac.uk/masjhd/OM2009.html}, - year = {2009}, - month = jul} - -@Proceedings{DML08, - title = {Towards Digital Mathematics Library, Proceedings of the DML 2008 workshop}, - booktitle = {Towards Digital Mathematics Library, Proceedings of the DML 2008 workshop}, - year = 2008, - editor = {Petr Sojka}, - publisher = {Masaryk University, Brno}} - -@Proceedings{DML09:biblatex, - title = {Towards Digital Mathematics Library}, - booktitle = {Towards Digital Mathematics Library}, - eventtitle = {DML 2009 workshop}, - eventdate = {2009-07-08/2009-07-09}, - venue = {Grand Bend, Ontario, Canada}, - year = 2009, - editor = {Petr Sojka}, - publisher = {Masaryk University Press, Brno}} - -@Proceedings{DML09, - title = {Towards Digital Mathematics Library, DML 2009 workshop}, - booktitle = {Towards Digital Mathematics Library, DML 2009 workshop}, - year = 2009, - editor = {Petr Sojka}, - publisher = {Masaryk University, Brno}} - -@Proceedings{DML10, - title = {Towards Digital Mathematics Library, DML workshop}, - booktitle = {Towards Digital Mathematics Library, DML workshop}, - year = 2010, - editor = {Petr Sojka}, - publisher = {Masaryk University, Brno}} - -@Proceedings{DML11, - title = {Towards Digital Mathematics Library, DML workshop}, - booktitle = {Towards Digital Mathematics Library, DML workshop}, - year = 2011, - editor = {Petr Sojka}, - publisher = {Masaryk University, Brno}} - -@Proceedings{SIGDoc08, - title = {Proceedings of the 26\textsuperscript{th} annual ACM international conference on Design of communication}, - booktitle = {Proceedings of the 26\textsuperscript{th} annual ACM international conference on Design of communication}, - year = 2008, - editor = {Carlos J. Costa and Aristidis Protopsaltis and Manuela Aparicio and Henrique O'Neill}, - organization = {ACM Special Interest Group for Design of Communication}, - publisher = {ACM Press}} - -@Proceedings{SIGDOC11, - title = {Proceedings of the 29\textsuperscript{th} annual ACM international conference on Design of communication (SIGDOC)}, - booktitle = {Proceedings of the 29\textsuperscript{th} annual ACM international conference on Design of communication (SIGDOC)}, - year = 2011, - FINDOUTeditor = {Brad Mehlenbacher and Aristidis Protopsaltis and Ashley Williams and Shaun Slatterey}, - organization = {ACM Special Interest Group for Design of Communication}, - publisher = {ACM Press}, - address = {New York, NY, USA}, - FINDOUTdoi = {10.1145/1621995.1622013}, - venue = {Pisa, Italy}, - CHANGEeventdate = 2011} - -@Proceedings{SIGDOC10, - title = {Proceedings of the 28th ACM International Conference on Design of Communication}, - booktitle = {Proceedings of the 28th ACM International Conference on Design of Communication}, - series = {SIGDOC '10}, - year = {2010}, - isbn = {978-1-4503-0403-0}, - location = {S\~ao Carlos, S\~ao Paulo, Brazil}, - organization = {ACM Special Interest Group for Design of Communication}, - publisher = {ACM Press}, - address = {New York, NY, USA}, - doi = {10.1145/1621995.1622013}, - venue = {Bloomington, Indiana, USA}, - eventdate = 2009} - -@Proceedings{SIGDOC09, - title = {Proceedings of the 27\textsuperscript{th} annual ACM international conference on Design of communication (SIGDOC)}, - booktitle = {Proceedings of the 27\textsuperscript{th} annual ACM international conference on Design of communication (SIGDOC)}, - year = 2009, - editor = {Brad Mehlenbacher and Aristidis Protopsaltis and Ashley Williams and Shaun Slatterey}, - organization = {ACM Special Interest Group for Design of Communication}, - publisher = {ACM Press}, - address = {New York, NY, USA}, - doi = {10.1145/1621995.1622013}, - venue = {Bloomington, Indiana, USA}, - eventdate = 2009} - -@Proceedings{FM09, - title = {16\textsuperscript{th} International Symposium on Formal Methods (FM 2009)}, - booktitle = {16\textsuperscript{th} International Symposium on Formal Methods (FM 2009)}, - editor = {Ana Cavalcanti and Dennis Dams}, - publisher = {Springer Verlag}, - series = {LNCS}, - number = {5850}, - year = {2009}} - -@Proceedings{BALISAGE09:biblatex, - title = {Proceedings of Balisage: The Markup Conference}, - booktitle = {Proceedings of Balisage: The Markup Conference}, - volume = 3, - publisher = {Mulberry Technologies, Inc.}, - series = {Balisage Series on Markup Technologies}, - year = {2009}} - -@Proceedings{BALISAGE09, - title = {Proceedings of Balisage: The Markup Conference 2009}, - booktitle = {Proceedings of Balisage: The Markup Conference 2009}, - url = {http://www.balisage.net/Proceedings/vol3/cover.html}, - note = {available at \url{http://www.balisage.net/Proceedings/vol3/}}, - publisher = {Mulberry Technologies, Inc.}, - series = {Balisage Series on Markup Technologies}, - year = {2009}} - -@Proceedings{BALISAGE10:biblatex, - title = {Proceedings of Balisage: The Markup Conference}, - booktitle = {Proceedings of Balisage: The Markup Conference}, - url = {http://www.balisage.net/Proceedings/vol5/cover.html}, - volume = 5, - publisher = {Mulberry Technologies, Inc.}, - series = {Balisage Series on Markup Technologies}, - year = {2010}} - -@Proceedings{BALISAGE11:biblatex, - title = {Proceedings of Balisage: The Markup Conference}, - booktitle = {Proceedings of Balisage: The Markup Conference}, - url = {http://www.balisage.net/Proceedings/vol7/cover.html}, - volume = 7, - publisher = {Mulberry Technologies, Inc.}, - series = {Balisage Series on Markup Technologies}, - year = {2011}} - -@Proceedings{BALISAGE10, - title = {Proceedings of Balisage: The Markup Conference 2010}, - booktitle = {Proceedings of Balisage: The Markup Conference 2010}, - url = {http://www.balisage.net/Proceedings/vol3/}, - note = {available at \url{http://www.balisage.net/Proceedings/vol3/}}, - publisher = {Mulberry Technologies, Inc.}, - series = {Balisage Series on Markup Technologies}, - year = {2010}} - -@Book{BKB60, - editor = {Berthold Hoffmann and Bernd Gersdorf and Christoph L{\"u}th and Till Mossakowski and Thomas R{\"o}fer and -Lutz Schr{\"o}der and Shi Hui and Mattias Werner}, - publisher = {DFKI}, - year = 2009, - title = {Festschrift in Honour of Bernd Krieg-Br{\"u}ckner's 60\textsuperscript{th} Birthday}, - booktitle = {Festschrift in Honour of Bernd Krieg-Br{\"u}ckner's 60\textsuperscript{th} Birthday}} - - - -@Proceedings{IWCS99, - year = {1999}, - booktitle = {Proceedings of {IWCS} {III} (Third International Workshop on Computational - Semantics)}, - title = {Proceedings of {IWCS} {III} (Third International Workshop on Computational - Semantics)}, - editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet}, - address = {Tilburg}} - -@Proceedings{iwcs2,crossref={IWCS97}} -@Proceedings{IWCS97, - booktitle = {Proceedings of {IWCS} {II} (Second International Workshop on Computational - Semantics)}, - title = {Proceedings of {IWCS} {II} (Second International Workshop on Computational - Semantics)}, - year = {1997}, - editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet}, - address = {Tilburg}} - - -@Proceedings{iwcs1,crossref={IWCS94}} -@Proceedings{IWCS94, - booktitle = {International {Workshop} on {Computational} {Semantics}}, - title = {International {Workshop} on {Computational} {Semantics}}, - year = {1994}, - editor = {Harry Bunt and Reinhard Muskens and Gerrit Rentier}, - address = {Tilburg}} - -@proceedings{DBLP:conf/icsoc/2005, - editor = {Boualem Benatallah and - Fabio Casati and - Paolo Traverso}, - title = {Service-Oriented Computing -- ICSOC 2005, Third International - Conference, Amsterdam, The Netherlands, December 12-15, - 2005, Proceedings}, - booktitle = {ICSOC}, - publisher = {Springer}, - series = {LNCS}, - number = {3826}, - year = {2005}, - isbn = {3-540-30817-2}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - - -@proceedings{DBLP:conf/vl/2005, - title = {2005 IEEE Symposium on Visual Languages and Human-Centric - Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, - USA}, - booktitle = {VL/HCC}, - publisher = {IEEE Computer Society}, - year = {2005}, - isbn = {0-7695-2443-5}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@Proceedings{EUSPRIG13, - title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013)}, - booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2013)}, - CHANGEeditor={Simon Thorne}, - CHANGEpublisher = {European Spreadsheet Risk Interest Group}, - CHANGEisbn = {978-1-905404-50-6}, - year = 2013} - -@Proceedings{EUSPRIG10, - title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010)}, - booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010)}, - editor={Simon Thorne}, - publisher = {European Spreadsheet Risk Interest Group}, - isbn = {978-1-905404-50-6}, - year = 2010} - -@Proceedings{EUSPRIG07, - title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2007)}, - booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2007)}, - year = 2007} - -@Proceedings{EUSPRIG05, - title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2005)}, - booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2005)}, - year = 2005} - -@Proceedings{EUSPRIG01, - title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2001)}, - booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2001)}, - year = 2001} - -@Proceedings{EUSPRIG00, - title = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2000)}, - booktitle = {Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2000)}, - year = 2000} - -@Proceedings{LinkedAI2010, - year = {2010}, - editor = {Dan Brickley and Vinay K. Chaudhri and Harry Halpin and Deborah L. McGuinness}, - booktitle = {Proceedings of the AAAI Spring Symposium on Linked Data Meets Artificial Intelligence}, - title = {Proceedings of the AAAI Spring Symposium on Linked Data Meets Artificial Intelligence}} - -@proceedings{DBLP:conf/kcap/2007womo, - editor = {Bernardo Cuenca Grau and - Vasant Honavar and - Anne Schlicht and - Frank Wolter}, - title = {Proceedings of the 2\textsuperscript{nd} International Workshop on Modular - Ontologies (WoMO) 2007}, - venue = {Whistler, Canada}, - eventdate = {2007-10-28}, - booktitle = {WoMO}, - url = {http://ceur-ws.org/Vol-315}, - publisher = {CEUR-WS.org}, - address = {Aachen}, - series = {CEUR Workshop Proceedings}, - number = {315}, - year = {2008}, - bibsource = {DBLP, http://dblp.uni-trier.de}} - -@proceedings{SOFSEM2010, - editor = {Jan van Leeuwen and - Anca Muscholl and - David Peleg and - Jaroslav Pokorn{\'y} and - Bernhard Rumpe}, - title = {{SOFSEM}: Theory and Practice of Computer Science}, - booktitle = {{SOFSEM}: Theory and Practice of Computer Science}, - eventtitle = {36\textsuperscript{th} Conference on Current Trends in Theory and Practice of Computer Science}, - venue = {{\v S}pindler{\r u}v Ml{\'y}n, Czech Republic}, - eventdate = {2010-01-23/2010-01-29}, - publisher = {Springer}, - series = {LNCS}, - number = 5901, - year = 2010, - isbn = {978-3-642-11265-2}, - doi = {10.1007/978-3-642-11266-9}} - -@Proceedings{ICM2002, - title = {Electronic Information and Communication in Mathematics}, - booktitle = {Electronic Information and Communication in Mathematics}, - eventtitle = {ICM International Satellite Conference}, - venue = {Beijing, China}, - eventdate = {2002-08-29/2002-08-31}, - year = 2003, - editor = {Fengshan Bai and Bernd Wegner}, - number = 2730, - series = {LNCS}, - publisher = {Springer}} - -@proceedings{eunis2001, - editor = {Jan von Knop and - Peter Schirmbacher and - Viljan Mahnic}, - title = {The Changing Universities -- The Role of Technology}, - eventtitle = {7\textsuperscript{th} International Conference of European University Information - Systems}, - eventdate = {2001-03-28/2001-03-30}, - venue = {Berlin, Germany}, - booktitle = {EUNIS}, - publisher = {GI}, - series = {LNI}, - number = 13, - year = 2002, - isbn = {3-88579-339-3}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@Proceedings{ACA2008, - title = {Applications for Computer Algebra}, - year = 2008, - booktitle = {Applications for Computer Algebra}, - editor = {Elena Smirnova and Stephen M. Watt}, - eventdate = {2008-07-27/2008-07-30}, - venue = {RISC, Linz, Austria}} - -@PROCEEDINGS{KI10, - title = {Proceedings of the 33.rd Annual German Conference on Artificial Intelligence - KI'10}, - year = {2010}, - editor = {R{\"u}diger Dillmann and J{\"u}rgen Beyerer and Uwe D. Hanebeck and Tanja Schultz}, - number = {6359}, - series = {LNAI}, - address = {Karlsruhe, Germany}, - booktitle = {KI 2010: Advances in Artificial Intelligence}, -} - - - -@Proceedings{MALOG10, - booktitle = {1\textsuperscript{st} International Workshop on Mathematics and ICT: Education, Research and Applications}, - venue = {Bucharest, Romania}, - eventdate = {2010-11-03}, - year = {2010}, - editor = {Ion Mierlus-Mazilu}, - url = {http://civile.utcb.ro/malog/}} - -@Proceedings{iswc2009, - title = {The Semantic Web -- ISWC 2009}, - booktitle = {The Semantic Web -- ISWC 2009}, - eventtitle = {8\textsuperscript{th} International Semantic Web Conference (ISWC)}, - year = 2009, - editor = {Abraham Bernstein and David R. Karger and Tom Heath and Lee Feigenbaum and Diana Maynard and Enrico Motta and Krishnaprasad Thirunarayan}, - number = {5823}, - series = {LNCS}, - month = oct, - publisher = {Springer Verlag}} - -@proceedings{iswc2011-1, - editor = {Lora Aroyo and - Chris Welty and - Harith Alani and - Jamie Taylor and - Abraham Bernstein and - Lalana Kagal and - Natasha Fridman Noy and - Eva Blomqvist}, - title = {The Semantic Web (Part I)}, - booktitle = {The Semantic Web (Part I)}, - eventtitle = {10\textsuperscript{th} International Semantic Web Conference (ISWC)}, - venue = {Bonn, Germany}, - eventdate = {2011-10-23/2011-10-27}, - publisher = {Springer}, - series = {LNCS}, - number = {7031}, - year = {2011}, - isbn = {978-3-642-25072-9}, -} - -@proceedings{DOCENG10, - editor = {Michael Gormish and Rolf Ingold}, - title = {Proceedings of the 10\textsuperscript{th} ACM symposium on Document engineering}, - booktitle = {Proceedings of the 10\textsuperscript{th} ACM symposium on Document engineering}, - series = {DocEng '10}, - year = {2010}, - isbn = {978-1-4503-0231-9}, - location = {Manchester, United Kingdom}, - publisher = {ACM}, - address = {New York, NY, USA}} -@proceedings{Wiedijk2006provers, - editor = {Freek Wiedijk}, - title = {The Seventeen Provers of the World, Foreword by Dana S. - Scott}, - booktitle = {The Seventeen Provers of the World}, - publisher = {Springer}, - series = {LNCS}, - number = {3600}, - year = {2006}, - isbn = {3-540-30704-4}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@proceedings{cnl2009, - editor = {Norbert E. Fuchs}, - booktitle = {Controlled Natural Language, Workshop on Controlled Natural Language, - CNL 2009. Revised Papers}, - title = {Controlled Natural Language, Workshop on Controlled Natural Language, - CNL 2009. Revised Papers}, - publisher = {Springer}, - series = {LNCS}, - number = {5972}, - year = {2010}, - isbn = {978-3-642-14417-2}, - doi = {10.1007/978-3-642-14418-9}, - ee = {http://dx.doi.org/10.1007/978-3-642-14418-9}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@Proceedings{EduMedia2007, - title = {EduMedia}, - year = 2007, - booktitle = {Offene Bildung im/mit dem Web 2.0!?!}, - editor = {Veronika Hornung-Pr{\"a}hauser}, - publisher = {Salzburg Research}, - url = {http://edumedia.salzburgresearch.at}, - note = {3. Interdisziplin{\"a}re EduMedia Tagung, 16.-17. April 2007, Salzburg}} -@collection{LNCS:OCaSC, - title = {{LNCS: Online Communities and Social Computing}}, - year = {2007}, - isbn = {978-3-540-73256-3}, - doi = {10.1007/978-3-540-73257-0}, - url = {http://doi.acm.org/10.1007/978-3-540-73257-0}, - number = {4564}, - publisher = {Springer Berlin/ Heidelberg}} - - -@Proceedings{ISWC2011PD, - title = {Posters and Demos at the 10\textsuperscript{th} International Semantic Web Conference (ISWC)}, - booktitle = {Posters and Demos at the 10\textsuperscript{th} International Semantic Web Conference (ISWC)}, - year = 2011, - editor = {Marta Sabou and Guilin Qi}, - url = {http://iswc2011.semanticweb.org/program/posters-and-demos/} -} - - -@Proceedings{ASE00, - booktitle = {Proceedings 15\textsuperscript{th} IEEE International Conference on Automated Software Engineering, ASE-2000}, - publisher = {IEEE Computer Society}, - year = {2000}} - -@Proceedings{ASE01, - title = {Proceedings 16\textsuperscript{th} IEEE International Conference on Automated Software Engineering, ASE-2001}, - booktitle = {Proceedings 16\textsuperscript{th} IEEE International Conference on Automated Software Engineering, ASE-2001}, - address = {San Diego, USA}, - publisher = {IEEE Computer Society}, - year = 2001} - -@InProceedings{ASE05, - booktitle = {20\textsuperscript{th} IEEE/ACM International Conference on Automated Seofware Engineering}, - title = {20\textsuperscript{th} IEEE/ACM International Conference on Automated Seofware Engineering}, - publisher = {IEEE Computer Society}, - year = 2005} - - -@PROCEEDINGS{CALCULEMUS02-wip, - title = {Calculemus 2002 --- 10\textsuperscript{th} Symposium on the Integration of Symbolic - Computation and Mechanized Reasoning --- Work in Progress Papers}, - year = {2002}, - editor = {Olga Caprotti and Volker Sorge}, - number = {SR--02--04}, - address = {Marseille, France}, - publisher = {Dept. of Computer Science, Saarland University, Saarbr{\"u}cken, Germany}, - booktitle = {Calculemus 2002 --- 10\textsuperscript{th} Symposium on the Integration of Symbolic - Computation and Mechanized Reasoning --- Work in Progress Papers}, - type = {Seki Report}} - -@PROCEEDINGS{ECAI02-CMNLA, - title = {Proceedings of the ECAI 2002 Workshop on Computational Models of - Natural Argument}, - year = {2002}, - editor = {Giuseppe Carenini and Floriana Grasso and Chris Reed}, - address = {Lyon France }} - -@PROCEEDINGS{CALCULEMUS98, - title = {6\textsuperscript{th} CALCULEMUS and TYPES Workshop}, - year = {1998}, - editor = {Arjeh Cohen and Henk Barendregt}, - address = {Eindhoven, The Netherlands}, - url = {http://www.win.tue.nl/math/dw/pp/calc/proceedings.html}, - month = jul, - booktitle = {6\textsuperscript{th} CALCULEMUS and TYPES Workshop}} - -@Book{ReDeRa:SWE07, - year = 2008, - month = apr, - editor = {J{\"o}rg Rech and Bj{\"o}rn Decker and Eric Ras}, - title = {Emerging Technologies for Semantic Work Environments: Techniques, - Methods, and Applications}, - booktitle = {Emerging Technologies for Semantic Work Environments: Techniques, - Methods, and Applications}, - publisher = {IGI Global}, - doi = {10.4018/978-1-59904-877-2}, - url = {http://www.igi-global.com/reference/details.asp?ID=7543}} - -@MISC{wikipedia, - title = {Wikipedia, the free encyclopedia}, - howpublished = {\url{http://www.wikipedia.org}}, - editor = {{Wikimedia Foundation}}, - key = {Wikipedia}, - url = {http://www.wikipedia.org}} - -@proceedings{geos2011, - editor = {Christophe Claramunt and Sergei Levashkin and Michela Bertolotto}, - eventtitle = {GeoSpatial Semantics (GeoS) -- 4th International Conference}, - title = {GeoSpatial Semantics (GeoS) -- 4th International Conference}, - venue = {Brest, France}, - eventdate = {2011-05-12/2011-05-13}, - booktitle = {GeoS}, - publisher = {Springer}, - series = {LNCS}, - number = 6631, - year = 2011, - isbn = {978-3-642-20629-0}} - -@collection{HorLucKal:sli08, - title = {{Selbstorganisiertes Lernen im Internet}}, - booktitle = {{Selbstorganisiertes Lernen im Internet}}, - year = {2008}, - editor = {Veronika Hornung-Pr{\"a}hauser and Michaela Luckmann and Marco Kalz}, - publisher = {Studienverlag}} - - -@Book{BenBroSieSta:fhpab08, - editor = {Christoph Benzm{\"u}ller and Chad Brown and J{\"o}rg Siekmann and Rick Statman}, - bookitle = {Festschrift in honour of Peter B.~Andrews On his 70\textsuperscript{th} Birthday}, - title = {Festschrift in honour of Peter B.~Andrews On his 70\textsuperscript{th} Birthday}, - publisher = {College Publications}, - year = 2008} - -@Book{BunKieMus:cmii01, - year = {2001}, - booktitle = {Computing Meaning (Volume 2)}, - title = {Computing Meaning (Volume 2)}, - editor = {Bunt, Harry and Kievit, Leen and Muskens, Reinhard and Verlinden, Margriet}, - publisher = {Kluwer Academic Publishers} -} - -@proceedings{DBLP:conf/icse/2011, - editor = {Richard N. Taylor and Harald Gall and Nenad Medvidovic}, - title = {Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011}, - booktitle = {ICSE}, - publisher = {ACM}, - year = {2011}, - isbn = {978-1-4503-0445-0}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - -@PROCEEDINGS{SYNASC03, - booktitle = {5\textsuperscript{th} International Workshop on Symbolic and Numeric Algorithms for - Scientific Computing (SYNASC 03)}, - title = {5\textsuperscript{th} International Workshop on Symbolic and Numeric Algorithms for - Scientific Computing (SYNASC 03)}, - year = {2003}, - editor = {D. Petcu and D. Zaharie and V. Negru and T. Jebelean}, - address = {Timisoara, Romania}, - publisher = {Mirton Publishing Company}} - -@PROCEEDINGS{SYNASC13, - booktitle = {14th International Workshop on Symbolic and Numeric Algorithms for - Scientific Computing (SYNASC 2012)}, - title = {International Workshop on Symbolic and Numeric Algorithms for - Scientific Computing (SYNASC 2012)}, - year = {2013}, - editor = {Andrei Voronkov and -Viorel Negru and -Tetsuo Ida and -Tudor Jebelean and -Dana Petcu and -Stephen M. Watt and -Daniela Zaharie}, - publisher = {IEEE Press}, - isbn = {978-1-4673-5026-6}, - ee = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6480928}, - address = {Timisoara, Romania}} - - -@PROCEEDINGS{OSEMA2011, - booktitle = {1\textsuperscript{st} Workshop on Ontology and Semantic Web for Manufacturing}, - year = 2011, - editor = {Garc{\'i}a Castro, Alexander and Carlos Toro and Luis Ramos and Lutz Schr{\"o}der}, - number = 748, - series = {CEUR Workshop Proceedings}, - address = {Aachen}, - issn = {1613-0073}, - url = {http://ceur-ws.org/Vol-748}, - venue = {Hersonissos, Crete, Greece}, - eventdate = {2011-05-29}, - title = {Proceedings of the 1\textsuperscript{st} Workshop on Ontology and Semantic Web for Manufacturing, {Extended} {Semantic} {Web} {Conference}}, -} - -@Proceedings{ACL10, - title = {Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics}, - booktitle = {Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics}, - year = 2010, - month = {July}, - publisher = {Association for Computational Linguistics}} - -@Proceedings{ACL11, - title = {Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics}, - booktitle = {Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics}, - year = 2011, - month = {June}, - publisher = {Association for Computational Linguistics}} - -@Proceedings{ACL08, - title = {Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics}, - booktitle = {Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics}, - year = 2008, - month = {June}, - publisher = {Association for Computational Linguistics}} - - -@Proceedings{CEMNLP08, - title = {Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing}, - booktitle = {Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing}, - year = 2008, - month = {October}, - publisher = {Association for Computational Linguistics}} - -@Proceedings{CEMNLP09, - title = {Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing}, - booktitle = {Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing}, - year = 2009, - month = {August}, - publisher = {Association for Computational Linguistics}} - -@Proceedings{CEMNLP10, - title = {Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing}, - booktitle = {Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing}, - year = 2010, - month = {October}, - publisher = {Association for Computational Linguistics}} - -@Proceedings{CEMNLP11, - title = {Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing}, - booktitle = {Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing}, - year = 2011, - month = {July}, - publisher = {Association for Computational Linguistics}} - - -@Proceedings{CEMNLP-CNLL12, - title = {Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning}, - booktitle = {Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning}, - year = 2012, - month = {July}, - publisher = {Association for Computational Linguistics}} - -@Proceedings{SIGKDD01, - title = {Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining}, - booktitle = {Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining}, - year = 2001, - month = {August}, - publisher = {Association for Computational Linguistics}} - -@Proceedings{HLT-NAACL10, - title = {Human language technologies: The 2010 annual conference of the North American chapter of the association for computational linguistics}, - booktitle = {Human language technologies: The 2010 annual conference of the North American chapter of the association for computational linguistics}, - year = 2010, - month = {June}, - publisher = {Association for Computational Linguistics}} - -@Proceedings{HLT-NAACL08, - title = {Human language technologies: The 2008 annual conference of the North American chapter of the association for computational linguistics}, - booktitle = {Human language technologies: The 2008 annual conference of the North American chapter of the association for computational linguistics}, - year = 2008, - publisher = {Association for Computational Linguistics}} - -@Proceedings{HLT-NAACL07, - title = {Human language technologies: The 2007 annual conference of the North American chapter of the association for computational linguistics}, - booktitle = {Human language technologies: The 2007 annual conference of the North American chapter of the association for computational linguistics}, - year = 2007, - publisher = {Association for Computational Linguistics}} - -@proceedings{INTERACT13a, - editor = {Paula Kotz\'{e} and Gary Marsden and Gitte Lindgaard and Janet Wesson and Marco Winckler}, - booktitle = {Human-Computer Interaction -- INTERACT 2013}, - title = {Human-Computer Interaction -- INTERACT 2013}, - publisher = {Springer}, - location = {Heidelberg}, - series = {LNCS}, - number = {8119}, - year = {2013}, - isbn = {978-3-642-40476-4} -} - -@proceedings{INTERACT13b, - editor = {Paula Kotz\'{e} and Gary Marsden and Gitte Lindgaard and Janet Wesson and Marco Winckler}, - booktitle = {Human-Computer Interaction -- INTERACT 2013}, - title = {Human-Computer Interaction -- INTERACT 2013}, - publisher = {Springer}, - location = {Heidelberg}, - series = {LNCS}, - number = {8120}, - year = {2013}, - isbn = {978-3-642-40497-9} -} - -@proceedings{IWSECO12, - editor = {Slinger Jansen and Jan Bosch and Carina Frota Alves}, - title = {Proceedings of the Forth International Workshop on Software Ecosystems, Cambridge, MA, USA, June 18th, 2012}, - booktitle = {IWSECO@ICSOB}, - publisher = {CEUR-WS.org}, - series = {CEUR Workshop Proceedings}, - number = {879}, - year = {2012}, - ee = {http://ceur-ws.org/Vol-879}, -} - -@proceedings{DBLP:conf/mc/2007, - editor = {Tom Gross}, - title = {Mensch {\&} Computer 2007: Konferenz f{\"u}r interaktive - und kooperative Medien, Bauhaus-Universit{\"a}t Weimar, - Weimar, Germany, 2-5 September 2007}, - booktitle = {Mensch {\&} Computer}, - publisher = {Oldenbourg Verlag}, - year = {2007}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} |