@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} }