Manfred Kerber

Naoki Yoshihara

Int. J. Game Theory, December, 2023

2021

Applying the Isabelle Insider framework to airplane security.

[BibT_eX]

[DOI]

Florian Kammüller

Sci. Comput. Program., 2021

2017

Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation.

[BibT_eX]

[DOI]

Florian Kammüller

Christian W. Probst

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017

2016

An Introduction to Mechanized Reasoning.

[BibT_eX]

[DOI]

CoRR, 2016

Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling.

[BibT_eX]

[DOI]

Florian Kammüller

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Towards Formal Analysis of Insider Threats for Auctions.

[BibT_eX]

[DOI]

Florian Kammueller

Christian W. Probst

Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, 2016

2015

Pillage games with multiple stable sets.

[BibT_eX]

[DOI]

Simon Mackenzie

Int. J. Game Theory, 2015

VCG - Combinatorial Vickrey-Clarke-Groves Auctions.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2015

Sound Auction Specification and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Conference on Economics and Computation, 2015

2014

Sufficient conditions for unique stable sets in three agent pillage games.

[BibT_eX]

[DOI]

Math. Soc. Sci., 2014

Foreword.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2014

Budget Imbalance Criteria for Auctions: A Formalized Theorem.

[BibT_eX]

[DOI]

Marco B. Caminati

CoRR, 2014

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2013

Proving soundness of combinatorial Vickrey auctions and generating verified executable code.

[BibT_eX]

[DOI]

CoRR, 2013

The ForMaRE Project - Formal Mathematical Reasoning in Economics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.

[BibT_eX]

[DOI]

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2012

Reasoning without believing: on the mechanisation of presuppositions and partiality.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2012

2011

A Ramsey bound on stable sets in Jordan pillage games.

[BibT_eX]

[DOI]

Int. J. Game Theory, 2011

Using <i>Theorema</i> in the Formalization of Theoretical Economics.

[BibT_eX]

[DOI]

Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Proofs, Proofs, Proofs, and Proofs.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Heuristics for Resolution in Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2008

Foreword.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2008

Combined reasoning by automated cooperation.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

Normalization Issues in Mathematical Representations.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2006

A Study of Structural and Parametric Learning in XCS.

[BibT_eX]

[DOI]

Tim Kovacs

Evol. Comput., 2006

A Dynamic Poincaré Principle.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

2005

A Tough Nut for Mathematical Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Why Is the Lucas-Penrose Argument Invalid?.

[BibT_eX]

[DOI]

Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

From MKRP to Omega.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Living with Paradoxes.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

Intuitive and Formal Representations: The Case of Matrices.

[BibT_eX]

[DOI]

Volker Sorge

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Can a Higher-Order and a First-Order Theorem Prover Cooperate?.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

High Classification Accuracy Does Not Imply Effective Genetic Search.

[BibT_eX]

[DOI]

Tim Kovacs

Proceedings of the Genetic and Evolutionary Computation, 2004

2003

Automatic Learning of Proof Methods in Proof Planning.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

2002

Automatic Learning in Proof Planning.

[BibT_eX]

Mateja Jamnik

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Learn Omega-matic: System Description.

[BibT_eX]

[DOI]

Mateja Jamnik

Proceedings of the Automated Deduction, 2002

On the Design of Mathematical Concepts.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

Semantic Selection for Resolution in Clause Graphs.

[BibT_eX]

[DOI]

Seungyeob Choi

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors.

[BibT_eX]

[DOI]

Tomás Recio

J. Symb. Comput., 2001

Experiments with an Agent-Oriented Reasoning System.

[BibT_eX]

[DOI]

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

2000

What Makes a Problem Hard for XCS?

[BibT_eX]

[DOI]

Tim Kovacs

Proceedings of the Advances in Learning Classifier Systems, Third International Workshop, 2000

Resource Guided Concurrent Deduction.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Agent based mathematical reasoning.

[BibT_eX]

[DOI]

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1998

Integrating Computer Algebra into Proof Planning.

[BibT_eX]

[DOI]

Volker Sorge

J. Autom. Reason., 1998

Adaptation of Declaratively Represented Methods in Proof Planning.

[BibT_eX]

[DOI]

Xiaorong Huang

Lassaad Cheikhrouhou

Ann. Math. Artif. Intell., 1998

On Knowledge, Strings, and Paradoxes.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Mechanising Partiality With Re-implementation.

[BibT_eX]

[DOI]

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Omega: Towards a Mathematical Assistant.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1996

Die Beweisentwicklungsumgebung Omega-MKRP.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 1996

Using Tactics to Reformulate Formulae for Resolution Theorem Proving.

[BibT_eX]

[DOI]

Axel Präcklein

Ann. Math. Artif. Intell., 1996

Two Kinds of Non-Monotonic Analogical Inference.

[BibT_eX]

[DOI]

Erica Melis

Proceedings of the Practical Reasoning, 1996

A Resolution Calculus for Presuppositions.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Integrating Computer Algebra with Proof Planning.

[BibT_eX]

[DOI]

Volker Sorge

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Reformulating Resolution Problems by Tactics.

[BibT_eX]

Axel Präcklein

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

Using Exemplary Knowledge for Justified Analogical Reasoning.

[BibT_eX]

Erica Melis

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1994

Planning Mathematical Proofs with Methods.

[BibT_eX]

J. Inf. Process. Cybern., 1994

Adapting Methods to Novel Tasks in Proof Planning.

[BibT_eX]

[DOI]

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

On the Translation of Higher-Order Problems into First-Order Logic.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

A Mechanization of Strong Kleene Logic for Partial Functions.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

KEIM: A Toolkit for Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Omega-MKRP: A Proof Development Environment.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

Deduktionssysteme.

[BibT_eX]

Christoph Weidenbach

Künstliche Intell., 1992

On the representation of mathematical concepts and their translation into first-order logic.

[BibT_eX]

[DOI]

PhD thesis, 1992

1991

How to Prove Higher Order Theorems in First Order Logic.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1989

Some Aspects of Analogy in Mathematical Reasoning.

[BibT_eX]

[DOI]