@STRING{ecmessage = "READ the README please!!!!!!!!!!!!!!"}
@STRING{ai = "Artificial Intelligence"}
@STRING{mcgh = "McGraw-Hill"}
@STRING{jair = "Journal of Artificial Intelligence Research"}
@STRING{kauf = "Morgan Kaufmann"}
@STRING{wil = "Wiley"}
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
@collection{NTCIR:eirat20,
title = {Evaluating Information Retrieval and Access Tasks -- {NTCIR}'s Legacy of Research Impact},
booktitle = {Evaluating Information Retrieval and Access Tasks -- {NTCIR}'s Legacy of Research Impact},
editor = {Sakai, Tetsuya and Oard, Douglas W. and Kando, Noriko},
publisher = {Springer},
url = {https://www.springer.com/gp/book/9789811555534},
year = {2020}}
@proceedings{CICM20,
label = {CICM},
editor = {Benzm{\"u}ller, Christoph and Miller, Bruce},
title = {Intelligent Computer Mathematics},
booktitle = {Intelligent Computer Mathematics ({CICM}) 2020},
publisher = {Springer},
series = {LNAI},
volume = {12236},
year = {2020},
isbn = {978-3-030-53518-6},
keywords = {conference}}
@proceedings{ICMS20,
booktitle = {Mathematical Software -- ICMS 2020. 7th international conference},
title = {Mathematical Software -- ICMS 2020. 7th international conference},
editor = {Bigatti, Anna Maria and Carette, Jacques and Davenport, James H. and Joswig, Michael and de Wolff, Timo},
series = {LNCS},
volume = {12097},
publisher = {Springer},
ISBN = {978-3-030-52199-8},
year = {2020},
keywords = {conference}}
@collection{GabSieWoo:cl14,
booktitle = {Computational Logic},
title = {Computational Logic},
editor = {Dov M. Gabbay and Jörg Siekmann and John Woods},
isbn = {9780444516244},
publisher = {North Holland},
year = {2014}}
@proceedings{LWDA19,
editor = {Robert J{\"{a}}schke and Matthias Weidlich},
title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
booktitle = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
volume = {2454},
series = {{CEUR} Workshop Proceedings},
publisher = {CEUR-WS.org},
year = {2019},
url = {http://ceur-ws.org/Vol-2454}}
@proceedings{LWDA18,
editor = {Rainer Gemulla and
Simone Paolo Ponzetto and
Christian Bizer and
Margret Keuper and
Heiner Stuckenschmidt},
title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
series = {{CEUR} Workshop Proceedings},
volume = {2191},
publisher = {CEUR-WS.org},
year = {2018},
url = {http://ceur-ws.org/Vol-2191}}
@proceedings{CADE25,
editor = {Amy P. Felty and Aart Middeldorp},
title = {Automated Deduction - {CADE-25}},
booktitle = {Automated Deduction - {CADE-25}},
series = {Lecture Notes in Computer Science},
volume = {9195},
publisher = {Springer},
year = {2015},
keywords = {conference}}
@proceedings{ESSLLI18,
booktitle = {At the Intersection of Language, Logic, and Information. ESSLLI 2018.},
editor = {Jennifer Sikos and Eric Pacuit},
series = {Lecture Notes in Computer Science},
volume = {11667},
publisher = {Springer},
year = {2019},
location = {Berlin, Heidelberg}}
@proceedings{IJCAR18,
booktitle = {9th International Joint Conference on Automated Reasoning},
title = {9th International Joint Conference on Automated Reasoning},
editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
publisher = {Springer Verlag},
year = {2018},
keywords = {conference}}
@proceedings{IJCAR20,
booktitle = {10th International Joint Conference on Automated Reasoning ({IJCAR} 2020)},
title = {10th International Joint Conference on Automated Reasoning ({IJCAR} 2020)},
editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
publisher = {Springer Verlag},
year = {2020},
keywords = {conference}}
@proceedings{DOCENG13,
editor = {Simone Marinai and Kim Marriott},
title = {Proceedings of the 2013 {ACM} Symposium on Document Engineering},
booktitle = {Proceedings of the 2013 {ACM} Symposium on Document Engineering},
keywords = {conference},
year = {2013},
isbn = {978-1-4503-1789-4},
location = {Florence, Italy}}
@proceedings{CPP16,
note = {submitted to CPP 2016},
year = {2016}}
@proceedings{SIGIR13,
editor = {Gareth J. F. Jones and
Paraic Sheridan and
Diane Kelly and
Maarten de Rijke and
Tetsuya Sakai},
title = {Proceedings of the 36th International {ACM SIGIR} Conference on Research and Development in Information Retrieval},
booktitle = {Proceedings of the 36th International {ACM SIGIR} Conference on Research and Development in Information Retrieval},
year = {2013},
isbn = {978-1-4503-2034-4},
location = {Dublin, Ireland},
publisher = {ACM},
keywords = {conference},
address = {New York, NY, USA}}
@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{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},
keywords = {conference},
publisher = {Springer},
doi = {10.1007/978-3-662-44199-2},
isbn = {978-3-662-44198-5}}
@proceedings{ICMS16,
editor = {Gert-Martin Greuel and Thorsten Koch and Peter Paule and Andrew Sommese},
Title = {Mathematical Software - {ICMS} 2016 - 5th International Congress},
booktitle = {Mathematical Software - {ICMS} 2016 - 5th International Congress},
series = {LNCS},
year = {2016},
volume = {9725},
keywords = {conference},
publisher = {Springer},
doi = {10.1007/978-3-319-42432-3}}
@proceedings{ICMS18,
booktitle = {Mathematical Software -- ICMS 2018. 6th international conference},
title = {Mathematical Software -- ICMS 2018. 6th international conference},
ISBN = {978-3-319-96417-1},
Year = {2018},
Publisher = {Springer},
Language = {English},
keywords = {conference}}
@proceedings{ITP17,
year = {2017},
isbn = {978-3-319-66107-0},
title = {Interactive Theorem Proving 8th International Conference, ITP 2017},
booktitle = {Interactive Theorem Proving},
keywords = {conference},
volume = {10499},
series = {LNCS},
editor = {Ayala-Rinc{\'o}n, Mauricio and Mu{\~n}oz, C{\'e}sar A.},
publisher={Springer}}
@proceedings{ITP13,
year = {2013},
isbn = {978-3-642-39633-5},
title = {Interactive Theorem Proving},
booktitle = {Interactive Theorem Proving},
keywords = {conference},
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},
keywords = {conference},
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{NTCIR12,
booktitle = {Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies},
title = {Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies},
editor = {Noriko Kando and Tetsuya Sakai and Mark Sanderson},
address = {Tokyo, Japan},
publisher = {NII, Tokyo},
year = {2016}}
@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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
number = {4053},
year = {2006},
isbn = {3-540-35159-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Proceedings{cp09,
title = {Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP'09)},
booktitle = {Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP'09)},
editor = {Ian P. Gent},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5732},
year = {2009},
}
@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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
booktitle = {Proceedings of of the 9\textsuperscript{th} European Conference on Artifical Intelligence},
key = {ECAI1990}}
@Proceedings{icaps03,
key = "ICAPS-03",
title = "Proceedings of the 13th International Conference on
Automated Planning and Scheduling (ICAPS'03)",
booktitle = "Proceedings of the 13th International Conference on
Automated Planning and Scheduling (ICAPS'03)",
year = 2003,
editor = "Enrico Giunchiglia and Nicola Muscettola and Dana Nau",
publisher = kauf,
address = "Trento, Italy",
}
@Proceedings{icaps04,
key = "ICAPS-04",
title = "Proceedings of the 14th International Conference on
Automated Planning and Scheduling (ICAPS'04)",
booktitle = "Proceedings of the 14th International Conference on
Automated Planning and Scheduling (ICAPS'04)",
year = 2004,
editor = "Sven Koenig and Shlomo Zilberstein and Jana Koehler",
publisher = kauf,
address = "Whistler, Canada",
}
@Proceedings{icaps05,
key = "ICAPS-05",
title = "Proceedings of the 15th International Conference on
Automated Planning and Scheduling (ICAPS-05)",
booktitle = "Proceedings of the 15th International Conference on
Automated Planning and Scheduling (ICAPS-05)",
year = 2005,
editor = "Susanne Biundo and Karen Myers and Kanna Rajan",
publisher = kauf,
address = "Monterey, CA, USA",
}
@Proceedings{icaps06,
key = "ICAPS-06",
title = "Proceedings of the 16th International Conference on
Automated Planning and Scheduling (ICAPS'06)",
booktitle = "Proceedings of the 16th International Conference on
Automated Planning and Scheduling (ICAPS'06)",
year = 2006,
editor = "Derek Long and Stephen Smith",
publisher = kauf,
address = "Ambleside, UK",
}
@Proceedings{icaps07,
key = "ICAPS-07",
title = "Proceedings of the 17th International Conference on
Automated Planning and Scheduling (ICAPS'07)",
booktitle = "Proceedings of the 17th International Conference on
Automated Planning and Scheduling (ICAPS'07)",
year = 2007,
editor = "Mark Boddy and Maria Fox and Sylvie Thiebaux",
publisher = kauf,
address = "Providence, Rhode Island, USA",
}
@Proceedings{icaps08,
editor = "Jussi Rintanen and Bernhard Nebel and J. Christopher
Beck and Eric Hansen",
title = "Proceedings of the 18th International Conference on
Automated Planning and Scheduling (ICAPS'08)",
booktitle = "Proceedings of the 18th International Conference on
Automated Planning and Scheduling (ICAPS'08)",
year = "2008",
publisher = "AAAI Press"
}
@Proceedings{icaps09,
editor = "Alfonso Gerevini and Adele Howe and Amedeo Cesta and
Ioannis Refanidis",
title = "Proceedings of the 19th International Conference on
Automated Planning and Scheduling (ICAPS'09)",
booktitle = "Proceedings of the 19th International Conference on
Automated Planning and Scheduling (ICAPS'09)",
year = "2009",
publisher = "AAAI Press"
}
@Proceedings{icaps10,
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"o}rg Hoffmann and
Henry A. Kautz},
title = "Proceedings of the 20th International Conference on
Automated Planning and Scheduling (ICAPS'10)",
booktitle = "Proceedings of the 20th International Conference on
Automated Planning and Scheduling (ICAPS'10)",
year = "2010",
publisher = "AAAI Press"
}
@Proceedings{icaps11,
editor = {Fahiem Bacchus and
Carmel Domshlak and
Stefan Edelkamp and
Malte Helmert},
title = "Proceedings of the 21st International Conference on
Automated Planning and Scheduling (ICAPS'11)",
booktitle = "Proceedings of the 21st International Conference on
Automated Planning and Scheduling (ICAPS'11)",
year = "2011",
publisher = "AAAI Press"
}
@Proceedings{icaps12,
editor = "Blai Bonet and Lee McCluskey and Jos\'{e} Reinaldo Silva and Brian Williams",
title = "Proceedings of the 22nd International Conference on
Automated Planning and Scheduling (ICAPS'12)",
booktitle = "Proceedings of the 22nd International Conference on
Automated Planning and Scheduling (ICAPS'12)",
year = "2012",
publisher = "AAAI Press"
}
@Proceedings{icaps13,
editor = "Daniel Borrajo and Simone Fratini and Subbarao Kambhampati and Angelo Oddi",
title = "Proceedings of the 23rd International Conference on
Automated Planning and Scheduling (ICAPS'13)",
booktitle = "Proceedings of the 23rd International Conference on
Automated Planning and Scheduling (ICAPS'13)",
year = "2013",
address = "Rome, Italy",
publisher = "AAAI Press"
}
@Proceedings{icaps14,
editor = "Steve Chien and Minh Do and Alan Fern and Wheeler Ruml",
title = "Proceedings of the 24th International Conference on
Automated Planning and Scheduling (ICAPS'14)",
booktitle = "Proceedings of the 24th International Conference on
Automated Planning and Scheduling (ICAPS'14)",
year = "2014",
publisher = "AAAI Press"
}
@Proceedings{icaps15,
editor = "Ronen Brafman and Carmel Domshlak and Patrik Haslum and Shlomo Zilberstein",
title = "Proceedings of the 25th International Conference on
Automated Planning and Scheduling (ICAPS'15)",
booktitle = "Proceedings of the 25th International Conference on
Automated Planning and Scheduling (ICAPS'15)",
year = "2015",
publisher = "AAAI Press"
}
@Proceedings{icaps16,
editor = "Amanda Coles and Andrew Coles and Stefan Edelkamp and Daniele Magazzeni and Scott Sanner",
title = "Proceedings of the 26th International Conference on
Automated Planning and Scheduling (ICAPS'16)",
booktitle = "Proceedings of the 26th International Conference on
Automated Planning and Scheduling (ICAPS'16)",
year = "2016",
publisher = "AAAI Press"
}
@Proceedings{ecp01,
title = {Proceedings of the 6th European
Conference on Planning (ECP'01)},
booktitle = {Proceedings of the 6th European
Conference on Planning (ECP'01)},
year = {2001},
editor = {A. Cesta and D. Borrajo},
publisher = spring,
}
@Proceedings{ECAI92,
key = "ECAI-92",
editor = "B. Neumann",
title = "Proceedings of the 10th European Conference on Artificial
Intelligence (ECAI'92)",
booktitle = "Proceedings of the 10th European Conference on Artificial
Intelligence (ECAI'92)",
year = 1992,
publisher = wil,
address = "Vienna, Austria",
month = Aug
}
@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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
publisher = {Springer},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
key = {IJCAI1993}}
@Proceedings{ijcai09,
title = "Proceedings of the 21st International Joint Conference on
Artificial Intelligence ({IJCAI}'09)",
booktitle = "Proceedings of the 21st International Joint Conference on
Artificial Intelligence ({IJCAI}'09)",
year = "2009",
editor = "C. Boutilier",
publisher = kauf,
address = "Pasadena, California, USA",
month = Jul
}
@proceedings{ijcai11,
editor = {Toby Walsh},
title = {Proceedings of the 22nd International Joint
Conference on Artificial Intelligence (IJCAI'11)},
booktitle = {Proceedings of the 22nd International Joint
Conference on Artificial Intelligence (IJCAI'11)},
publisher = {AAAI Press/IJCAI},
year = {2011},
}
@proceedings{IJCAI13,
booktitle = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence ({IJCAI})},
year = {2013},
isbn = {978-1-57735-633-2},
location = {Beijing, China},
publisher = {AAAI Press}}
@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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
key = {TLCA1993}}
@Proceedings{kr92,
key = "KR-92",
title = "Principles of Knowledge
Representation and Reasoning: Proceedings of the
3rd International Conference (KR-92)",
booktitle = "Principles of Knowledge
Representation and Reasoning: Proceedings of the
3rd International Conference (KR-92)",
year = 1992,
editor = "Nebel, B. and W. Swartout and C. Rich",
publisher = kauf,
address = "Cambridge, MA",
month = Oct
}
@Proceedings{ECML06,
editor = "Johannes F{\"u}rnkranz and Tobias Scheffer and
Myra Spiliopoulou",
title = "Proceedings of the 17th European Conference on Machine
Learning (ECML 2006)",
booktitle = "Proceedings of the 17th European Conference on Machine
Learning (ECML 2006)",
publisher = "Springer-Verlag",
series = {LNCS},
volume = "4212",
year = "2006"
}
@BOOK{BibSch:adabfa98,
publisher = {Kluwer},
year = {1998},
editor = {Wolfgang Bibel and Peter Schmitt},
booktitle = {Automated Deduction -- A Basis for Applications}}
@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},
keywords = {conference},
key = {RTA1991}}
@PROCEEDINGS{MKM06,
title = {MKM 2006},
year = {2006},
editor = {Jon Borwein and William M. Farmer},
number = {4108},
series = {LNAI},
publisher = {Springer Verlag},
keywords = {conference},
booktitle = {Mathematical Knowledge Management ({MKM})}}
@PROCEEDINGS{MACIS15,
title = {MACIS 2015},
year = 2016,
editor = {Ilias S. Kotsireas and Siegfried M. Rump and Chee K. Yap},
number = {9582},
series = {LNCS},
publisher = {Springer Verlag},
booktitle = {MACIS 2015: Sixth International Conference on Mathematical Aspects of Computer and Information Sciences},
keywords = {conference}}
@PROCEEDINGS{MACIS17,
title = {MACIS 2017},
year = 2017,
editor = {Johannes Bl{\"o}mer and Temur Kutsia and Dimitris Simos},
number = {10693},
series = {LNCS},
publisher = {Springer Verlag},
booktitle = {MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences},
Keywords = {conference}}
@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},
keywords = {conference},
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},
keywords = {conference},
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},
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,
editor = {Manfred Kerber and Jacques Carette and Cezary Kaliszyk and Florian Rabe and Volker Sorge},
venue = {Washington DC, USA},
eventdate = {2015-07-13/2015-07-17},
eventtitle = {Conferences on Intelligent Computer Mathematics},
title = {Intelligent Computer Mathematics},
booktitle = {{Intelligent Computer Mathematics} 2015},
NOkey = {CICM15},
NOlabel = {CICM15},
keywords = {conference},
publisher = {Springer},
series = {LNCS},
number = {9150},
isbn = {978-3-319-20615-8},
year = 2015
}
@PROCEEDINGS{CALCULEMUS10,
key = {CALCULEMUS 2010},
year = {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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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}},
keywords = {conference},
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})},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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}},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
key = {RTA1987}}
@PROCEEDINGS{AISC00,
year = {2001},
editor = {Eugenio Roanes Lozano},
number = {1930},
series = {LNAI},
publisher = {Springer Verlag},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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}},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
key = {KI1994}}
@proceedings{ki11,
editor = {Joscha Bach and Stefan Edelkamp},
title = {Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)},
booktitle = {Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7006},
year = {2011},
}
@Proceedings{aips00,
key = "AIPS-00",
title = "Proceedings of the 5th International Conference on
Artificial Intelligence Planning Systems (AIPS'00)",
booktitle = "Proceedings of the 5th International Conference on
Artificial Intelligence Planning Systems (AIPS'00)",
year = 2000,
editor = "S. Chien and R. Kambhampati and C. Knoblock",
publisher = "{AAAI} Press, Menlo Park",
address = "Breckenridge, CO"}
@Proceedings{ecp99,
title = {Proceedings of the 5th European
Conference on Planning (ECP'99)},
booktitle = {Proceedings of the 5th European
Conference on Planning (ECP'99)},
year = {1999},
editor = {S. Biundo and M. Fox},
publisher = spring,
}
@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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
key = {LPAR1992}}
@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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
key = {WADT03}}
@PROCEEDINGS{WADT06,
booktitle = {WADT 2006},
title = {WADT 2006},
year = {2007},
editor = {J. Fiadeiro},
series = {LNCS},
number = {4409},
keywords = {conference},
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},
keywords = {conference},
booktitle = {Second International Conference on MathML and Technologies for Math
on the Web}}
@PROCEEDINGS{ACL00,
year = {2000},
address = {Hongkong},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
key = {TACAS2007}}
@Proceedings{AAAI92,
Key = "AAAI-92",
title = "Proceedings of the 10th National Conference of the
American Association for Artificial Intelligence (AAAI'92)",
booktitle = "Proceedings of the 10th National Conference of the
American Association for Artificial Intelligence (AAAI'92)",
year = 1992,
publisher = "MIT Press",
address = "San Jose, CA"
}
@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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
eventdate = {1997-03}}
@PROCEEDINGS{ACL97,
year = {1997},
address = {Madrid, \SPAIN},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
year = {1994}}
@PROCEEDINGS{COLING94,
title = {Proceedings of the 15\textsuperscript{th} {International} {Conference} on {Computational}
{Linguistics}},
year = {1994},
address = {Kyoto, Japan},
publisher = {Morgan Kaufmann},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
key = {HOA1993}}
@PROCEEDINGS{IAAI93,
title = {Proceedings of the 5\textsuperscript{th} Innovative Applications of Artificial Intelligence
Conference},
keywords = {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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference}}
@PROCEEDINGS{AAAI05,
title = { Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005)},
year = {2005},
publisher = {MIT Press},
keywords = {conference}}
@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},
keywords = {conference},
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})},
keywords = {conference},
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})},
keywords = {conference},
key = {LICS1990}}
@PROCEEDINGS{STACS89,
year = {1989},
number = {349},
series = {LNCS},
publisher = {Springer Verlag},
keywords = {conference},
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})},
keywords = {conference},
key = {LICS1988}}
@PROCEEDINGS{ILPS87,
title = {IEEE Symposium on Logic Programming},
year = {1987},
address = {Salt Lake City},
keywords = {conference},
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})},
keywords = {conference},
key = {LICS1987}}
@PROCEEDINGS{LFP86,
title = {Proceedings {ACM} Conference on {LISP} and Functional Programming},
year = {1986},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
booktitle = {Proceedings of the {ACM} annual Conference }}
@PROCEEDINGS{SAD70,
title = {Symposium on Automatic Demonstration},
year = {1970},
number = {125},
keywords = {conference},
series = {LNM},
publisher = {Springer Verlag}}
@PROCEEDINGS{IFIP68,
title = {Proceedings of IFIP Congress in Information Processing},
year = {1968},
volume = {68},
keywords = {conference},
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/},
keywords = {conference},
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},
keywords = {conference},
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,
keywords = {conference},
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,
keywords = {conference},
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,
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference}}
@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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
isbn = {978-3-540-73594-6}}
@proceedings{CADE11,
editor={Bj{\o}rner, Nikolaj and Sofronie-Stokkermans, Viorica},
title = {Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction},
booktitle = {CADE-23},
publisher = {Springer},
series = {LNAI},
number = {6803},
year = {2011},
keywords = {conference},
isbn = {978-3-642-22438-6}}
@proceedings{CADE05,
editor = {Nieuwenhuis, Robert},
title = {Proceedings of the 20\textsuperscript{th} International Conference on Automated Deduction (CADE-20)},
booktitle = {CADE-20},
number = {3632},
series = {LNAI},
publisher = {Springer},
address = {Tallinn, Estonia},
month = jul,
year = {2005},
keywords = {conference}}
@proceedings{CADE03,
editor= {Baader, Franz},
title="Automated Deduction -- CADE-19: 19th International Conference on Automated Deduction",
booktitle = {CADE-19},
number = {2741},
series = {LNAI},
publisher = {Springer},
year = {2003},
keywords = {conference}}
@proceedings{CADE01,
editor= {Baader, Franz},
title="Automated Deduction -- CADE-19: 19th International Conference on Automated Deduction",
booktitle = {CADE-19},
number = {2741},
series = {LNAI},
publisher = {Springer},
year = {2001},
keywords = {conference}}
@PROCEEDINGS{LACL96,
booktitle = {Logical Aspects of Computational Linguistics},
title = {Logical Aspects of Computational Linguistics},
year = {1996},
editor = {Christian Retor{\'e}},
keywords = {conference},
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,
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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,
keywords = {conference},
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},
keywords = {conference},
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,
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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})},
keywords = {conference},
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})},
keywords = {conference},
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})},
keywords = {conference},
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})},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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,
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
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{RDFaWiki,
title = {{RDFa} wiki},
key = {RDFa Wiki},
url = {http://rdfa.info/wiki/}}
@book{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},
keywords = {conference},
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},
keywords = {conference},
year = 2001}
@Proceedings{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},
keywords = {conference},
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}}
@collection{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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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,
keywords = {conference},
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,
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
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},
keywords = {conference},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Proceedings{ecp97,
title = {Proceedings of the 4th European
Conference on Planning (ECP'97)},
booktitle = {Proceedings of the 4th European
Conference on Planning (ECP'97)},
year = {1997},
editor = {S. Steel and R. Alami},
publisher = spring,
}
@Book{ArgHandbook,
editor = {Baroni, Pietro and Gabbay, Dov and Giacomin, Massimiliano and van der Torre, Leendert},
bookitle = {Handbook of Formal Argumentation},
title = {Handbook of Formal Argumentation},
publisher = {College Publications},
year = 2018}