Manfred Kerber

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 10

Top Venues

CoRR

MKM/Calculemus/DML

Int. J. Game Theory

Math. Comput. Sci.

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Manfred Kerber, Colin Rowat, Naoki Yoshihara
Asymmetric majority pillage games. Int. J. Game Theory 52 (4) (2023)
Florian Kammüller, Manfred Kerber
Applying the Isabelle Insider framework to airplane security. Sci. Comput. Program. 206 (2021)
Florian Kammüller, Manfred Kerber
Applying the Isabelle Insider Framework to Airplane Security. CoRR (2020)
Florian Kammüller, Manfred Kerber, Christian W. Probst
Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 8 (1) (2017)
Manfred Kerber, Christoph Lange, Colin Rowat
An Introduction to Mechanized Reasoning. CoRR (2016)
Florian Kammueller, Manfred Kerber, Christian W. Probst
Towards Formal Analysis of Insider Threats for Auctions. MIST@CCS (2016)
Florian Kammüller, Manfred Kerber
Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. IEEE Symposium on Security and Privacy Workshops (2016)
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
VCG - Combinatorial Vickrey-Clarke-Groves Auctions. Arch. Formal Proofs 2015 (2015)
Simon Mackenzie, Manfred Kerber, Colin Rowat
Pillage games with multiple stable sets. Int. J. Game Theory 44 (4) (2015)
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
Sound Auction Specification and Implementation. EC (2015)
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? CoRR (2014)
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? CICM (2014)
Manfred Kerber, Christoph Lange, Colin Rowat
Foreword. Math. Comput. Sci. 8 (1) (2014)
Marco B. Caminati, Manfred Kerber, Colin Rowat
Budget Imbalance Criteria for Auctions: A Formalized Theorem. CoRR (2014)
Colin Rowat, Manfred Kerber
Sufficient conditions for unique stable sets in three agent pillage games. Math. Soc. Sci. 69 (2014)
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory CoRR (2013)
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
Proving soundness of combinatorial Vickrey auctions and generating verified executable code. CoRR (2013)
Christoph Lange, Manfred Kerber, Colin Rowat
Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts. GI-Jahrestagung (2013)
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. MKM/Calculemus/DML (2013)
Christoph Lange, Colin Rowat, Manfred Kerber
The ForMaRE Project --- Formal Mathematical Reasoning in Economics CoRR (2013)
Christoph Lange, Colin Rowat, Manfred Kerber
The ForMaRE Project - Formal Mathematical Reasoning in Economics. MKM/Calculemus/DML (2013)
Manfred Kerber, Michael Kohlhase
Reasoning without believing: on the mechanisation of presuppositions and partiality. J. Appl. Non Class. Logics 22 (4) (2012)
Manfred Kerber, Colin Rowat, Wolfgang Windsteiger
in the Formalization of Theoretical Economics. Calculemus/MKM (2011)
Manfred Kerber, Colin Rowat
A Ramsey bound on stable sets in Jordan pillage games. Int. J. Game Theory 40 (3) (2011)
Manfred Kerber
Proofs, proofs, proofs, and proofs CoRR (2010)
Manfred Kerber
Proofs, Proofs, Proofs, and Proofs. AISC/MKM/Calculemus (2010)
Manfred Kerber
Heuristics for Resolution in Propositional Logic. KI (2009)
Manfred Kerber
Normalization Issues in Mathematical Representations. AISC/MKM/Calculemus (2008)
Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
Combined reasoning by automated cooperation. J. Appl. Log. 6 (3) (2008)
Manfred Kerber
Foreword. Math. Comput. Sci. 2 (2) (2008)
Manfred Kerber
A Dynamic Poincaré Principle. MKM (2006)
Tim Kovacs, Manfred Kerber
A Study of Structural and Parametric Learning in XCS. Evol. Comput. 14 (1) (2006)
Manfred Kerber
Living with Paradoxes. Electron. Notes Theor. Comput. Sci. 123 (2005)
Manfred Kerber, Martin Pollet
A Tough Nut for Mathematical Knowledge Management. MKM (2005)
Manfred Kerber
From MKRP to Omega. Mechanizing Mathematical Reasoning (2005)
Manfred Kerber
Why Is the Lucas-Penrose Argument Invalid?. KI (2005)
Tim Kovacs, Manfred Kerber
High Classification Accuracy Does Not Imply Effective Genetic Search. GECCO (2) (2004)
Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR (2004)
Martin Pollet, Volker Sorge, Manfred Kerber
Intuitive and Formal Representations: The Case of Matrices. MKM (2004)
Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
Automatic Learning of Proof Methods in Proof Planning. Log. J. IGPL 11 (6) (2003)
Mateja Jamnik, Manfred Kerber, Martin Pollet
Learn Omega-matic: System Description. CADE (2002)
Manfred Kerber, Martin Pollet
On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence (2002)
Seungyeob Choi, Manfred Kerber
Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence (2002)
Mateja Jamnik, Manfred Kerber, Martin Pollet
Automatic Learning in Proof Planning. ECAI (2002)
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI (2001)
Tomás Recio, Manfred Kerber
Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. J. Symb. Comput. 32 (1/2) (2001)
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
Resource Guided Concurrent Deduction. ARW (2000)
Tim Kovacs, Manfred Kerber
What Makes a Problem Hard for XCS? IWLCS (2000)
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
Agent based mathematical reasoning. Calculemus (1999)
Manfred Kerber, Michael Kohlhase, Volker Sorge
Integrating Computer Algebra into Proof Planning. J. Autom. Reason. 21 (3) (1998)
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. 23 (3-4) (1998)
Manfred Kerber
On Knowledge, Strings, and Paradoxes. JELIA (1998)
Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
Omega: Towards a Mathematical Assistant. CADE (1997)
Manfred Kerber, Michael Kohlhase
Mechanising Partiality With Re-implementation. KI (1997)
Manfred Kerber, Michael Kohlhase, Volker Sorge
Integrating Computer Algebra with Proof Planning. DISCO (1996)
Manfred Kerber, Axel Präcklein
Using Tactics to Reformulate Formulae for Resolution Theorem Proving. Ann. Math. Artif. Intell. 18 (2-4) (1996)
Manfred Kerber, Michael Kohlhase
A Resolution Calculus for Presuppositions. ECAI (1996)
Manfred Kerber, Erica Melis
Two Kinds of Non-Monotonic Analogical Inference. FAPR (1996)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. 11 (1) (1996)
Manfred Kerber, Axel Präcklein
Reformulating Resolution Problems by Tactics. WOCFAI (1995)
Manfred Kerber, Erica Melis
Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI (1995)
Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
Planning Mathematical Proofs with Methods. J. Inf. Process. Cybern. 30 (5/6) (1994)
Manfred Kerber
On the Translation of Higher-Order Problems into First-Order Logic. ECAI (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
Adapting Methods to Novel Tasks in Proof Planning. KI (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. CADE (1994)
Manfred Kerber, Michael Kohlhase
A Mechanization of Strong Kleene Logic for Partial Functions. CADE (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. CADE (1994)
Manfred Kerber, Christoph Weidenbach
Deduktionssysteme. Künstliche Intell. 6 (3) (1992)
Manfred Kerber
How to Prove Higher Order Theorems in First Order Logic. IJCAI (1991)
Manfred Kerber
Some Aspects of Analogy in Mathematical Reasoning. AII (1989)

Manfred Kerber.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manfred Kerber