BibTeX records: Björn Pelzer

download as .bib file

@inproceedings{DBLP:conf/clef/Pelzer19,
  author    = {Bj{\"{o}}rn Pelzer},
  title     = {Celebrity Profiling with Transfer Learning},
  booktitle = {Working Notes of {CLEF} 2019 - Conference and Labs of the Evaluation
               Forum, Lugano, Switzerland, September 9-12, 2019.},
  year      = {2019},
  crossref  = {DBLP:conf/clef/2019w},
  url       = {http://ceur-ws.org/Vol-2380/paper\_201.pdf},
  timestamp = {Fri, 30 Aug 2019 13:15:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/Pelzer19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/PelzerKA18,
  author    = {Bj{\"{o}}rn Pelzer and
               Lisa Kaati and
               Nazar Akrami},
  title     = {Directed Digital Hate},
  booktitle = {2018 {IEEE} International Conference on Intelligence and Security
               Informatics, {ISI} 2018, Miami, FL, USA, November 9-11, 2018},
  pages     = {205--210},
  year      = {2018},
  crossref  = {DBLP:conf/isi/2018},
  url       = {https://doi.org/10.1109/ISI.2018.8587396},
  doi       = {10.1109/ISI.2018.8587396},
  timestamp = {Fri, 04 Jan 2019 13:04:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isi/PelzerKA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FurbachPS15,
  author    = {Ulrich Furbach and
               Bj{\"{o}}rn Pelzer and
               Claudia Schon},
  title     = {Automated Reasoning in the Wild},
  booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  pages     = {55--72},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6\_3},
  doi       = {10.1007/978-3-319-21401-6\_3},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/FurbachPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CohenMOP15,
  author    = {Mika Cohen and
               Michael Minock and
               Daniel Oskarsson and
               Bj{\"{o}}rn Pelzer},
  title     = {Enterprise Architecture with Executable Modelling Rules: {A} Case
               Study at the Swedish Defence Materiel Administration},
  booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2015 International
               Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings},
  pages     = {339--350},
  year      = {2015},
  crossref  = {DBLP:conf/caise/2015w},
  url       = {https://doi.org/10.1007/978-3-319-19243-7\_32},
  doi       = {10.1007/978-3-319-19243-7\_32},
  timestamp = {Sun, 02 Jun 2019 21:20:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/CohenMOP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/MinockOPC15,
  author    = {Michael Minock and
               Daniel Oskarsson and
               Bj{\"{o}}rn Pelzer and
               Mika Cohen},
  title     = {Natural Language Specification and Violation Reporting of Business
               Rules over ER-modeled Databases},
  booktitle = {Proceedings of the 18th International Conference on Extending Database
               Technology, {EDBT} 2015, Brussels, Belgium, March 23-27, 2015.},
  pages     = {541--544},
  year      = {2015},
  crossref  = {DBLP:conf/edbt/2015},
  url       = {https://doi.org/10.5441/002/edbt.2015.53},
  doi       = {10.5441/002/edbt.2015.53},
  timestamp = {Mon, 25 Dec 2017 02:18:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/MinockOPC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Pelzer13,
  author    = {Bj{\"{o}}rn Pelzer},
  title     = {Automated Reasoning Embedded in Question Answering},
  school    = {University of Koblenz-Landau},
  year      = {2013},
  url       = {http://kola.opus.hbz-nrw.de/volltexte/2013/884/pdf/bpelzer\_dissertation.pdf},
  urn       = {urn:nbn:de:hbz:kob7-8849},
  timestamp = {Thu, 21 Apr 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Pelzer13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenderPS13,
  author    = {Markus Bender and
               Bj{\"{o}}rn Pelzer and
               Claudia Schon},
  title     = {System Description: E-KRHyper 1.4 - Extensions for Unique Names and
               Description Logic},
  booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  pages     = {126--134},
  year      = {2013},
  crossref  = {DBLP:conf/cade/2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2\_8},
  doi       = {10.1007/978-3-642-38574-2\_8},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BenderPS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Pelzer13,
  author    = {Bj{\"{o}}rn Pelzer},
  title     = {Automated Theorem Proving with Web Services},
  booktitle = {{KI} 2013: Advances in Artificial Intelligence - 36th Annual German
               Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings},
  pages     = {152--163},
  year      = {2013},
  crossref  = {DBLP:conf/ki/2013},
  url       = {https://doi.org/10.1007/978-3-642-40942-4\_14},
  doi       = {10.1007/978-3-642-40942-4\_14},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/Pelzer13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaumgartnerPT12,
  author    = {Peter Baumgartner and
               Bj{\"{o}}rn Pelzer and
               Cesare Tinelli},
  title     = {Model Evolution with equality - Revised and implemented},
  journal   = {J. Symb. Comput.},
  volume    = {47},
  number    = {9},
  pages     = {1011--1045},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jsc.2011.12.031},
  doi       = {10.1016/j.jsc.2011.12.031},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/BaumgartnerPT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/GlocknerP12,
  author    = {Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {The LogAnswer Project at {QA4MRE} 2012},
  booktitle = {{CLEF} 2012 Evaluation Labs and Workshop, Online Working Notes, Rome,
               Italy, September 17-20, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/clef/2012w},
  url       = {http://ceur-ws.org/Vol-1178/CLEF2012wn-QA4MRE-GlocknerEt2012.pdf},
  timestamp = {Tue, 28 May 2019 16:23:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/GlocknerP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/GlocknerPD11,
  author    = {Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer and
               Tiansi Dong},
  title     = {The LogAnswer Project at {QA4MRE} 2011},
  booktitle = {{CLEF} 2011 Labs and Workshop, Notebook Papers, 19-22 September 2011,
               Amsterdam, The Netherlands},
  year      = {2011},
  crossref  = {DBLP:conf/clef/2011w},
  url       = {http://ceur-ws.org/Vol-1177/CLEF2011wn-QA4MRE-GlocknerEt2011.pdf},
  timestamp = {Tue, 28 May 2019 16:23:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/GlocknerPD11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/PelzerGD11,
  author    = {Bj{\"{o}}rn Pelzer and
               Ingo Gl{\"{o}}ckner and
               Tiansi Dong},
  title     = {LogAnswer in Question Answering Forums},
  booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
               Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence,
               Rome, Italy, January 28-30, 2011},
  pages     = {492--497},
  year      = {2011},
  crossref  = {DBLP:conf/icaart/2011-1},
  timestamp = {Thu, 07 Jul 2011 22:16:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaart/PelzerGD11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DongFGP11,
  author    = {Tiansi Dong and
               Ulrich Furbach and
               Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {A Natural Language Question Answering System as a Participant in Human
               Q{\&}A Portals},
  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  pages     = {2430--2435},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/2011},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-405},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-405},
  timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/DongFGP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/FurbachGP10,
  author    = {Ulrich Furbach and
               Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {An application of automated reasoning in natural language question
               answering},
  journal   = {{AI} Commun.},
  volume    = {23},
  number    = {2-3},
  pages     = {241--265},
  year      = {2010},
  url       = {https://doi.org/10.3233/AIC-2010-0461},
  doi       = {10.3233/AIC-2010-0461},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aicom/FurbachGP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/FurbachGHP10,
  author    = {Ulrich Furbach and
               Ingo Gl{\"{o}}ckner and
               Hermann Helbig and
               Bj{\"{o}}rn Pelzer},
  title     = {Logic-Based Question Answering},
  journal   = {{KI}},
  volume    = {24},
  number    = {1},
  pages     = {51--55},
  year      = {2010},
  url       = {https://doi.org/10.1007/s13218-010-0010-x},
  doi       = {10.1007/s13218-010-0010-x},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ki/FurbachGHP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaumgartnerFP10,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Bj{\"{o}}rn Pelzer},
  title     = {The Hyper Tableaux Calculus with Equality and an Application to Finite
               Model Computation},
  journal   = {J. Log. Comput.},
  volume    = {20},
  number    = {1},
  pages     = {77--109},
  year      = {2010},
  url       = {https://doi.org/10.1093/logcom/exn061},
  doi       = {10.1093/logcom/exn061},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/BaumgartnerFP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/GlocknerP10,
  author    = {Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {The LogAnswer Project at ResPubliQA 2010},
  booktitle = {{CLEF} 2010 LABs and Workshops, Notebook Papers, 22-23 September 2010,
               Padua, Italy},
  year      = {2010},
  crossref  = {DBLP:conf/clef/2010w},
  url       = {http://ceur-ws.org/Vol-1176/CLEF2010wn-MLQA10-GlocknerEt2010.pdf},
  timestamp = {Tue, 28 May 2019 16:23:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/GlocknerP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/GlocknerP09,
  author    = {Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {Extending a Logic-Based Question Answering System for Administrative
               Texts},
  booktitle = {Multilingual Information Access Evaluation I. Text Retrieval Experiments,
               10th Workshop of the Cross-Language Evaluation Forum, {CLEF} 2009,
               Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers},
  pages     = {265--272},
  year      = {2009},
  crossref  = {DBLP:conf/clef/2009},
  url       = {https://doi.org/10.1007/978-3-642-15754-7\_30},
  doi       = {10.1007/978-3-642-15754-7\_30},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/GlocknerP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/GloecknerP09,
  author    = {Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {The LogAnswer Project at {CLEF} 2009},
  booktitle = {Working Notes for {CLEF} 2009 Workshop co-located with the 13th European
               Conference on Digital Libraries {(ECDL} 2009) , Corf{\`{u}}, Greece,
               September 30 - October 2, 2009.},
  year      = {2009},
  crossref  = {DBLP:conf/clef/2009w},
  url       = {http://ceur-ws.org/Vol-1175/CLEF2009wn-QACLEF-GloecknerEt2009.pdf},
  timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/GloecknerP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FurbachGHP08,
  author    = {Ulrich Furbach and
               Ingo Gl{\"{o}}ckner and
               Hermann Helbig and
               Bj{\"{o}}rn Pelzer},
  title     = {LogAnswer - {A} Deduction-Based Question Answering System (System
               Description)},
  booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
               Sydney, Australia, August 12-15, 2008, Proceedings},
  pages     = {139--146},
  year      = {2008},
  crossref  = {DBLP:conf/cade/2008},
  url       = {https://doi.org/10.1007/978-3-540-71070-7\_11},
  doi       = {10.1007/978-3-540-71070-7\_11},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/FurbachGHP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PelzerG08,
  author    = {Bj{\"{o}}rn Pelzer and
               Ingo Gl{\"{o}}ckner},
  title     = {Combining Theorem Proving with Natural Language Processing},
  booktitle = {Proceedings of the First International Workshop on Practical Aspects
               of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/cade/2008paar},
  url       = {http://ceur-ws.org/Vol-373/paper-06.pdf},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/PelzerG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/GlocknerP08,
  author    = {Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {Combining Logic and Machine Learning for Answering Questions},
  booktitle = {Evaluating Systems for Multilingual and Multimodal Information Access,
               9th Workshop of the Cross-Language Evaluation Forum, {CLEF} 2008,
               Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers},
  pages     = {401--408},
  year      = {2008},
  crossref  = {DBLP:conf/clef/2008},
  url       = {https://doi.org/10.1007/978-3-642-04447-2\_47},
  doi       = {10.1007/978-3-642-04447-2\_47},
  timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/GlocknerP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/GlocknerP08a,
  author    = {Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {The LogAnswer Project at {CLEF} 2008: Towards Logic-Based Question
               Answering},
  booktitle = {Working Notes for {CLEF} 2008 Workshop co-located with the 12th European
               Conference on Digital Libraries {(ECDL} 2008) , Aarhus, Denmark, September
               17-19, 2008.},
  year      = {2008},
  crossref  = {DBLP:conf/clef/2008w},
  url       = {http://ceur-ws.org/Vol-1174/CLEF2008wn-QACLEF-GlocknerEt2008.pdf},
  timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/GlocknerP08a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/GlocknerP08,
  author    = {Ingo Gl{\"{o}}ckner and
               Bj{\"{o}}rn Pelzer},
  title     = {Exploring Robustness Enhancements for Logic-Based Passage Filtering},
  booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 12th
               International Conference, {KES} 2008, Zagreb, Croatia, September 3-5,
               2008, Proceedings, Part {I}},
  pages     = {606--614},
  year      = {2008},
  crossref  = {DBLP:conf/kes/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-85563-7\_77},
  doi       = {10.1007/978-3-540-85563-7\_77},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kes/GlocknerP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerFP07,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Bj{\"{o}}rn Pelzer},
  title     = {Hyper Tableaux with Equality},
  booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
               Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  pages     = {492--507},
  year      = {2007},
  crossref  = {DBLP:conf/cade/2007},
  url       = {https://doi.org/10.1007/978-3-540-73595-3\_36},
  doi       = {10.1007/978-3-540-73595-3\_36},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerFP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PelzerW07,
  author    = {Bj{\"{o}}rn Pelzer and
               Christoph Wernhard},
  title     = {System Description: E-KRHyper},
  booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
               Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  pages     = {508--513},
  year      = {2007},
  crossref  = {DBLP:conf/cade/2007},
  url       = {https://doi.org/10.1007/978-3-540-73595-3\_37},
  doi       = {10.1007/978-3-540-73595-3\_37},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/PelzerW07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2019w,
  editor    = {Linda Cappellato and
               Nicola Ferro and
               David E. Losada and
               Henning M{\"{u}}ller},
  title     = {Working Notes of {CLEF} 2019 - Conference and Labs of the Evaluation
               Forum, Lugano, Switzerland, September 9-12, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2380},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2380},
  urn       = {urn:nbn:de:0074-2380-0},
  timestamp = {Fri, 30 Aug 2019 13:15:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2019w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isi/2018,
  title     = {2018 {IEEE} International Conference on Intelligence and Security
               Informatics, {ISI} 2018, Miami, FL, USA, November 9-11, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8575039},
  isbn      = {978-1-5386-7848-0},
  timestamp = {Fri, 04 Jan 2019 13:04:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isi/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2015,
  editor    = {Amy P. Felty and
               Aart Middeldorp},
  title     = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9195},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6},
  doi       = {10.1007/978-3-319-21401-6},
  isbn      = {978-3-319-21400-9},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2015w,
  editor    = {Anne Persson and
               Janis Stirna},
  title     = {Advanced Information Systems Engineering Workshops - CAiSE 2015 International
               Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {215},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19243-7},
  doi       = {10.1007/978-3-319-19243-7},
  isbn      = {978-3-319-19242-0},
  timestamp = {Sun, 02 Jun 2019 21:20:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/2015w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edbt/2015,
  editor    = {Gustavo Alonso and
               Floris Geerts and
               Lucian Popa and
               Pablo Barcel{\'{o}} and
               Jens Teubner and
               Mart{\'{\i}}n Ugarte and
               Jan Van den Bussche and
               Jan Paredaens},
  title     = {Proceedings of the 18th International Conference on Extending Database
               Technology, {EDBT} 2015, Brussels, Belgium, March 23-27, 2015},
  publisher = {OpenProceedings.org},
  year      = {2015},
  timestamp = {Mon, 25 Dec 2017 02:18:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2013,
  editor    = {Maria Paola Bonacina},
  title     = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7898},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2},
  doi       = {10.1007/978-3-642-38574-2},
  isbn      = {978-3-642-38573-5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2013,
  editor    = {Ingo J. Timm and
               Matthias Thimm},
  title     = {{KI} 2013: Advances in Artificial Intelligence - 36th Annual German
               Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8077},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40942-4},
  doi       = {10.1007/978-3-642-40942-4},
  isbn      = {978-3-642-40941-7},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2012w,
  editor    = {Pamela Forner and
               Jussi Karlgren and
               Christa Womser{-}Hacker},
  title     = {{CLEF} 2012 Evaluation Labs and Workshop, Online Working Notes, Rome,
               Italy, September 17-20, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1178},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1178},
  urn       = {urn:nbn:de:0074-1178-5},
  isbn      = {978-88-904810-3-1},
  timestamp = {Tue, 28 May 2019 16:23:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2012w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2011w,
  editor    = {Vivien Petras and
               Pamela Forner and
               Paul D. Clough},
  title     = {{CLEF} 2011 Labs and Workshop, Notebook Papers, 19-22 September 2011,
               Amsterdam, The Netherlands},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1177},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1177},
  urn       = {urn:nbn:de:0074-1177-2},
  isbn      = {978-88-904810-1-7},
  timestamp = {Tue, 28 May 2019 16:23:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2011w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaart/2011-1,
  editor    = {Joaquim Filipe and
               Ana L. N. Fred},
  title     = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
               Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence,
               Rome, Italy, January 28-30, 2011},
  publisher = {SciTePress},
  year      = {2011},
  isbn      = {978-989-8425-40-9},
  timestamp = {Thu, 07 Jul 2011 22:16:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaart/2011-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2011,
  editor    = {Toby Walsh},
  title     = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  publisher = {{IJCAI/AAAI}},
  year      = {2011},
  url       = {http://ijcai.org/proceedings/2011},
  isbn      = {978-1-57735-516-8},
  timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2010w,
  editor    = {Martin Braschler and
               Donna Harman and
               Emanuele Pianta},
  title     = {{CLEF} 2010 LABs and Workshops, Notebook Papers, 22-23 September 2010,
               Padua, Italy},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1176},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1176},
  urn       = {urn:nbn:de:0074-1176-8},
  isbn      = {978-88-904810-0-0},
  timestamp = {Tue, 28 May 2019 16:23:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2010w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2009,
  editor    = {Carol Peters and
               Giorgio Maria Di Nunzio and
               Mikko Kurimo and
               Thomas Mandl and
               Djamel Mostefa and
               Anselmo Pe{\~{n}}as and
               Giovanna Roda},
  title     = {Multilingual Information Access Evaluation I. Text Retrieval Experiments,
               10th Workshop of the Cross-Language Evaluation Forum, {CLEF} 2009,
               Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6241},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15754-7},
  doi       = {10.1007/978-3-642-15754-7},
  isbn      = {978-3-642-15753-0},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2009w,
  editor    = {Carol Peters and
               Nicola Ferro},
  title     = {Working Notes for {CLEF} 2009 Workshop co-located with the 13th European
               Conference on Digital Libraries {(ECDL} 2009) , Corf{\`{u}}, Greece,
               September 30 - October 2, 2009},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1175},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1175},
  urn       = {urn:nbn:de:0074-1175-4},
  timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2009w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2008,
  editor    = {Alessandro Armando and
               Peter Baumgartner and
               Gilles Dowek},
  title     = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
               Sydney, Australia, August 12-15, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5195},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-71070-7},
  doi       = {10.1007/978-3-540-71070-7},
  isbn      = {978-3-540-71069-1},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2008paar,
  editor    = {Boris Konev and
               Renate A. Schmidt and
               Stephan Schulz},
  title     = {Proceedings of the First International Workshop on Practical Aspects
               of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {373},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-373},
  urn       = {urn:nbn:de:0074-373-4},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2008paar},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2008,
  editor    = {Carol Peters and
               Thomas Deselaers and
               Nicola Ferro and
               Julio Gonzalo and
               Gareth J. F. Jones and
               Mikko Kurimo and
               Thomas Mandl and
               Anselmo Pe{\~{n}}as and
               Vivien Petras},
  title     = {Evaluating Systems for Multilingual and Multimodal Information Access,
               9th Workshop of the Cross-Language Evaluation Forum, {CLEF} 2008,
               Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5706},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04447-2},
  doi       = {10.1007/978-3-642-04447-2},
  isbn      = {978-3-642-04446-5},
  timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clef/2008w,
  editor    = {Carol Peters and
               Nicola Ferro},
  title     = {Working Notes for {CLEF} 2008 Workshop co-located with the 12th European
               Conference on Digital Libraries {(ECDL} 2008) , Aarhus, Denmark, September
               17-19, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1174},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1174},
  urn       = {urn:nbn:de:0074-1174-1},
  timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clef/2008w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kes/2008-1,
  editor    = {Ignac Lovrek and
               Robert J. Howlett and
               Lakhmi C. Jain},
  title     = {Knowledge-Based Intelligent Information and Engineering Systems, 12th
               International Conference, {KES} 2008, Zagreb, Croatia, September 3-5,
               2008, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5177},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85563-7},
  doi       = {10.1007/978-3-540-85563-7},
  isbn      = {978-3-540-85562-0},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kes/2008-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2007,
  editor    = {Frank Pfenning},
  title     = {Automated Deduction - CADE-21, 21st International Conference on Automated
               Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4603},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73595-3},
  doi       = {10.1007/978-3-540-73595-3},
  isbn      = {978-3-540-73594-6},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics