| Publication | Date of Publication | Type |
|---|
Asymmetric majority pillage games
International Journal of Game Theory | 2024-01-04 | Paper |
A mechanization of strong Kleene logic for partial functions
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
\(\Omega\)\textsc{mega}: towards a mathematical assistant
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Two kinds of non-monotonic analogical inference
Practical Reasoning | 2019-04-29 | Paper |
Reasoning without believing: on the mechanisation of presuppositions and partiality
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
An introduction to mechanized reasoning
Journal of Mathematical Economics | 2017-01-16 | Paper |
Pillage games with multiple stable sets
International Journal of Game Theory | 2015-11-17 | Paper |
Set theory or higher order logic to represent auction concepts in Isabelle?
Lecture Notes in Computer Science | 2014-08-07 | Paper |
Sufficient conditions for unique stable sets in three agent pillage games
Mathematical Social Sciences | 2014-06-11 | Paper |
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Lecture Notes in Computer Science | 2013-08-09 | Paper |
The ForMaRE project -- formal mathematical reasoning in economics
Lecture Notes in Computer Science | 2013-08-09 | Paper |
A Ramsey bound on stable sets in Jordan pillage games
International Journal of Game Theory | 2011-09-06 | Paper |
Using Theorema in the Formalization of Theoretical Economics
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Proofs, Proofs, Proofs, and Proofs
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Normalization Issues in Mathematical Representations
Lecture Notes in Computer Science | 2009-01-27 | Paper |
Combined reasoning by automated cooperation
Journal of Applied Logic | 2008-09-23 | Paper |
A Dynamic Poincaré Principle
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
KI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
scientific article; zbMATH DE number 2090296 (Why is no real title available?)
| 2004-08-12 | Paper |
Automatic Learning of Proof Methods in Proof Planning
Logic Journal of the IGPL | 2004-05-27 | Paper |
scientific article; zbMATH DE number 1954131 (Why is no real title available?)
| 2003-07-28 | Paper |
scientific article; zbMATH DE number 1954188 (Why is no real title available?)
| 2003-07-28 | Paper |
scientific article; zbMATH DE number 1882065 (Why is no real title available?)
| 2003-03-13 | Paper |
Towards learning new methods in proof planning
| 2002-06-13 | Paper |
Proof planning: A practical approach to mechanized reasoning in mathematics
| 2001-09-03 | Paper |
scientific article; zbMATH DE number 1497751 (Why is no real title available?)
| 2001-03-06 | Paper |
scientific article; zbMATH DE number 1301763 (Why is no real title available?)
| 2000-01-12 | Paper |
Adaptation of declaratively represented methods in proof planning
Annals of Mathematics and Artificial Intelligence | 1999-02-02 | Paper |
Integrating computer algebra into proof planning
Journal of Automated Reasoning | 1999-01-03 | Paper |
Using tactics to reformulate formulae for resolution theorem proving
Annals of Mathematics and Artificial Intelligence | 1998-03-04 | Paper |
scientific article; zbMATH DE number 910746 (Why is no real title available?)
| 1996-07-28 | Paper |
scientific article; zbMATH DE number 827983 (Why is no real title available?)
| 1996-05-28 | Paper |
scientific article; zbMATH DE number 67454 (Why is no real title available?)
| 1992-09-27 | Paper |
