Manfred Kerber

76 papers A* 2A 8B 2C 4Misc 4Journal 28Unranked 24

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Asymmetric majority pillage games. Int. J. Game Theory Manfred Kerber, Colin Rowat, Naoki Yoshihara
2023	C	`ed.`	Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings CICM Catherine Dubois, Manfred Kerber
2021	J	`jnl`	Applying the Isabelle Insider framework to airplane security. Sci. Comput. Program. Florian Kammüller, Manfred Kerber
2020	J	`jnl`	Applying the Isabelle Insider Framework to Airplane Security. CoRR Florian Kammüller, Manfred Kerber
2017	J	`jnl`	Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Florian Kammüller, Manfred Kerber, Christian W. Probst
2016	J	`jnl`	An Introduction to Mechanized Reasoning. CoRR Manfred Kerber, Christoph Lange, Colin Rowat
2016	—	`conf`	Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. IEEE Symposium on Security and Privacy Workshops Florian Kammüller, Manfred Kerber
2016	—	`conf`	Towards Formal Analysis of Insider Threats for Auctions. MIST@CCS Florian Kammueller, Manfred Kerber, Christian W. Probst
2015	—	`ed.`	CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015 CICM (Work in Progress) Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
2015	C	`ed.`	Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings CICM Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
2015	J	`jnl`	Pillage games with multiple stable sets. Int. J. Game Theory Simon Mackenzie, Manfred Kerber, Colin Rowat
2015	A*	`conf`	Sound Auction Specification and Implementation. EC Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2015	J	`jnl`	VCG - Combinatorial Vickrey-Clarke-Groves Auctions. Arch. Formal Proofs Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2014	J	`jnl`	Budget Imbalance Criteria for Auctions: A Formalized Theorem. CoRR Marco B. Caminati, Manfred Kerber, Colin Rowat
2014	J	`jnl`	Foreword. Math. Comput. Sci. Manfred Kerber, Christoph Lange, Colin Rowat
2014	C	`conf`	Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? CICM Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2014	J	`jnl`	Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? CoRR Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2014	J	`jnl`	Sufficient conditions for unique stable sets in three agent pillage games. Math. Soc. Sci. Colin Rowat, Manfred Kerber
2013	J	`jnl`	A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory CoRR Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013	—	`conf`	A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. MKM/Calculemus/DML Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013	—	`conf`	Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts. GI-Jahrestagung Christoph Lange, Manfred Kerber, Colin Rowat
2013	J	`jnl`	Proving soundness of combinatorial Vickrey auctions and generating verified executable code. CoRR Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2013	—	`conf`	The ForMaRE Project - Formal Mathematical Reasoning in Economics. MKM/Calculemus/DML Christoph Lange, Colin Rowat, Manfred Kerber
2013	J	`jnl`	The ForMaRE Project --- Formal Mathematical Reasoning in Economics CoRR Christoph Lange, Colin Rowat, Manfred Kerber
2012	J	`jnl`	Reasoning without believing: on the mechanisation of presuppositions and partiality. J. Appl. Non Class. Logics Manfred Kerber, Michael Kohlhase
2011	J	`jnl`	A Ramsey bound on stable sets in Jordan pillage games. Int. J. Game Theory Manfred Kerber, Colin Rowat
2011	—	`conf`	Using Calculemus/MKM Manfred Kerber, Colin Rowat, Wolfgang Windsteiger
2010	—	`conf`	Proofs, Proofs, Proofs, and Proofs. AISC/MKM/Calculemus Manfred Kerber
2010	J	`jnl`	Proofs, proofs, proofs, and proofs CoRR Manfred Kerber
2009	Misc	`conf`	Heuristics for Resolution in Propositional Logic. KI Manfred Kerber
2008	J	`jnl`	Combined reasoning by automated cooperation. J. Appl. Log. Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
2008	J	`jnl`	Foreword. Math. Comput. Sci. Manfred Kerber
2008	—	`conf`	Normalization Issues in Mathematical Representations. AISC/MKM/Calculemus Manfred Kerber
2007	—	`ed.`	Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings Calculemus/MKM Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
2006	—	`conf`	A Dynamic Poincaré Principle. MKM Manfred Kerber
2006	J	`jnl`	A Study of Structural and Parametric Learning in XCS. Evol. Comput. Tim Kovacs, Manfred Kerber
2005	—	`conf`	A Tough Nut for Mathematical Knowledge Management. MKM Manfred Kerber, Martin Pollet
2005	—	`conf`	From MKRP to Omega. Mechanizing Mathematical Reasoning Manfred Kerber
2005	Misc	`conf`	Why Is the Lucas-Penrose Argument Invalid?. KI Manfred Kerber
2004	B	`conf`	Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
2004	—	`conf`	High Classification Accuracy Does Not Imply Effective Genetic Search. GECCO (2) Tim Kovacs, Manfred Kerber
2004	—	`conf`	Intuitive and Formal Representations: The Case of Matrices. MKM Martin Pollet, Volker Sorge, Manfred Kerber
2004	C	`conf`	Living with Paradoxes. WoLLIC Manfred Kerber
2003	J	`jnl`	Automatic Learning of Proof Methods in Proof Planning. Log. J. IGPL Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
2002	A	`conf`	Automatic Learning in Proof Planning. ECAI Mateja Jamnik, Manfred Kerber, Martin Pollet
2002	A	`conf`	Learn Omega-matic: System Description. CADE Mateja Jamnik, Manfred Kerber, Martin Pollet
2002	—	`conf`	On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence Manfred Kerber, Martin Pollet
2002	—	`conf`	Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence Seungyeob Choi, Manfred Kerber
2001	J	`jnl`	Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. J. Symb. Comput. Tomás Recio, Manfred Kerber
2001	—	`conf`	Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
2000	—	`ed.`	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings CL John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
2000	—	`conf`	Resource Guided Concurrent Deduction. ARW Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
2000	—	`conf`	What Makes a Problem Hard for XCS? IWLCS Tim Kovacs, Manfred Kerber
1999	—	`conf`	Agent based mathematical reasoning. Calculemus Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
1998	J	`jnl`	Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
1998	J	`jnl`	Integrating Computer Algebra into Proof Planning. J. Autom. Reason. Manfred Kerber, Michael Kohlhase, Volker Sorge
1998	B	`conf`	On Knowledge, Strings, and Paradoxes. JELIA Manfred Kerber
1997	Misc	`conf`	Mechanising Partiality With Re-implementation. KI Manfred Kerber, Michael Kohlhase
1997	A	`conf`	Omega: Towards a Mathematical Assistant. CADE 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
1996	A	`conf`	A Resolution Calculus for Presuppositions. ECAI Manfred Kerber, Michael Kohlhase
1996	J	`jnl`	Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1996	—	`conf`	Integrating Computer Algebra with Proof Planning. DISCO Manfred Kerber, Michael Kohlhase, Volker Sorge
1996	—	`conf`	Two Kinds of Non-Monotonic Analogical Inference. FAPR Manfred Kerber, Erica Melis
1996	J	`jnl`	Using Tactics to Reformulate Formulae for Resolution Theorem Proving. Ann. Math. Artif. Intell. Manfred Kerber, Axel Präcklein
1995	—	`conf`	Reformulating Resolution Problems by Tactics. WOCFAI Manfred Kerber, Axel Präcklein
1995	—	`conf`	Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI Manfred Kerber, Erica Melis
1994	A	`conf`	A Mechanization of Strong Kleene Logic for Partial Functions. CADE Manfred Kerber, Michael Kohlhase
1994	Misc	`conf`	Adapting Methods to Novel Tasks in Proof Planning. KI Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
1994	A	`conf`	KEIM: A Toolkit for Automated Deduction. CADE Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	A	`conf`	Omega-MKRP: A Proof Development Environment. CADE Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	A	`conf`	On the Translation of Higher-Order Problems into First-Order Logic. ECAI Manfred Kerber
1994	J	`jnl`	Planning Mathematical Proofs with Methods. J. Inf. Process. Cybern. Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
1992	J	`jnl`	Deduktionssysteme. Künstliche Intell. Manfred Kerber, Christoph Weidenbach
1992	—	`—`	On the representation of mathematical concepts and their translation into first-order logic. Manfred Kerber
1991	A*	`conf`	How to Prove Higher Order Theorems in First Order Logic. IJCAI Manfred Kerber
1989	—	`conf`	Some Aspects of Analogy in Mathematical Reasoning. AII Manfred Kerber