Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manfred Kerber
@article{DBLP:journals/ijgt/KerberRY23,
author = {Manfred Kerber and
Colin Rowat and
Naoki Yoshihara},
title = {Asymmetric majority pillage games},
journal = {Int. J. Game Theory},
volume = {52},
number = {4},
pages = {1009--1035},
year = {2023},
url = {https://doi.org/10.1007/s00182-023-00859-y},
doi = {10.1007/S00182-023-00859-Y},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijgt/KerberRY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2023,
editor = {Catherine Dubois and
Manfred Kerber},
title = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4},
doi = {10.1007/978-3-031-42753-4},
isbn = {978-3-031-42752-7},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KammullerK21,
author = {Florian Kamm{\"{u}}ller and
Manfred Kerber},
title = {Applying the Isabelle Insider framework to airplane security},
journal = {Sci. Comput. Program.},
volume = {206},
pages = {102623},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102623},
doi = {10.1016/J.SCICO.2021.102623},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/KammullerK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-11838,
author = {Florian Kamm{\"{u}}ller and
Manfred Kerber},
title = {Applying the Isabelle Insider Framework to Airplane Security},
journal = {CoRR},
volume = {abs/2003.11838},
year = {2020},
url = {https://arxiv.org/abs/2003.11838},
eprinttype = {arXiv},
eprint = {2003.11838},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-11838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/KammullerKP17,
author = {Florian Kamm{\"{u}}ller and
Manfred Kerber and
Christian W. Probst},
title = {Insider Threats and Auctions: Formalization, Mechanized Proof, and
Code Generation},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {8},
number = {1},
pages = {44--78},
year = {2017},
url = {https://doi.org/10.22667/JOWUA.2017.03.31.044},
doi = {10.22667/JOWUA.2017.03.31.044},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jowua/KammullerKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KammuellerKP16,
author = {Florian Kammueller and
Manfred Kerber and
Christian W. Probst},
editor = {Ilsun You and
Elisa Bertino},
title = {Towards Formal Analysis of Insider Threats for Auctions},
booktitle = {Proceedings of the 8th {ACM} {CCS} International Workshop on Managing
Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October
28, 2016},
pages = {23--34},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2995963},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/KammuellerKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/KammullerK16,
author = {Florian Kamm{\"{u}}ller and
Manfred Kerber},
title = {Investigating Airplane Safety and Security Against Insider Threats
Using Logical Modeling},
booktitle = {2016 {IEEE} Security and Privacy Workshops, {SP} Workshops 2016, San
Jose, CA, USA, May 22-26, 2016},
pages = {304--313},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SPW.2016.47},
doi = {10.1109/SPW.2016.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/KammullerK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kerber0R16,
author = {Manfred Kerber and
Christoph Lange and
Colin Rowat},
title = {An Introduction to Mechanized Reasoning},
journal = {CoRR},
volume = {abs/1603.02478},
year = {2016},
url = {http://arxiv.org/abs/1603.02478},
eprinttype = {arXiv},
eprint = {1603.02478},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kerber0R16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/CaminatiK0R15,
author = {Marco B. Caminati and
Manfred Kerber and
Christoph Lange and
Colin Rowat},
title = {{VCG} - Combinatorial Vickrey-Clarke-Groves Auctions},
journal = {Arch. Formal Proofs},
volume = {2015},
year = {2015},
url = {https://www.isa-afp.org/entries/Vickrey\_Clarke\_Groves.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/CaminatiK0R15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/MackenzieKR15,
author = {Simon Mackenzie and
Manfred Kerber and
Colin Rowat},
title = {Pillage games with multiple stable sets},
journal = {Int. J. Game Theory},
volume = {44},
number = {4},
pages = {993--1013},
year = {2015},
url = {https://doi.org/10.1007/s00182-015-0462-1},
doi = {10.1007/S00182-015-0462-1},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijgt/MackenzieKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/CaminatiK0R15,
author = {Marco B. Caminati and
Manfred Kerber and
Christoph Lange and
Colin Rowat},
editor = {Tim Roughgarden and
Michal Feldman and
Michael Schwarz},
title = {Sound Auction Specification and Implementation},
booktitle = {Proceedings of the Sixteenth {ACM} Conference on Economics and Computation,
{EC} '15, Portland, OR, USA, June 15-19, 2015},
pages = {547--564},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2764468.2764511},
doi = {10.1145/2764468.2764511},
timestamp = {Fri, 02 Jun 2023 16:54:30 +0200},
biburl = {https://dblp.org/rec/conf/sigecom/CaminatiK0R15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2015,
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8},
doi = {10.1007/978-3-319-20615-8},
isbn = {978-3-319-20614-1},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2015wip,
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
USA, July 13-17, 2015},
year = {2015},
url = {https://cicm-conference.org/2015/CICM2015-wip.pdf},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2015wip.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Kerber0R14,
author = {Manfred Kerber and
Christoph Lange and
Colin Rowat},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {8},
number = {1},
pages = {1--4},
year = {2014},
url = {https://doi.org/10.1007/s11786-014-0178-9},
doi = {10.1007/S11786-014-0178-9},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Kerber0R14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mss/RowatK14,
author = {Colin Rowat and
Manfred Kerber},
title = {Sufficient conditions for unique stable sets in three agent pillage
games},
journal = {Math. Soc. Sci.},
volume = {69},
pages = {69--80},
year = {2014},
url = {https://doi.org/10.1016/j.mathsocsci.2014.02.003},
doi = {10.1016/J.MATHSOCSCI.2014.02.003},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mss/RowatK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CaminatiK0R14,
author = {Marco B. Caminati and
Manfred Kerber and
Christoph Lange and
Colin Rowat},
editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
title = {Set Theory or Higher Order Logic to Represent Auction Concepts in
Isabelle?},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8543},
pages = {236--251},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08434-3\_18},
doi = {10.1007/978-3-319-08434-3\_18},
timestamp = {Wed, 16 Mar 2022 23:55:39 +0100},
biburl = {https://dblp.org/rec/conf/mkm/CaminatiK0R14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaminatiK0R14,
author = {Marco B. Caminati and
Manfred Kerber and
Christoph Lange and
Colin Rowat},
title = {Set Theory or Higher Order Logic to Represent Auction Concepts in
Isabelle?},
journal = {CoRR},
volume = {abs/1406.0774},
year = {2014},
url = {http://arxiv.org/abs/1406.0774},
eprinttype = {arXiv},
eprint = {1406.0774},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaminatiK0R14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaminatiKR14,
author = {Marco B. Caminati and
Manfred Kerber and
Colin Rowat},
title = {Budget Imbalance Criteria for Auctions: {A} Formalized Theorem},
journal = {CoRR},
volume = {abs/1412.0542},
year = {2014},
url = {http://arxiv.org/abs/1412.0542},
eprinttype = {arXiv},
eprint = {1412.0542},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaminatiKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/0002KR13,
author = {Christoph Lange and
Manfred Kerber and
Colin Rowat},
editor = {Matthias Horbach},
title = {Applying Mechanised Reasoning in Economics - Making Reasoners Applicable
for Domain Experts},
booktitle = {43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
angepasst an Mensch, Organisation und Umwelt, {INFORMATIK} 2013, Koblenz,
Germany, September 16-20, 2013},
series = {{LNI}},
volume = {{P-220}},
pages = {153--156},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20721},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/0002KR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/0002CKMRWW13,
author = {Christoph Lange and
Marco B. Caminati and
Manfred Kerber and
Till Mossakowski and
Colin Rowat and
Makarius Wenzel and
Wolfgang Windsteiger},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {A Qualitative Comparison of the Suitability of Four Theorem Provers
for Basic Auction Theory},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {200--215},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_13},
doi = {10.1007/978-3-642-39320-4\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/0002CKMRWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/0002RK13,
author = {Christoph Lange and
Colin Rowat and
Manfred Kerber},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {The ForMaRE Project - Formal Mathematical Reasoning in Economics},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {330--334},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_23},
doi = {10.1007/978-3-642-39320-4\_23},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/0002RK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-4193,
author = {Christoph Lange and
Marco B. Caminati and
Manfred Kerber and
Till Mossakowski and
Colin Rowat and
Makarius Wenzel and
Wolfgang Windsteiger},
title = {A Qualitative Comparison of the Suitability of Four Theorem Provers
for Basic Auction Theory},
journal = {CoRR},
volume = {abs/1303.4193},
year = {2013},
url = {http://arxiv.org/abs/1303.4193},
eprinttype = {arXiv},
eprint = {1303.4193},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-4193.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-4194,
author = {Christoph Lange and
Colin Rowat and
Manfred Kerber},
title = {The ForMaRE Project --- Formal Mathematical Reasoning in Economics},
journal = {CoRR},
volume = {abs/1303.4194},
year = {2013},
url = {http://arxiv.org/abs/1303.4194},
eprinttype = {arXiv},
eprint = {1303.4194},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-4194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaminatiK0R13,
author = {Marco B. Caminati and
Manfred Kerber and
Christoph Lange and
Colin Rowat},
title = {Proving soundness of combinatorial Vickrey auctions and generating
verified executable code},
journal = {CoRR},
volume = {abs/1308.1779},
year = {2013},
url = {http://arxiv.org/abs/1308.1779},
eprinttype = {arXiv},
eprint = {1308.1779},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaminatiK0R13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/KerberK12,
author = {Manfred Kerber and
Michael Kohlhase},
title = {Reasoning without believing: on the mechanisation of presuppositions
and partiality},
journal = {J. Appl. Non Class. Logics},
volume = {22},
number = {4},
pages = {295--317},
year = {2012},
url = {https://doi.org/10.1080/11663081.2012.705962},
doi = {10.1080/11663081.2012.705962},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/KerberK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/KerberR11,
author = {Manfred Kerber and
Colin Rowat},
title = {A Ramsey bound on stable sets in Jordan pillage games},
journal = {Int. J. Game Theory},
volume = {40},
number = {3},
pages = {461--466},
year = {2011},
url = {https://doi.org/10.1007/s00182-010-0247-5},
doi = {10.1007/S00182-010-0247-5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgt/KerberR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KerberRW11,
author = {Manfred Kerber and
Colin Rowat and
Wolfgang Windsteiger},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {Using \emph{Theorema} in the Formalization of Theoretical Economics},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {58--73},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_5},
doi = {10.1007/978-3-642-22673-1\_5},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KerberRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Kerber10,
author = {Manfred Kerber},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {Proofs, Proofs, Proofs, and Proofs},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {345--354},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_30},
doi = {10.1007/978-3-642-14128-7\_30},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Kerber10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-5124,
author = {Manfred Kerber},
title = {Proofs, proofs, proofs, and proofs},
journal = {CoRR},
volume = {abs/1005.5124},
year = {2010},
url = {http://arxiv.org/abs/1005.5124},
eprinttype = {arXiv},
eprint = {1005.5124},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-5124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Kerber09,
author = {Manfred Kerber},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {Heuristics for Resolution in Propositional Logic},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {656--663},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_82},
doi = {10.1007/978-3-642-04617-9\_82},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Kerber09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BenzmullerSJK08,
author = {Christoph Benzm{\"{u}}ller and
Volker Sorge and
Mateja Jamnik and
Manfred Kerber},
title = {Combined reasoning by automated cooperation},
journal = {J. Appl. Log.},
volume = {6},
number = {3},
pages = {318--342},
year = {2008},
url = {https://doi.org/10.1016/j.jal.2007.06.003},
doi = {10.1016/J.JAL.2007.06.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BenzmullerSJK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Kerber08,
author = {Manfred Kerber},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {193--194},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0050-x},
doi = {10.1007/S11786-008-0050-X},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Kerber08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Kerber08,
author = {Manfred Kerber},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Normalization Issues in Mathematical Representations},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {494--503},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_40},
doi = {10.1007/978-3-540-85110-3\_40},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Kerber08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2007,
editor = {Manuel Kauers and
Manfred Kerber and
Robert Miner and
Wolfgang Windsteiger},
title = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
June 27-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4573},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73086-6},
doi = {10.1007/978-3-540-73086-6},
isbn = {978-3-540-73083-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ec/KovacsK06,
author = {Tim Kovacs and
Manfred Kerber},
title = {A Study of Structural and Parametric Learning in {XCS}},
journal = {Evol. Comput.},
volume = {14},
number = {1},
pages = {1--19},
year = {2006},
url = {https://doi.org/10.1162/evco.2006.14.1.1},
doi = {10.1162/EVCO.2006.14.1.1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ec/KovacsK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kerber06,
author = {Manfred Kerber},
editor = {Jonathan M. Borwein and
William M. Farmer},
title = {A Dynamic Poincar{\'{e}} Principle},
booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
2006, Wokingham, UK, August 11-12, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4108},
pages = {44--53},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11812289\_5},
doi = {10.1007/11812289\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Kerber06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kerber05,
author = {Manfred Kerber},
editor = {Dieter Hutter and
Werner Stephan},
title = {From {MKRP} to Omega},
booktitle = {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},
pages = {139--153},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_9},
doi = {10.1007/978-3-540-32254-2\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Kerber05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Kerber05,
author = {Manfred Kerber},
editor = {Ulrich Furbach},
title = {Why Is the Lucas-Penrose Argument Invalid?},
booktitle = {{KI} 2005: Advances in Artificial Intelligence, 28th Annual German
Conference on AI, {KI} 2005, Koblenz, Germany, September 11-14, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3698},
pages = {380--393},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11551263\_30},
doi = {10.1007/11551263\_30},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Kerber05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KerberP05,
author = {Manfred Kerber and
Martin Pollet},
editor = {Michael Kohlhase},
title = {A Tough Nut for Mathematical Knowledge Management},
booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3863},
pages = {81--95},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11618027\_6},
doi = {10.1007/11618027\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KerberP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/KovacsK04,
author = {Tim Kovacs and
Manfred Kerber},
editor = {Kalyanmoy Deb and
Riccardo Poli and
Wolfgang Banzhaf and
Hans{-}Georg Beyer and
Edmund K. Burke and
Paul J. Darwen and
Dipankar Dasgupta and
Dario Floreano and
James A. Foster and
Mark Harman and
Owen Holland and
Pier Luca Lanzi and
Lee Spector and
Andrea Tettamanzi and
Dirk Thierens and
Andrew M. Tyrrell},
title = {High Classification Accuracy Does Not Imply Effective Genetic Search},
booktitle = {Genetic and Evolutionary Computation - {GECCO} 2004, Genetic and Evolutionary
Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3103},
pages = {785--796},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24855-2\_93},
doi = {10.1007/978-3-540-24855-2\_93},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/gecco/KovacsK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BenzmullerSJK04,
author = {Christoph Benzm{\"{u}}ller and
Volker Sorge and
Mateja Jamnik and
Manfred Kerber},
editor = {Franz Baader and
Andrei Voronkov},
title = {Can a Higher-Order and a First-Order Theorem Prover Cooperate?},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {415--431},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_27},
doi = {10.1007/978-3-540-32275-7\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BenzmullerSJK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/PolletSK04,
author = {Martin Pollet and
Volker Sorge and
Manfred Kerber},
editor = {Andrea Asperti and
Grzegorz Bancerek and
Andrzej Trybulec},
title = {Intuitive and Formal Representations: The Case of Matrices},
booktitle = {Mathematical Knowledge Management, Third International Conference,
{MKM} 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3119},
pages = {317--331},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27818-4\_23},
doi = {10.1007/978-3-540-27818-4\_23},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/PolletSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kerber05,
author = {Manfred Kerber},
editor = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Living with Paradoxes},
booktitle = {Proceedings of the 11th Workshop on Logic, Language, Information and
Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {123},
pages = {151--163},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.04.046},
doi = {10.1016/J.ENTCS.2004.04.046},
timestamp = {Mon, 05 Dec 2022 16:29:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kerber05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JamnikKPB03,
author = {Mateja Jamnik and
Manfred Kerber and
Martin Pollet and
Christoph Benzm{\"{u}}ller},
title = {Automatic Learning of Proof Methods in Proof Planning},
journal = {Log. J. {IGPL}},
volume = {11},
number = {6},
pages = {647--673},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.6.647},
doi = {10.1093/JIGPAL/11.6.647},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/JamnikKPB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ChoiK02,
author = {Seungyeob Choi and
Manfred Kerber},
editor = {Bob McKay and
John K. Slaney},
title = {Semantic Selection for Resolution in Clause Graphs},
booktitle = {{AI} 2002: Advances in Artificial Intelligence, 15th Australian Joint
Conference on Artificial Intelligence, Canberra, Australia, December
2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2557},
pages = {83--94},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36187-1\_8},
doi = {10.1007/3-540-36187-1\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ChoiK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/KerberP02,
author = {Manfred Kerber and
Martin Pollet},
editor = {Bob McKay and
John K. Slaney},
title = {On the Design of Mathematical Concepts},
booktitle = {{AI} 2002: Advances in Artificial Intelligence, 15th Australian Joint
Conference on Artificial Intelligence, Canberra, Australia, December
2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2557},
pages = {716},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36187-1\_65},
doi = {10.1007/3-540-36187-1\_65},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/KerberP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JamnikKP02,
author = {Mateja Jamnik and
Manfred Kerber and
Martin Pollet},
editor = {Andrei Voronkov},
title = {Learn Omega-matic: System Description},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {150--155},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_13},
doi = {10.1007/3-540-45620-1\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/JamnikKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JamnikKP02,
author = {Mateja Jamnik and
Manfred Kerber and
Martin Pollet},
editor = {Frank van Harmelen},
title = {Automatic Learning in Proof Planning},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {282--286},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/JamnikKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RecioK01,
author = {Tom{\'{a}}s Recio and
Manfred Kerber},
title = {Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus
2000 Contributions - Foreword from the Editors},
journal = {J. Symb. Comput.},
volume = {32},
number = {1/2},
pages = {1--2},
year = {2001},
url = {https://doi.org/10.1006/jsco.2001.0458},
doi = {10.1006/JSCO.2001.0458},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RecioK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BenzmullerJKS01,
author = {Christoph Benzm{\"{u}}ller and
Mateja Jamnik and
Manfred Kerber and
Volker Sorge},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {Experiments with an Agent-Oriented Reasoning System},
booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2174},
pages = {409--424},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_29},
doi = {10.1007/3-540-45422-5\_29},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/BenzmullerJKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arw/BenzmullerJKS00,
author = {Christoph Benzm{\"{u}}ller and
Mateja Jamnik and
Manfred Kerber and
Volker Sorge},
editor = {Hans J{\"{u}}rgen Ohlbach and
Ulrich Endriss and
Odinaldo Rodrigues and
Stefan Schlobach},
title = {Resource Guided Concurrent Deduction},
booktitle = {Proceedings of the Seventh Workshop on Automated Reasoning, Bridging
the Gap between Theory and Practice, King's College London, UK, 20-21
July 2000},
series = {{CEUR} Workshop Proceedings},
volume = {32},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-32/benzmueller.ps.gz},
timestamp = {Fri, 10 Mar 2023 16:22:28 +0100},
biburl = {https://dblp.org/rec/conf/arw/BenzmullerJKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwlcs/KovacsK00,
author = {Tim Kovacs and
Manfred Kerber},
editor = {Pier Luca Lanzi and
Wolfgang Stolzmann and
Stewart W. Wilson},
title = {What Makes a Problem Hard for XCS?},
booktitle = {Advances in Learning Classifier Systems, Third International Workshop,
{IWLCS} 2000, Paris, France, September 15-16, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1996},
pages = {80--102},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44640-0\_7},
doi = {10.1007/3-540-44640-0\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/iwlcs/KovacsK00.bib},
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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenzmullerJKS99,
author = {Christoph Benzm{\"{u}}ller and
Mateja Jamnik and
Manfred Kerber and
Volker Sorge},
editor = {Alessandro Armando and
Tudor Jebelean},
title = {Agent based mathematical reasoning},
booktitle = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
Italy, July 11-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {3},
pages = {340--351},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)82522-8},
doi = {10.1016/S1571-0661(05)82522-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BenzmullerJKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HuangKC98,
author = {Xiaorong Huang and
Manfred Kerber and
Lassaad Cheikhrouhou},
title = {Adaptation of Declaratively Represented Methods in Proof Planning},
journal = {Ann. Math. Artif. Intell.},
volume = {23},
number = {3-4},
pages = {299--320},
year = {1998},
url = {https://doi.org/10.1023/A:1018980611571},
doi = {10.1023/A:1018980611571},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/HuangKC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KerberKS98,
author = {Manfred Kerber and
Michael Kohlhase and
Volker Sorge},
title = {Integrating Computer Algebra into Proof Planning},
journal = {J. Autom. Reason.},
volume = {21},
number = {3},
pages = {327--355},
year = {1998},
url = {https://doi.org/10.1023/A:1006059810729},
doi = {10.1023/A:1006059810729},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KerberKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Kerber98,
author = {Manfred Kerber},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {On Knowledge, Strings, and Paradoxes},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {342--354},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_23},
doi = {10.1007/3-540-49545-2\_23},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Kerber98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerCFFHKKKMMSSS97,
author = {Christoph Benzm{\"{u}}ller and
Lassaad Cheikhrouhou and
Detlef Fehrer and
Armin Fiedler and
Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Karsten Konrad and
Andreas Meier and
Erica Melis and
Wolf Schaarschmidt and
J{\"{o}}rg H. Siekmann and
Volker Sorge},
editor = {William McCune},
title = {Omega: Towards a Mathematical Assistant},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {252--255},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_23},
doi = {10.1007/3-540-63104-6\_23},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerCFFHKKKMMSSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KerberK97,
author = {Manfred Kerber and
Michael Kohlhase},
editor = {Gerhard Brewka and
Christopher Habel and
Bernhard Nebel},
title = {Mechanising Partiality With Re-implementation},
booktitle = {{KI-97:} Advances in Artificial Intelligence, 21st Annual German Conference
on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1303},
pages = {123--134},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3540634932\_9},
doi = {10.1007/3540634932\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/KerberK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KerberP96,
author = {Manfred Kerber and
Axel Pr{\"{a}}cklein},
title = {Using Tactics to Reformulate Formulae for Resolution Theorem Proving},
journal = {Ann. Math. Artif. Intell.},
volume = {18},
number = {2-4},
pages = {221--241},
year = {1996},
url = {https://doi.org/10.1007/BF02127748},
doi = {10.1007/BF02127748},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/KerberP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/HuangKKMNRS96,
author = {Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Erica Melis and
Dan Nesmith and
J{\"{o}}rn Richts and
J{\"{o}}rg H. Siekmann},
title = {Die Beweisentwicklungsumgebung Omega-MKRP},
journal = {Inform. Forsch. Entwickl.},
volume = {11},
number = {1},
pages = {20--26},
year = {1996},
url = {https://doi.org/10.1007/s004500050036},
doi = {10.1007/S004500050036},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/HuangKKMNRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/KerberKS96,
author = {Manfred Kerber and
Michael Kohlhase and
Volker Sorge},
editor = {Jacques Calmet and
Carla Limongelli},
title = {Integrating Computer Algebra with Proof Planning},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '96, Karlsruhe, Germany, September 18-20, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1128},
pages = {204--215},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61697-7\_22},
doi = {10.1007/3-540-61697-7\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/KerberKS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KerberK96,
author = {Manfred Kerber and
Michael Kohlhase},
editor = {Wolfgang Wahlster},
title = {A Resolution Calculus for Presuppositions},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {375--379},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/KerberK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fapr/KerberM96,
author = {Manfred Kerber and
Erica Melis},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Two Kinds of Non-Monotonic Analogical Inference},
booktitle = {Practical Reasoning, International Conference on Formal and Applied
Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1085},
pages = {361--374},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61313-7\_86},
doi = {10.1007/3-540-61313-7\_86},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fapr/KerberM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocfai/KerberM95,
author = {Manfred Kerber and
Erica Melis},
editor = {Michel De Glas and
Zdzislaw Pawlak},
title = {Using Exemplary Knowledge for Justified Analogical Reasoning},
booktitle = {Proceedings of the Second World Conference on the Fundamentals of
Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France},
pages = {157--168},
publisher = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France},
year = {1995},
timestamp = {Tue, 30 Jul 2019 08:58:42 +0200},
biburl = {https://dblp.org/rec/conf/wocfai/KerberM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocfai/KerberP95,
author = {Manfred Kerber and
Axel Pr{\"{a}}cklein},
editor = {Michel De Glas and
Zdzislaw Pawlak},
title = {Reformulating Resolution Problems by Tactics},
booktitle = {Proceedings of the Second World Conference on the Fundamentals of
Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France},
pages = {169--180},
publisher = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France},
year = {1995},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wocfai/KerberP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/HuangKRS94,
author = {Xiaorong Huang and
Manfred Kerber and
J{\"{o}}rn Richts and
Arthur Sehn},
title = {Planning Mathematical Proofs with Methods},
journal = {J. Inf. Process. Cybern.},
volume = {30},
number = {5/6},
pages = {277--291},
year = {1994},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/HuangKRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KerberK94,
author = {Manfred Kerber and
Michael Kohlhase},
editor = {Alan Bundy},
title = {A Mechanization of Strong Kleene Logic for Partial Functions},
booktitle = {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},
pages = {371--385},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_26},
doi = {10.1007/3-540-58156-1\_26},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KerberK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HuangKKMNRS94,
author = {Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Erica Melis and
Dan Nesmith and
J{\"{o}}rn Richts and
J{\"{o}}rg H. Siekmann},
editor = {Alan Bundy},
title = {Omega-MKRP: {A} Proof Development Environment},
booktitle = {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},
pages = {788--792},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_61},
doi = {10.1007/3-540-58156-1\_61},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HuangKKMNRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HuangKKMNRS94a,
author = {Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
Erica Melis and
Dan Nesmith and
J{\"{o}}rn Richts and
J{\"{o}}rg H. Siekmann},
editor = {Alan Bundy},
title = {{KEIM:} {A} Toolkit for Automated Deduction},
booktitle = {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},
pages = {807--810},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_65},
doi = {10.1007/3-540-58156-1\_65},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HuangKKMNRS94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Kerber94,
author = {Manfred Kerber},
editor = {Anthony G. Cohn},
title = {On the Translation of Higher-Order Problems into First-Order Logic},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {145--149},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Kerber94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HuangKKR94,
author = {Xiaorong Huang and
Manfred Kerber and
Michael Kohlhase and
J{\"{o}}rn Richts},
editor = {Bernhard Nebel and
Leonie S. Dreschler{-}Fischer},
title = {Adapting Methods to Novel Tasks in Proof Planning},
booktitle = {{KI-94:} Advances in Artificial Intelligence, 18th Annual German Conference
on Artificial Intelligence, Saarbr{\"{u}}cken, Germany, September
18-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {861},
pages = {379--390},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58467-6\_33},
doi = {10.1007/3-540-58467-6\_33},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/HuangKKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0070130,
author = {Manfred Kerber},
title = {On the representation of mathematical concepts and their translation
into first-order logic},
school = {Kaiserslautern University of Technology, Germany},
year = {1992},
url = {https://d-nb.info/920724094},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/KerberW92,
author = {Manfred Kerber and
Christoph Weidenbach},
title = {Deduktionssysteme},
journal = {K{\"{u}}nstliche Intell.},
volume = {6},
number = {3},
pages = {14--22},
year = {1992},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/KerberW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kerber91,
author = {Manfred Kerber},
editor = {John Mylopoulos and
Raymond Reiter},
title = {How to Prove Higher Order Theorems in First Order Logic},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {137--142},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/023.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kerber91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Kerber89,
author = {Manfred Kerber},
editor = {Klaus P. Jantke},
title = {Some Aspects of Analogy in Mathematical Reasoning},
booktitle = {Analogical and Inductive Inference, International Workshop {AII} '89,
Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {397},
pages = {231--242},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51734-0\_64},
doi = {10.1007/3-540-51734-0\_64},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/aii/Kerber89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
