default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManfred Kerber
Person information
- affiliation: University of Birmingham, UK
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j20]Manfred Kerber, Colin Rowat, Naoki Yoshihara
:
Asymmetric majority pillage games. Int. J. Game Theory 52(4): 1009-1035 (2023)- [e5]Catherine Dubois, Manfred Kerber:
Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Lecture Notes in Computer Science 14101, Springer 2023, ISBN 978-3-031-42752-7 [contents] - 2021
- [j19]Florian Kammüller, Manfred Kerber:
Applying the Isabelle Insider framework to airplane security. Sci. Comput. Program. 206: 102623 (2021) - 2020
- [i8]Florian Kammüller, Manfred Kerber:
Applying the Isabelle Insider Framework to Airplane Security. CoRR abs/2003.11838 (2020)
2010 – 2019
- 2017
- [j18]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): 44-78 (2017) - 2016
- [c42]Florian Kammueller, Manfred Kerber, Christian W. Probst:
Towards Formal Analysis of Insider Threats for Auctions. MIST@CCS 2016: 23-34 - [c41]Florian Kammüller, Manfred Kerber:
Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. IEEE Symposium on Security and Privacy Workshops 2016: 304-313 - [i7]Manfred Kerber, Christoph Lange, Colin Rowat:
An Introduction to Mechanized Reasoning. CoRR abs/1603.02478 (2016) - 2015
- [j17]Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
VCG - Combinatorial Vickrey-Clarke-Groves Auctions. Arch. Formal Proofs 2015 (2015) - [j16]Simon Mackenzie, Manfred Kerber, Colin Rowat:
Pillage games with multiple stable sets. Int. J. Game Theory 44(4): 993-1013 (2015) - [c40]Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
Sound Auction Specification and Implementation. EC 2015: 547-564 - [e4]Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge:
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. Lecture Notes in Computer Science 9150, Springer 2015, ISBN 978-3-319-20614-1 [contents] - [e3]Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge:
CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015. 2015 [contents] - 2014
- [j15]Manfred Kerber, Christoph Lange, Colin Rowat:
Foreword. Math. Comput. Sci. 8(1): 1-4 (2014) - [j14]Colin Rowat, Manfred Kerber:
Sufficient conditions for unique stable sets in three agent pillage games. Math. Soc. Sci. 69: 69-80 (2014) - [c39]Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? CICM 2014: 236-251 - [i6]Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? CoRR abs/1406.0774 (2014) - [i5]Marco B. Caminati, Manfred Kerber, Colin Rowat:
Budget Imbalance Criteria for Auctions: A Formalized Theorem. CoRR abs/1412.0542 (2014) - 2013
- [c38]Christoph Lange, Manfred Kerber, Colin Rowat:
Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts. GI-Jahrestagung 2013: 153-156 - [c37]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: 200-215 - [c36]Christoph Lange, Colin Rowat, Manfred Kerber:
The ForMaRE Project - Formal Mathematical Reasoning in Economics. MKM/Calculemus/DML 2013: 330-334 - [i4]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 abs/1303.4193 (2013) - [i3]Christoph Lange, Colin Rowat, Manfred Kerber:
The ForMaRE Project --- Formal Mathematical Reasoning in Economics. CoRR abs/1303.4194 (2013) - [i2]Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat:
Proving soundness of combinatorial Vickrey auctions and generating verified executable code. CoRR abs/1308.1779 (2013) - 2012
- [j13]Manfred Kerber, Michael Kohlhase:
Reasoning without believing: on the mechanisation of presuppositions and partiality. J. Appl. Non Class. Logics 22(4): 295-317 (2012) - 2011
- [j12]Manfred Kerber, Colin Rowat:
A Ramsey bound on stable sets in Jordan pillage games. Int. J. Game Theory 40(3): 461-466 (2011) - [c35]Manfred Kerber, Colin Rowat, Wolfgang Windsteiger:
Using Theorema in the Formalization of Theoretical Economics. Calculemus/MKM 2011: 58-73 - 2010
- [c34]Manfred Kerber:
Proofs, Proofs, Proofs, and Proofs. AISC/MKM/Calculemus 2010: 345-354 - [i1]Manfred Kerber:
Proofs, proofs, proofs, and proofs. CoRR abs/1005.5124 (2010)
2000 – 2009
- 2009
- [c33]Manfred Kerber:
Heuristics for Resolution in Propositional Logic. KI 2009: 656-663 - 2008
- [j11]Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber:
Combined reasoning by automated cooperation. J. Appl. Log. 6(3): 318-342 (2008) - [j10]Manfred Kerber:
Foreword. Math. Comput. Sci. 2(2): 193-194 (2008) - [c32]Manfred Kerber:
Normalization Issues in Mathematical Representations. AISC/MKM/Calculemus 2008: 494-503 - 2007
- [e2]Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger:
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings. Lecture Notes in Computer Science 4573, Springer 2007, ISBN 978-3-540-73083-5 [contents] - 2006
- [j9]Tim Kovacs, Manfred Kerber:
A Study of Structural and Parametric Learning in XCS. Evol. Comput. 14(1): 1-19 (2006) - [c31]Manfred Kerber:
A Dynamic Poincaré Principle. MKM 2006: 44-53 - 2005
- [c30]Manfred Kerber:
From MKRP to Omega. Mechanizing Mathematical Reasoning 2005: 139-153 - [c29]Manfred Kerber:
Why Is the Lucas-Penrose Argument Invalid?. KI 2005: 380-393 - [c28]Manfred Kerber, Martin Pollet:
A Tough Nut for Mathematical Knowledge Management. MKM 2005: 81-95 - 2004
- [c27]Tim Kovacs, Manfred Kerber:
High Classification Accuracy Does Not Imply Effective Genetic Search. GECCO (2) 2004: 785-796 - [c26]Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber:
Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431 - [c25]Martin Pollet, Volker Sorge, Manfred Kerber:
Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331 - [c24]Manfred Kerber:
Living with Paradoxes. WoLLIC 2004: 151-163 - 2003
- [j8]Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller:
Automatic Learning of Proof Methods in Proof Planning. Log. J. IGPL 11(6): 647-673 (2003) - 2002
- [c23]Seungyeob Choi, Manfred Kerber:
Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence 2002: 83-94 - [c22]Manfred Kerber, Martin Pollet:
On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence 2002: 716 - [c21]Mateja Jamnik, Manfred Kerber, Martin Pollet:
Learn Omega-matic: System Description. CADE 2002: 150-155 - [c20]Mateja Jamnik, Manfred Kerber, Martin Pollet:
Automatic Learning in Proof Planning. ECAI 2002: 282-286 - 2001
- [j7]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): 1-2 (2001) - [c19]Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424 - 2000
- [c18]Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
Resource Guided Concurrent Deduction. ARW 2000 - [c17]Tim Kovacs, Manfred Kerber:
What Makes a Problem Hard for XCS? IWLCS 2000: 80-102 - [e1]John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents]
1990 – 1999
- 1999
- [c16]Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
Agent based mathematical reasoning. Calculemus 1999: 340-351 - 1998
- [j6]Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou:
Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. 23(3-4): 299-320 (1998) - [j5]Manfred Kerber, Michael Kohlhase, Volker Sorge:
Integrating Computer Algebra into Proof Planning. J. Autom. Reason. 21(3): 327-355 (1998) - [c15]Manfred Kerber:
On Knowledge, Strings, and Paradoxes. JELIA 1998: 342-354 - 1997
- [c14]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: 252-255 - [c13]Manfred Kerber, Michael Kohlhase:
Mechanising Partiality With Re-implementation. KI 1997: 123-134 - 1996
- [j4]Manfred Kerber, Axel Präcklein:
Using Tactics to Reformulate Formulae for Resolution Theorem Proving. Ann. Math. Artif. Intell. 18(2-4): 221-241 (1996) - [j3]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): 20-26 (1996) - [c12]Manfred Kerber, Michael Kohlhase, Volker Sorge:
Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215 - [c11]Manfred Kerber, Michael Kohlhase:
A Resolution Calculus for Presuppositions. ECAI 1996: 375-379 - [c10]Manfred Kerber, Erica Melis:
Two Kinds of Non-Monotonic Analogical Inference. FAPR 1996: 361-374 - 1995
- [c9]Manfred Kerber, Erica Melis:
Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI 1995: 157-168 - [c8]Manfred Kerber, Axel Präcklein:
Reformulating Resolution Problems by Tactics. WOCFAI 1995: 169-180 - 1994
- [j2]Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn:
Planning Mathematical Proofs with Methods. J. Inf. Process. Cybern. 30(5/6): 277-291 (1994) - [c7]Manfred Kerber, Michael Kohlhase:
A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385 - [c6]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: 788-792 - [c5]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: 807-810 - [c4]Manfred Kerber:
On the Translation of Higher-Order Problems into First-Order Logic. ECAI 1994: 145-149 - [c3]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts:
Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390 - 1992
- [b1]Manfred Kerber:
On the representation of mathematical concepts and their translation into first-order logic. Kaiserslautern University of Technology, Germany, 1992, pp. 1-131 - [j1]Manfred Kerber, Christoph Weidenbach:
Deduktionssysteme. Künstliche Intell. 6(3): 14-22 (1992) - 1991
- [c2]Manfred Kerber:
How to Prove Higher Order Theorems in First Order Logic. IJCAI 1991: 137-142
1980 – 1989
- 1989
- [c1]Manfred Kerber:
Some Aspects of Analogy in Mathematical Reasoning. AII 1989: 231-242
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:20 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:
