BibTeX records: Peter Baumgartner 0001

download as .bib file

@inproceedings{DBLP:conf/kr/BaumgartnerTT18,
  author    = {Peter Baumgartner and
               Sylvie Thi{\'{e}}baux and
               Felipe W. Trevizan},
  title     = {Heuristic Search Planning With Multi-Objective Probabilistic {LTL}
               Constraints},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018.},
  pages     = {415--424},
  year      = {2018},
  crossref  = {DBLP:conf/kr/2018},
  url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18039},
  timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/BaumgartnerTT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaumgartnerTT17,
  author    = {Peter Baumgartner and
               Sylvie Thi{\'{e}}baux and
               Felipe W. Trevizan},
  title     = {Tableaux for Policy Synthesis for MDPs with PCTL* Constraints},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
               International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
               September 25-28, 2017, Proceedings},
  pages     = {175--192},
  year      = {2017},
  crossref  = {DBLP:conf/tableaux/2017},
  url       = {https://doi.org/10.1007/978-3-319-66902-1\_11},
  doi       = {10.1007/978-3-319-66902-1\_11},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/BaumgartnerTT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaumgartnerTT17,
  author    = {Peter Baumgartner and
               Sylvie Thi{\'{e}}baux and
               Felipe W. Trevizan},
  title     = {Tableaux for Policy Synthesis for MDPs with PCTL* Constraints},
  journal   = {CoRR},
  volume    = {abs/1706.10102},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.10102},
  archivePrefix = {arXiv},
  eprint    = {1706.10102},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BaumgartnerTT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BaumgartnerBW16,
  author    = {Peter Baumgartner and
               Wolfgang Bibel and
               Richard Waldinger},
  title     = {In Memory of Mark Stickel},
  journal   = {J. Autom. Reasoning},
  volume    = {56},
  number    = {2},
  pages     = {95--98},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10817-015-9347-z},
  doi       = {10.1007/s10817-015-9347-z},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jar/BaumgartnerBW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaumgartnerS16,
  author    = {Peter Baumgartner and
               Renate A. Schmidt},
  title     = {Blocking and Other Enhancements for Bottom-Up Model Generation Methods},
  journal   = {CoRR},
  volume    = {abs/1611.09014},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.09014},
  archivePrefix = {arXiv},
  eprint    = {1611.09014},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BaumgartnerS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Baumgartner15,
  author    = {Peter Baumgartner},
  title     = {SMTtoTPTP - {A} Converter for Theorem Proving Formats},
  booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  pages     = {285--294},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6\_19},
  doi       = {10.1007/978-3-319-21401-6\_19},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Baumgartner15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerBW15,
  author    = {Peter Baumgartner and
               Joshua Bax and
               Uwe Waldmann},
  title     = {Beagle - {A} Hierarchic Superposition Theorem Prover},
  booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  pages     = {367--377},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6\_25},
  doi       = {10.1007/978-3-319-21401-6\_25},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerBW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/Baumgartner14,
  author    = {Peter Baumgartner},
  title     = {Model Evolution-Based Theorem Proving},
  journal   = {{IEEE} Intelligent Systems},
  volume    = {29},
  number    = {1},
  pages     = {4--10},
  year      = {2014},
  url       = {https://doi.org/10.1109/MIS.2013.124},
  doi       = {10.1109/MIS.2013.124},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/expert/Baumgartner14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerBW14,
  author    = {Peter Baumgartner and
               Joshua Bax and
               Uwe Waldmann},
  title     = {Finite Quantification in Hierarchic Theorem Proving},
  booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 19-22, 2014. Proceedings},
  pages     = {152--167},
  year      = {2014},
  crossref  = {DBLP:conf/cade/2014},
  url       = {https://doi.org/10.1007/978-3-319-08587-6\_11},
  doi       = {10.1007/978-3-319-08587-6\_11},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerBW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerW13,
  author    = {Peter Baumgartner and
               Uwe Waldmann},
  title     = {Hierarchic Superposition with Weak Abstraction},
  booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  pages     = {39--57},
  year      = {2013},
  crossref  = {DBLP:conf/cade/2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2\_3},
  doi       = {10.1007/978-3-642-38574-2\_3},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaumgartnerB13,
  author    = {Peter Baumgartner and
               Joshua Bax},
  title     = {Proving Infinite Satisfiability},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
               International Conference, LPAR-19, Stellenbosch, South Africa, December
               14-19, 2013. Proceedings},
  pages     = {86--95},
  year      = {2013},
  crossref  = {DBLP:conf/lpar/2013},
  url       = {https://doi.org/10.1007/978-3-642-45221-5\_6},
  doi       = {10.1007/978-3-642-45221-5\_6},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BaumgartnerB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/0002BDN13,
  author    = {Andreas Bauer and
               Peter Baumgartner and
               Martin Diller and
               Michael Norrish},
  title     = {Tableaux for Verification of Data-Centric Processes},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
               International Conference, {TABLEAUX} 2013, Nancy, France, September
               16-19, 2013. Proceedings},
  pages     = {28--43},
  year      = {2013},
  crossref  = {DBLP:conf/tableaux/2013},
  url       = {https://doi.org/10.1007/978-3-642-40537-2\_5},
  doi       = {10.1007/978-3-642-40537-2\_5},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/0002BDN13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BarnesBCDKSSSTHW12,
  author    = {Nick Barnes and
               Peter Baumgartner and
               Tib{\'{e}}rio S. Caetano and
               Hugh F. Durrant{-}Whyte and
               Gerwin Klein and
               Penelope Sanderson and
               Abdul Sattar and
               Peter J. Stuckey and
               Sylvie Thi{\'{e}}baux and
               Pascal Van Hentenryck and
               Toby Walsh},
  title     = {AI@NICTA},
  journal   = {{AI} Magazine},
  volume    = {33},
  number    = {3},
  pages     = {115},
  year      = {2012},
  url       = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2430},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/aim/BarnesBCDKSSSTHW12},
  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/lpar/SutcliffeSCB12,
  author    = {Geoff Sutcliffe and
               Stephan Schulz and
               Koen Claessen and
               Peter Baumgartner},
  title     = {The {TPTP} Typed First-Order Form with Arithmetic},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
               International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
               11-15, 2012. Proceedings},
  pages     = {406--419},
  year      = {2012},
  crossref  = {DBLP:conf/lpar/2012},
  url       = {https://doi.org/10.1007/978-3-642-28717-6\_32},
  doi       = {10.1007/978-3-642-28717-6\_32},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/SutcliffeSCB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-6148,
  author    = {Peter Baumgartner and
               Evgenij Thorstensen},
  title     = {Instance Based Methods --- {A} Brief Overview},
  journal   = {CoRR},
  volume    = {abs/1202.6148},
  year      = {2012},
  url       = {http://arxiv.org/abs/1202.6148},
  archivePrefix = {arXiv},
  eprint    = {1202.6148},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1202-6148},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2461,
  author    = {Andreas Klaus Bauer and
               Peter Baumgartner and
               Michael Norrish},
  title     = {Reasoning with Data-Centric Business Processes},
  journal   = {CoRR},
  volume    = {abs/1207.2461},
  year      = {2012},
  url       = {http://arxiv.org/abs/1207.2461},
  archivePrefix = {arXiv},
  eprint    = {1207.2461},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1207-2461},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BaumgartnerW11,
  author    = {Peter Baumgartner and
               Uwe Waldmann},
  title     = {A Combined Superposition and Model Evolution Calculus},
  journal   = {J. Autom. Reasoning},
  volume    = {47},
  number    = {2},
  pages     = {191--227},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10817-010-9214-x},
  doi       = {10.1007/s10817-010-9214-x},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jar/BaumgartnerW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerT11,
  author    = {Peter Baumgartner and
               Cesare Tinelli},
  title     = {Model Evolution with Equality Modulo Built-in Theories},
  booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
               Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  pages     = {85--100},
  year      = {2011},
  crossref  = {DBLP:conf/cade/2011},
  url       = {https://doi.org/10.1007/978-3-642-22438-6\_9},
  doi       = {10.1007/978-3-642-22438-6\_9},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ArmandoBD10,
  author    = {Alessandro Armando and
               Peter Baumgartner and
               Gilles Dowek},
  title     = {Preface},
  journal   = {J. Autom. Reasoning},
  volume    = {45},
  number    = {2},
  pages     = {89},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10817-010-9180-3},
  doi       = {10.1007/s10817-010-9180-3},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jar/ArmandoBD10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BaumgartnerT10,
  author    = {Peter Baumgartner and
               Evgenij Thorstensen},
  title     = {Instance Based Methods - {A} Brief Overview},
  journal   = {{KI}},
  volume    = {24},
  number    = {1},
  pages     = {35--42},
  year      = {2010},
  url       = {https://doi.org/10.1007/s13218-010-0002-x},
  doi       = {10.1007/s13218-010-0002-x},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ki/BaumgartnerT10},
  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}
}
@article{DBLP:journals/japll/BaumgartnerFNT09,
  author    = {Peter Baumgartner and
               Alexander Fuchs and
               Hans de Nivelle and
               Cesare Tinelli},
  title     = {Computing finite models by reduction to function-free clause logic},
  journal   = {J. Applied Logic},
  volume    = {7},
  number    = {1},
  pages     = {58--74},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jal.2007.07.005},
  doi       = {10.1016/j.jal.2007.07.005},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/japll/BaumgartnerFNT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerW09,
  author    = {Peter Baumgartner and
               Uwe Waldmann},
  title     = {Superposition and Model Evolution Combined},
  booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
               Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  pages     = {17--34},
  year      = {2009},
  crossref  = {DBLP:conf/cade/2009},
  url       = {https://doi.org/10.1007/978-3-642-02959-2\_2},
  doi       = {10.1007/978-3-642-02959-2\_2},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/BaumgartnerS09,
  author    = {Peter Baumgartner and
               John Slaney},
  title     = {Constraint Modelling: {A} Challenge for First Order Automated Reasoning},
  booktitle = {Proceedings of the 7th International Workshop on First-Order Theorem
               Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009.},
  year      = {2009},
  crossref  = {DBLP:conf/ftp/2009},
  url       = {http://ceur-ws.org/Vol-556/paper03.pdf},
  timestamp = {Thu, 15 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ftp/BaumgartnerS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaaderBBCGJLRS09,
  author    = {Franz Baader and
               Andreas Bauer and
               Peter Baumgartner and
               Anne Cregan and
               Alfredo Gabaldon and
               Krystian Ji and
               Kevin Lee and
               David Rajaratnam and
               Rolf Schwitter},
  title     = {A Novel Architecture for Situation Awareness Systems},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
               International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
               2009. Proceedings},
  pages     = {77--92},
  year      = {2009},
  crossref  = {DBLP:conf/tableaux/2009},
  url       = {https://doi.org/10.1007/978-3-642-02716-1\_7},
  doi       = {10.1007/978-3-642-02716-1\_7},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/BaaderBBCGJLRS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumgartnerT08,
  author    = {Peter Baumgartner and
               Cesare Tinelli},
  title     = {The model evolution calculus as a first-order {DPLL} method},
  journal   = {Artif. Intell.},
  volume    = {172},
  number    = {4-5},
  pages     = {591--632},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.artint.2007.09.005},
  doi       = {10.1016/j.artint.2007.09.005},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ai/BaumgartnerT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaumgartnerFT08,
  author    = {Peter Baumgartner and
               Alexander Fuchs and
               Cesare Tinelli},
  title     = {{(LIA)} - Model Evolution with Linear Integer Arithmetic Constraints},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  pages     = {258--273},
  year      = {2008},
  crossref  = {DBLP:conf/lpar/2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1\_19},
  doi       = {10.1007/978-3-540-89439-1\_19},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BaumgartnerFT08},
  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 = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Baumgartner07,
  author    = {Peter Baumgartner},
  title     = {Logical Engineering with Instance-Based Methods},
  booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
               Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  pages     = {404--409},
  year      = {2007},
  crossref  = {DBLP:conf/cade/2007},
  url       = {https://doi.org/10.1007/978-3-540-73595-3\_30},
  doi       = {10.1007/978-3-540-73595-3\_30},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Baumgartner07},
  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 = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerFP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/BaumgartnerFT06,
  author    = {Peter Baumgartner and
               Alexander Fuchs and
               Cesare Tinelli},
  title     = {Implementing the Model Evolution Calculus},
  journal   = {International Journal on Artificial Intelligence Tools},
  volume    = {15},
  number    = {1},
  pages     = {21--52},
  year      = {2006},
  url       = {https://doi.org/10.1142/S0218213006002552},
  doi       = {10.1142/S0218213006002552},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijait/BaumgartnerFT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerS06,
  author    = {Peter Baumgartner and
               Renate A. Schmidt},
  title     = {Blocking and Other Enhancements for Bottom-Up Model Generation Methods},
  booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {125--139},
  year      = {2006},
  crossref  = {DBLP:conf/cade/2006},
  url       = {https://doi.org/10.1007/11814771\_11},
  doi       = {10.1007/11814771\_11},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaumgartnerFT06,
  author    = {Peter Baumgartner and
               Alexander Fuchs and
               Cesare Tinelli},
  title     = {Lemma Learning in the Model Evolution Calculus},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
               International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
               13-17, 2006, Proceedings},
  pages     = {572--586},
  year      = {2006},
  crossref  = {DBLP:conf/lpar/2006},
  url       = {https://doi.org/10.1007/11916277\_39},
  doi       = {10.1007/11916277\_39},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BaumgartnerFT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/BaumgartnerS06,
  author    = {Peter Baumgartner and
               Fabian M. Suchanek},
  title     = {Automated Reasoning Support for First-Order Ontologies},
  booktitle = {Principles and Practice of Semantic Web Reasoning, 4th International
               Workshop, {PPSWR} 2006, Budva, Montenegro, June 10-11, 2006, Revised
               Selected Papers},
  pages     = {18--32},
  year      = {2006},
  crossref  = {DBLP:conf/ppswr/2006},
  url       = {https://doi.org/10.1007/11853107\_2},
  doi       = {10.1007/11853107\_2},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppswr/BaumgartnerS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5431,
  editor    = {Franz Baader and
               Peter Baumgartner and
               Robert Nieuwenhuis and
               Andrei Voronkov},
  title     = {Deduction and Applications, 23.-28. October 2005},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {05431},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
               (IBFI), Schloss Dagstuhl, Germany},
  year      = {2006},
  url       = {http://drops.dagstuhl.de/portals/05431/},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2005P5431},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AhrendtBNRT05,
  author    = {Wolfgang Ahrendt and
               Peter Baumgartner and
               Hans de Nivelle and
               Silvio Ranise and
               Cesare Tinelli},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {125},
  number    = {3},
  pages     = {1--2},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.02.025},
  doi       = {10.1016/j.entcs.2005.02.025},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AhrendtBNRT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BaumgartnerFY05,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Adnan H. Yahya},
  title     = {Automated Reasoning, Knowledge Representation and Management},
  journal   = {{KI}},
  volume    = {19},
  number    = {1},
  pages     = {5},
  year      = {2005},
  url       = {http://www.kuenstliche-intelligenz.de/index.php?id=no-6423\&\#38;tx\_ki\_pi1\%5BshowUid\%5D=1053\&\#38;cHash=ecf4053db4},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ki/BaumgartnerFY05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaumgartnerF05,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Living Books, Automated Deduction and Other Strange Things},
  booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
               H. Siekmann on the Occasion of His 60th Birthday},
  pages     = {249--267},
  year      = {2005},
  crossref  = {DBLP:conf/birthday/2005siekmann},
  url       = {https://doi.org/10.1007/978-3-540-32254-2\_15},
  doi       = {10.1007/978-3-540-32254-2\_15},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/BaumgartnerF05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerT05,
  author    = {Peter Baumgartner and
               Cesare Tinelli},
  title     = {The Model Evolution Calculus with Equality},
  booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
               Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  pages     = {392--408},
  year      = {2005},
  crossref  = {DBLP:conf/cade/2005},
  url       = {https://doi.org/10.1007/11532231\_29},
  doi       = {10.1007/11532231\_29},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaaderBNV05,
  author    = {Franz Baader and
               Peter Baumgartner and
               Robert Nieuwenhuis and
               Andrei Voronkov},
  title     = {05431 Executive Summary - Deduction and Applications},
  booktitle = {Deduction and Applications, 23.-28. October 2005},
  year      = {2005},
  crossref  = {DBLP:conf/dagstuhl/2005P5431},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2006/510},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BaaderBNV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaaderBNV05a,
  author    = {Franz Baader and
               Peter Baumgartner and
               Robert Nieuwenhuis and
               Andrei Voronkov},
  title     = {05431 Abstracts Collection - Deduction and Applications},
  booktitle = {Deduction and Applications, 23.-28. October 2005},
  year      = {2005},
  crossref  = {DBLP:conf/dagstuhl/2005P5431},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2006/562},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BaaderBNV05a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BaumgartnerFGS04,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Margret Gro{\ss}{-}Hardt and
               Alex Sinner},
  title     = {Living Book - Deduction, Slicing, and Interaction},
  journal   = {J. Autom. Reasoning},
  volume    = {32},
  number    = {3},
  pages     = {259--286},
  year      = {2004},
  url       = {https://doi.org/10.1023/B:JARS.0000044872.51237.c9},
  doi       = {10.1023/B:JARS.0000044872.51237.c9},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jar/BaumgartnerFGS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BaumgartnerGOM04,
  author    = {Peter Baumgartner and
               Barbara L. Grabowski and
               Walter Oevel and
               Erica Melis},
  title     = {In2Math - Interaktive Mathematik- und Informatikgrundausbildung},
  journal   = {Softwaretechnik-Trends},
  volume    = {24},
  number    = {1},
  year      = {2004},
  url       = {http://pi.informatik.uni-siegen.de/stt/24\_1/Abschlussworkshop/in2math.pdf},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/stt/BaumgartnerGOM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BaumgartnerB04,
  author    = {Peter Baumgartner and
               Aljoscha Burchardt},
  title     = {Logic Programming Infrastructure for Inferences on FrameNet},
  booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  pages     = {591--603},
  year      = {2004},
  crossref  = {DBLP:conf/jelia/2004},
  url       = {https://doi.org/10.1007/978-3-540-30227-8\_49},
  doi       = {10.1007/978-3-540-30227-8\_49},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/BaumgartnerB04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BaumgartnerFGK04,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Margret Gro{\ss}{-}Hardt and
               Thomas Kleemann},
  title     = {Model Based Deduction for Database Schema Reasoning},
  booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
               Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
               Proceedings},
  pages     = {168--182},
  year      = {2004},
  crossref  = {DBLP:conf/ki/2004},
  url       = {https://doi.org/10.1007/978-3-540-30221-6\_14},
  doi       = {10.1007/978-3-540-30221-6\_14},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ki/BaumgartnerFGK04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/BaumgartnerFGK04,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Margret Gro{\ss}{-}Hardt and
               Thomas Kleemann},
  title     = {Optimizing the Evaluation of XPath Using Description Logics},
  booktitle = {Applications of Declarative Programming and Knowledge Management,
               15th International Conference on Applications of Declarative Programming
               and Knowledge Management, {INAP} 2004, and 18th Workshop on Logic
               Programming, {WLP} 2004, Potsdam, Germany, March 4-6, 2004, Revised
               Selected Papers},
  pages     = {1--15},
  year      = {2004},
  crossref  = {DBLP:conf/wlp/2004},
  url       = {https://doi.org/10.1007/11415763\_1},
  doi       = {10.1007/11415763\_1},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wlp/BaumgartnerFGK04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BaumgartnerF03,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Automated Deduction Techniques for the Management of Personalized
               Documents},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {38},
  number    = {1-3},
  pages     = {211--228},
  year      = {2003},
  url       = {https://doi.org/10.1023/A:1022976016809},
  doi       = {10.1023/A:1022976016809},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amai/BaumgartnerF03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaumgartnerZ03,
  author    = {Peter Baumgartner and
               Hantao Zhang},
  title     = {Preface to First order theorem proving},
  journal   = {J. Symb. Comput.},
  volume    = {36},
  number    = {1-2},
  pages     = {1--3},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0747-7171(03)00022-1},
  doi       = {10.1016/S0747-7171(03)00022-1},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/BaumgartnerZ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerFGS03,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Margret Gro{\ss}{-}Hardt and
               Alex Sinner},
  title     = {'Living Book': -'Deduction', 'Slicing', 'Interaction'},
  booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
               Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  pages     = {284--288},
  year      = {2003},
  crossref  = {DBLP:conf/cade/2003},
  url       = {https://doi.org/10.1007/978-3-540-45085-6\_23},
  doi       = {10.1007/978-3-540-45085-6\_23},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerFGS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerT03,
  author    = {Peter Baumgartner and
               Cesare Tinelli},
  title     = {The Model Evolution Calculus},
  booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
               Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  pages     = {350--364},
  year      = {2003},
  crossref  = {DBLP:conf/cade/2003},
  url       = {https://doi.org/10.1007/978-3-540-45085-6\_32},
  doi       = {10.1007/978-3-540-45085-6\_32},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wirtschaftsinformatik/BaumgartnerFG03,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Margret Gro{\ss}{-}Hardt},
  title     = {Living Books},
  booktitle = {Wirtschaftsinformatik 2003, Medien - M{\"{a}}rkte - Mobilit{\"{a}}t,
               Band {I}},
  pages     = {693--706},
  year      = {2003},
  crossref  = {DBLP:conf/wirtschaftsinformatik/2003-1},
  url       = {http://aisel.aisnet.org/wi2003/36},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wirtschaftsinformatik/BaumgartnerFG03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AravindanB00,
  author    = {Chandrabose Aravindan and
               Peter Baumgartner},
  title     = {Theorem Proving Techniques for View Deletion in Databases},
  journal   = {J. Symb. Comput.},
  volume    = {29},
  number    = {2},
  pages     = {119--147},
  year      = {2000},
  url       = {https://doi.org/10.1006/jsco.1999.0358},
  doi       = {10.1006/jsco.1999.0358},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/AravindanB00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaumgartnerEF00,
  author    = {Peter Baumgartner and
               Norbert Eisinger and
               Ulrich Furbach},
  title     = {A Confluent Connection Calculus},
  booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
               of his 60th birthday)},
  pages     = {3--26},
  year      = {2000},
  crossref  = {DBLP:conf/birthday/Bibel2000},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/BaumgartnerEF00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Baumgartner00,
  author    = {Peter Baumgartner},
  title     = {{FDPLL} - {A} First Order Davis-Putnam-Longeman-Loveland Procedure},
  booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  pages     = {200--219},
  year      = {2000},
  crossref  = {DBLP:conf/cade/2000},
  url       = {https://doi.org/10.1007/10721959\_16},
  doi       = {10.1007/10721959\_16},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Baumgartner00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerFPZ00,
  author    = {Peter Baumgartner and
               Christian G. Ferm{\"{u}}ller and
               Nicolas Peltier and
               Hantao Zhang},
  title     = {Workshop: Model Computation - Principles, Algorithms, Applications},
  booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  pages     = {513},
  year      = {2000},
  crossref  = {DBLP:conf/cade/2000},
  url       = {https://doi.org/10.1007/10721959\_45},
  doi       = {10.1007/10721959\_45},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerFPZ00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/BaumgartnerM00,
  author    = {Peter Baumgartner and
               Fabio Massacci},
  title     = {The Taming of the {(X)OR}},
  booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
               UK, 24-28 July, 2000, Proceedings},
  pages     = {508--522},
  year      = {2000},
  crossref  = {DBLP:conf/cl/2000},
  url       = {https://doi.org/10.1007/3-540-44957-4\_34},
  doi       = {10.1007/3-540-44957-4\_34},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cl/BaumgartnerM00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerEF99,
  author    = {Peter Baumgartner and
               Norbert Eisinger and
               Ulrich Furbach},
  title     = {A Confluent Connection Calculus},
  booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
               Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
  pages     = {329--343},
  year      = {1999},
  crossref  = {DBLP:conf/cade/1999},
  url       = {https://doi.org/10.1007/3-540-48660-7\_30},
  doi       = {10.1007/3-540-48660-7\_30},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerEF99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Baumgartner98,
  author    = {Peter Baumgartner},
  title     = {Theory Reasoning in Connection Calculi},
  series    = {Lecture Notes in Computer Science},
  volume    = {1527},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/b71631},
  doi       = {10.1007/b71631},
  isbn      = {3-540-65509-3},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/Baumgartner98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BaumgartnerDDFKST98,
  author    = {Peter Baumgartner and
               Ingo Dahn and
               J{\"{u}}rgen Dix and
               Ulrich Furbach and
               Michael K{\"{u}}hn and
               Frieder Stolzenburg and
               Bernd Thomas},
  title     = {Automated Deduction: a Technological Point of View},
  journal   = {{KI}},
  volume    = {12},
  number    = {4},
  pages     = {7--14},
  year      = {1998},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ki/BaumgartnerDDFKST98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Baumgartner98,
  author    = {Peter Baumgartner},
  title     = {Hyper Tableau - The Next Generation},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
               Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
               1998, Proceedings},
  pages     = {60--76},
  year      = {1998},
  crossref  = {DBLP:conf/tableaux/1998},
  url       = {https://doi.org/10.1007/3-540-69778-0\_14},
  doi       = {10.1007/3-540-69778-0\_14},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/Baumgartner98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumgartnerFS97,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Frieder Stolzenburg},
  title     = {Computing Answers with Model Elimination},
  journal   = {Artif. Intell.},
  volume    = {90},
  number    = {1-2},
  pages     = {135--176},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0004-3702(96)00042-2},
  doi       = {10.1016/S0004-3702(96)00042-2},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ai/BaumgartnerFS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BaumgartnerB97,
  author    = {Peter Baumgartner and
               Stefan Br{\"{u}}ning},
  title     = {A Disjunctive Positive Refinement of Model Elimination and its Application
               to Subsumption Deletion},
  journal   = {J. Autom. Reasoning},
  volume    = {19},
  number    = {2},
  pages     = {205--262},
  year      = {1997},
  url       = {https://doi.org/10.1023/A:1005812703468},
  doi       = {10.1023/A:1005812703468},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jar/BaumgartnerB97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaumgartnerF97,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Calculi for Disjunctive Logic Programming},
  booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
               on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  pages     = {409},
  year      = {1997},
  crossref  = {DBLP:conf/iclp/1997},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/BaumgartnerF97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumgartnerFFN97,
  author    = {Peter Baumgartner and
               Peter Fr{\"{o}}hlich and
               Ulrich Furbach and
               Wolfgang Nejdl},
  title     = {Semantically Guided Theorem Proving for Diagnosis Applications},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  pages     = {460--465},
  year      = {1997},
  crossref  = {DBLP:conf/ijcai/1997},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BaumgartnerFFN97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/AravindanB97,
  author    = {Chandrabose Aravindan and
               Peter Baumgartner},
  title     = {A Rational and Efficient Algorithm for View Deletion in Databases},
  booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
               Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
  pages     = {165--179},
  year      = {1997},
  crossref  = {DBLP:conf/slp/1997},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/AravindanB97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BaumgartnerF97,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Calculi for Disjunctive Logic Programming},
  booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
               Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
  pages     = {229--243},
  year      = {1997},
  crossref  = {DBLP:conf/slp/1997},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/BaumgartnerF97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaumgartnerFFN97,
  author    = {Peter Baumgartner and
               Peter Fr{\"{o}}hlich and
               Ulrich Furbach and
               Wolfgang Nejdl},
  title     = {Tableaux for Diagnosis Applications},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
               Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
               1997, Proceedings},
  pages     = {76--90},
  year      = {1997},
  crossref  = {DBLP:conf/tableaux/1997},
  url       = {https://doi.org/10.1007/BFb0027406},
  doi       = {10.1007/BFb0027406},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/BaumgartnerFFN97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Baumgartner96,
  author    = {Peter Baumgartner},
  title     = {Linear and Unit-Resulting Refutations for Horn Theories},
  journal   = {J. Autom. Reasoning},
  volume    = {16},
  number    = {3},
  pages     = {241--319},
  year      = {1996},
  url       = {https://doi.org/10.1007/BF00252179},
  doi       = {10.1007/BF00252179},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jar/Baumgartner96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BaumgartnerDFSS96,
  author    = {Peter Baumgartner and
               J{\"{u}}rgen Dix and
               Ulrich Furbach and
               Dorothea Sch{\"{a}}fer and
               Frieder Stolzenburg},
  title     = {Deduktion und Logisches Programmieren},
  journal   = {{KI}},
  volume    = {10},
  number    = {2},
  pages     = {34--39},
  year      = {1996},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ki/BaumgartnerDFSS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/BaumgartnerF96,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Hyper Tableaux and Disjunctive Logic Programming},
  booktitle = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
               Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
               Germany, September 5-6, 1996},
  pages     = {29--43},
  year      = {1996},
  crossref  = {DBLP:conf/deductive/1996},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/deductive/BaumgartnerF96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AravindanBDFNNSS96,
  author    = {Chandrabose Aravindan and
               Peter Baumgartner and
               J{\"{u}}rgen Dix and
               Ulrich Furbach and
               Gerd Neugebauer and
               Ilkka Niemel{\"{a}} and
               Dorothea Sch{\"{a}}fer and
               Frieder Stolzenburg},
  title     = {On Merging Theorem Proving and Logic Programming Paradigms (Poster
               Abstract)},
  booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
               and Symposium on Logic Programming, Bonn, Germany, September 2-6,
               1996},
  pages     = {546},
  year      = {1996},
  crossref  = {DBLP:conf/iclp/1996},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278885},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/AravindanBDFNNSS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BaumgartnerFN96,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Ilkka Niemel{\"{a}}},
  title     = {Hyper Tableaux},
  booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96,
               {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
  pages     = {1--17},
  year      = {1996},
  crossref  = {DBLP:conf/jelia/1996},
  url       = {https://doi.org/10.1007/3-540-61630-6\_1},
  doi       = {10.1007/3-540-61630-6\_1},
  timestamp = {Wed, 14 Nov 2018 10:56:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/BaumgartnerFN96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaumgartnerFS95,
  author    = {Peter Baumgartner and
               Ulrich Furbach and
               Frieder Stolzenburg},
  title     = {Model Elimination, Logic Programming and Computing Answers},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
               August 20-25 1995, 2 Volumes},
  pages     = {335--341},
  year      = {1995},
  crossref  = {DBLP:conf/ijcai/1995},
  url       = {http://ijcai.org/Proceedings/95-1/Papers/044.pdf},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BaumgartnerFS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaumgartnerS95,
  author    = {Peter Baumgartner and
               Frieder Stolzenburg},
  title     = {Constraint Model Elimination and a PTTP-Implementation},
  booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
               Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
               May 7-10, 1995, Proceedings},
  pages     = {201--216},
  year      = {1995},
  crossref  = {DBLP:conf/tableaux/1995},
  url       = {https://doi.org/10.1007/3-540-59338-1\_37},
  doi       = {10.1007/3-540-59338-1\_37},
  timestamp = {Fri, 02 Nov 2018 09:37:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/BaumgartnerS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1995,
  editor    = {Peter Baumgartner and
               Reiner H{\"{a}}hnle and
               Joachim Posegga},
  title     = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
               Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
               May 7-10, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {918},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-59338-1},
  doi       = {10.1007/3-540-59338-1},
  isbn      = {3-540-59338-1},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BaumgartnerF94,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Model Elimination Without Contrapositives and Its Application to {PTTP}},
  journal   = {J. Autom. Reasoning},
  volume    = {13},
  number    = {3},
  pages     = {339--359},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF00881948},
  doi       = {10.1007/BF00881948},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jar/BaumgartnerF94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerF94,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Model Elimination Without Contrapositives},
  booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
               Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
  pages     = {87--101},
  year      = {1994},
  crossref  = {DBLP:conf/cade/1994},
  url       = {https://doi.org/10.1007/3-540-58156-1\_7},
  doi       = {10.1007/3-540-58156-1\_7},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerF94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumgartnerF94a,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {{PROTEIN:} {A} PROver with a Theory Extension INterface},
  booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
               Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
  pages     = {769--773},
  year      = {1994},
  crossref  = {DBLP:conf/cade/1994},
  url       = {https://doi.org/10.1007/3-540-58156-1\_57},
  doi       = {10.1007/3-540-58156-1\_57},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BaumgartnerF94a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Baumgartner94,
  author    = {Peter Baumgartner},
  title     = {Refinements of Theory Model Elimination and a Variant without Contrapositives},
  booktitle = {{ECAI}},
  pages     = {90--94},
  year      = {1994},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/Baumgartner94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaumgartnerF93,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Consolution as a Framework for Comparing Calculi},
  journal   = {J. Symb. Comput.},
  volume    = {16},
  number    = {5},
  pages     = {445--477},
  year      = {1993},
  url       = {https://doi.org/10.1006/jsco.1993.1058},
  doi       = {10.1006/jsco.1993.1058},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/BaumgartnerF93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Baumgartner92,
  author    = {Peter Baumgartner},
  title     = {A Model Elimination Calculus with Built-in Theories},
  booktitle = {{GWAI-92:} Advances in Artificial Intelligence, 16th German Conference
               on Artificial Intelligence, Bonn, Germany, August 31 - September 3,
               1992, Proceedings},
  pages     = {30--42},
  year      = {1992},
  crossref  = {DBLP:conf/ki/1992},
  url       = {https://doi.org/10.1007/BFb0018990},
  doi       = {10.1007/BFb0018990},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ki/Baumgartner92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Baumgartner92,
  author    = {Peter Baumgartner},
  title     = {An Order Theory Resolution Calculus},
  booktitle = {Logic Programming and Automated Reasoning,International Conference
               LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
  pages     = {119--130},
  year      = {1992},
  crossref  = {DBLP:conf/lpar/1992},
  url       = {https://doi.org/10.1007/BFb0013054},
  doi       = {10.1007/BFb0013054},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/Baumgartner92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Baumgartner92,
  author    = {Peter Baumgartner},
  title     = {A Model Elimination Calculus with Built-in Theories (Extended Abstract)},
  booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
               Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
               f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
               und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
  pages     = {7--10},
  year      = {1992},
  crossref  = {DBLP:conf/tableaux/1992},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/Baumgartner92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaumgartnerF92,
  author    = {Peter Baumgartner and
               Ulrich Furbach},
  title     = {Consolution as a Framework for Comparing Calculi},
  booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
               Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
               f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
               und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
  pages     = {11--14},
  year      = {1992},
  crossref  = {DBLP:conf/tableaux/1992},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/BaumgartnerF92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Baumgartner91,
  author    = {Peter Baumgartner},
  title     = {A Completeness Proof Technique for Resolution with Equality},
  booktitle = {GWAI-91, 15. Fachtagung f{\"{u}}r K{\"{u}}nstliche Intelligenz,
               Bonn, 16.-20. September 1991, Proceedings},
  pages     = {12--22},
  year      = {1991},
  crossref  = {DBLP:conf/ki/1991},
  url       = {https://doi.org/10.1007/978-3-662-02711-0\_2},
  doi       = {10.1007/978-3-662-02711-0\_2},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ki/Baumgartner91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Baumgartner90,
  author    = {Peter Baumgartner},
  title     = {Combining Horn Clause Logic with Rewrite Rules},
  booktitle = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
               Proceedings of the Fourth International Conference on Artificial Intelligence:
               Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
               September 19-22, 1990},
  pages     = {189--198},
  year      = {1990},
  crossref  = {DBLP:conf/aimsa/1990},
  timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aimsa/Baumgartner90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2018,
  editor    = {Michael Thielscher and
               Francesca Toni and
               Frank Wolter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {http://www.aaai.org/Library/KR/kr18contents.php},
  isbn      = {978-1-57735-803-9},
  timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2017,
  editor    = {Renate A. Schmidt and
               Cl{\'{a}}udia Nalon},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
               International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
               September 25-28, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10501},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66902-1},
  doi       = {10.1007/978-3-319-66902-1},
  isbn      = {978-3-319-66901-4},
  timestamp = {Wed, 06 Sep 2017 15:24:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/2017},
  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 = {Sun, 21 May 2017 00:17:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014,
  editor    = {St{\'{e}}phane Demri and
               Deepak Kapur and
               Christoph Weidenbach},
  title     = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 19-22, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8562},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08587-6},
  doi       = {10.1007/978-3-319-08587-6},
  isbn      = {978-3-319-08586-9},
  timestamp = {Sun, 21 May 2017 00:17:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2014},
  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 = {Sun, 21 May 2017 00:17:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2013,
  editor    = {Kenneth L. McMillan and
               Aart Middeldorp and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
               International Conference, LPAR-19, Stellenbosch, South Africa, December
               14-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8312},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45221-5},
  doi       = {10.1007/978-3-642-45221-5},
  isbn      = {978-3-642-45220-8},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2013,
  editor    = {Didier Galmiche and
               Dominique Larchey{-}Wendling},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
               International Conference, {TABLEAUX} 2013, Nancy, France, September
               16-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8123},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40537-2},
  doi       = {10.1007/978-3-642-40537-2},
  isbn      = {978-3-642-40536-5},
  timestamp = {Fri, 26 May 2017 00:51:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2012,
  editor    = {Nikolaj Bj{\o}rner and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
               International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
               11-15, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7180},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28717-6},
  doi       = {10.1007/978-3-642-28717-6},
  isbn      = {978-3-642-28716-9},
  timestamp = {Tue, 23 May 2017 01:12:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2011,
  editor    = {Nikolaj Bj{\o}rner and
               Viorica Sofronie{-}Stokkermans},
  title     = {Automated Deduction - {CADE-23} - 23rd International Conference on
               Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6803},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22438-6},
  doi       = {10.1007/978-3-642-22438-6},
  isbn      = {978-3-642-22437-9},
  timestamp = {Sun, 21 May 2017 00:17:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2009,
  editor    = {Renate A. Schmidt},
  title     = {Automated Deduction - CADE-22, 22nd International Conference on Automated
               Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5663},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02959-2},
  doi       = {10.1007/978-3-642-02959-2},
  isbn      = {978-3-642-02958-5},
  timestamp = {Sun, 21 May 2017 00:17:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftp/2009,
  editor    = {Nicolas Peltier and
               Viorica Sofronie{-}Stokkermans},
  title     = {Proceedings of the 7th International Workshop on First-Order Theorem
               Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {556},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-556},
  timestamp = {Mon, 12 Nov 2018 18:24:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ftp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2009,
  editor    = {Martin Giese and
               Arild Waaler},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
               International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5607},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02716-1},
  doi       = {10.1007/978-3-642-02716-1},
  isbn      = {978-3-642-02715-4},
  timestamp = {Fri, 26 May 2017 00:51:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008,
  editor    = {Iliano Cervesato and
               Helmut Veith and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5330},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1},
  doi       = {10.1007/978-3-540-89439-1},
  isbn      = {978-3-540-89438-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2008},
  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 = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2006,
  editor    = {Ulrich Furbach and
               Natarajan Shankar},
  title     = {Automated Reasoning, Third International Joint Conference, {IJCAR}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4130},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11814771},
  doi       = {10.1007/11814771},
  isbn      = {3-540-37187-7},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2006,
  editor    = {Miki Hermann and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
               International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
               13-17, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4246},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11916277},
  doi       = {10.1007/11916277},
  isbn      = {3-540-48281-4},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppswr/2006,
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               James Bailey and
               Wolfgang May and
               Uta Schwertel},
  title     = {Principles and Practice of Semantic Web Reasoning, 4th International
               Workshop, {PPSWR} 2006, Budva, Montenegro, June 10-11, 2006, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4187},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11853107},
  doi       = {10.1007/11853107},
  isbn      = {3-540-39586-5},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppswr/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005siekmann,
  editor    = {Dieter Hutter and
               Werner Stephan},
  title     = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
               H. Siekmann on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2605},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106663},
  doi       = {10.1007/b106663},
  isbn      = {3-540-25051-4},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2005siekmann},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2005,
  editor    = {Robert Nieuwenhuis},
  title     = {Automated Deduction - CADE-20, 20th International Conference on Automated
               Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3632},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11532231},
  doi       = {10.1007/11532231},
  isbn      = {3-540-28005-7},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2004,
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Jo{\~{a}}o Alexandre Leite},
  title     = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3229},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100483},
  doi       = {10.1007/b100483},
  isbn      = {3-540-23242-7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2004,
  editor    = {Susanne Biundo and
               Thom W. Fr{\"{u}}hwirth and
               G{\"{u}}nther Palm},
  title     = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
               Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3238},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100351},
  doi       = {10.1007/b100351},
  isbn      = {3-540-23166-8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2004,
  editor    = {Dietmar Seipel and
               Michael Hanus and
               Ulrich Geske and
               Oskar Bartenstein},
  title     = {Applications of Declarative Programming and Knowledge Management,
               15th International Conference on Applications of Declarative Programming
               and Knowledge Management, {INAP} 2004, and 18th Workshop on Logic
               Programming, {WLP} 2004, Potsdam, Germany, March 4-6, 2004, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3392},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b135595},
  doi       = {10.1007/b135595},
  isbn      = {3-540-25560-5},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wlp/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2003,
  editor    = {Franz Baader},
  title     = {Automated Deduction - CADE-19, 19th International Conference on Automated
               Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2741},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11829},
  doi       = {10.1007/b11829},
  isbn      = {3-540-40559-3},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wirtschaftsinformatik/2003-1,
  editor    = {Wolfgang Uhr and
               Werner Esswein and
               Eric Schoop},
  title     = {Wirtschaftsinformatik 2003, Medien - M{\"{a}}rkte - Mobilit{\"{a}}t,
               Band {I}},
  publisher = {Physica-Verlag},
  year      = {2003},
  isbn      = {3-7908-0111-9},
  timestamp = {Thu, 12 Jul 2007 14:42:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wirtschaftsinformatik/2003-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/Bibel2000,
  editor    = {Steffen H{\"{o}}lldobler},
  title     = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
               of his 60th birthday)},
  series    = {Applied Logic Series},
  volume    = {19},
  publisher = {Kluwer},
  year      = {2000},
  isbn      = {0-7923-6261-6},
  timestamp = {Thu, 03 Jan 2002 11:54:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/Bibel2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2000,
  editor    = {David A. McAllester},
  title     = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1831},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10721959},
  doi       = {10.1007/10721959},
  isbn      = {3-540-67664-3},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cl/2000,
  editor    = {John W. Lloyd and
               Ver{\'{o}}nica Dahl and
               Ulrich Furbach and
               Manfred Kerber and
               Kung{-}Kiu Lau and
               Catuscia Palamidessi and
               Lu{\'{\i}}s Moniz Pereira and
               Yehoshua Sagiv and
               Peter J. Stuckey},
  title     = {Computational Logic - {CL} 2000, First International Conference, London,
               UK, 24-28 July, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1861},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44957-4},
  doi       = {10.1007/3-540-44957-4},
  isbn      = {3-540-67797-6},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cl/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1999,
  editor    = {Harald Ganzinger},
  title     = {Automated Deduction - CADE-16, 16th International Conference on Automated
               Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1632},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48660-7},
  doi       = {10.1007/3-540-48660-7},
  isbn      = {3-540-66222-7},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1998,
  editor    = {Harrie C. M. de Swart},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods, International
               Conference, {TABLEAUX} '98, Oisterwijk, The Netherlands, May 5-8,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1397},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-69778-0},
  doi       = {10.1007/3-540-69778-0},
  isbn      = {3-540-64406-7},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1997,
  editor    = {Lee Naish},
  title     = {Logic Programming, Proceedings of the Fourteenth International Conference
               on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  publisher = {{MIT} Press},
  year      = {1997},
  isbn      = {0-262-64035-X},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1997,
  title     = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  publisher = {Morgan Kaufmann},
  year      = {1997},
  url       = {http://ijcai.org/proceedings/1997-1},
  timestamp = {Tue, 19 Jul 2016 15:27:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1997,
  editor    = {Jan Maluszynski},
  title     = {Logic Programming, Proceedings of the 1997 International Symposium,
               Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
  publisher = {{MIT} Press},
  year      = {1997},
  isbn      = {0-262-63180-6},
  timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1997,
  editor    = {Didier Galmiche},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods, International
               Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
               1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1227},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0027400},
  doi       = {10.1007/BFb0027400},
  isbn      = {3-540-62920-3},
  timestamp = {Mon, 22 May 2017 17:11:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1996,
  editor    = {Dmitri Boulanger and
               Ulrich Geske and
               Fosca Giannotti and
               Dietmar Seipel},
  title     = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
               Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
               Germany, September 5-6, 1996},
  series    = {GMD-Studien},
  volume    = {295},
  publisher = {GMD, Sankt Augustin, Germany},
  year      = {1996},
  isbn      = {3-88457-295-4},
  timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/deductive/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1996,
  editor    = {Michael J. Maher},
  title     = {Logic Programming, Proceedings of the 1996 Joint International Conference
               and Symposium on Logic Programming, Bonn, Germany, September 2-6,
               1996},
  publisher = {{MIT} Press},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515},
  isbn      = {0-262-63173-3},
  timestamp = {Thu, 17 Aug 2017 12:43:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/1996,
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Lu{\'{\i}}s Moniz Pereira and
               Ewa Orlowska},
  title     = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96,
               {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1126},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61630-6},
  doi       = {10.1007/3-540-61630-6},
  isbn      = {3-540-61630-6},
  timestamp = {Wed, 14 Nov 2018 10:56:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1995,
  title     = {Proceedings of the Fourteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
               August 20-25 1995, 2 Volumes},
  publisher = {Morgan Kaufmann},
  year      = {1995},
  url       = {http://ijcai.org/proceedings/1995-1},
  timestamp = {Tue, 19 Jul 2016 15:06:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1995,
  editor    = {Peter Baumgartner and
               Reiner H{\"{a}}hnle and
               Joachim Posegga},
  title     = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
               Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
               May 7-10, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {918},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-59338-1},
  doi       = {10.1007/3-540-59338-1},
  isbn      = {3-540-59338-1},
  timestamp = {Fri, 02 Nov 2018 09:37:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1994,
  editor    = {Alan Bundy},
  title     = {Automated Deduction - CADE-12, 12th International Conference on Automated
               Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {814},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58156-1},
  doi       = {10.1007/3-540-58156-1},
  isbn      = {3-540-58156-1},
  timestamp = {Sat, 20 May 2017 15:32:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1992,
  editor    = {Hans J{\"{u}}rgen Ohlbach},
  title     = {{GWAI-92:} Advances in Artificial Intelligence, 16th German Conference
               on Artificial Intelligence, Bonn, Germany, August 31 - September 3,
               1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {671},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/BFb0018988},
  doi       = {10.1007/BFb0018988},
  isbn      = {3-540-56667-8},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/1992,
  editor    = {Andrei Voronkov},
  title     = {Logic Programming and Automated Reasoning,International Conference
               LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {624},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0013043},
  doi       = {10.1007/BFb0013043},
  isbn      = {3-540-55727-X},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1992,
  editor    = {Bertram Fronh{\"{o}}fer and
               Reiner H{\"{a}}hnle and
               Thomas K{\"{a}}ufl},
  title     = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
               Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
               f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
               und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
  year      = {1992},
  timestamp = {Tue, 15 May 2012 18:19:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1991,
  editor    = {Thomas Christaller},
  title     = {GWAI-91, 15. Fachtagung f{\"{u}}r K{\"{u}}nstliche Intelligenz,
               Bonn, 16.-20. September 1991, Proceedings},
  series    = {Informatik-Fachberichte},
  volume    = {285},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/978-3-662-02711-0},
  doi       = {10.1007/978-3-662-02711-0},
  isbn      = {3-540-54558-1},
  timestamp = {Thu, 25 May 2017 00:42:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aimsa/1990,
  editor    = {Philippe Jorrand and
               Vassil Stoyanov Sgurev},
  title     = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
               Proceedings of the Fourth International Conference on Artificial Intelligence:
               Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
               September 19-22, 1990},
  publisher = {North-Holland},
  year      = {1990},
  isbn      = {0-444-88771-7},
  timestamp = {Thu, 16 Mar 2017 14:36:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aimsa/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier