extcrossrefs.bib

@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",