| Publication | Date of Publication | Type |
|---|
A metatheory of a mechanized object theory
Artificial Intelligence | 2022-09-27 | Paper |
A new method for testing decision procedures in modal logics
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Ideal and real belief about belief
Practical Reasoning | 2019-04-29 | Paper |
ABSFOL: A proof checker with abstraction
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Building decision procedures for modal logics from propositional decision procedures -- the case study of modal K
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
| scientific article; zbMATH DE number 5589211 (Why is no real title available?) | 2009-08-03 | Paper |
Semantic Matching: Algorithms and Implementation
Journal on Data Semantics IX | 2009-03-06 | Paper |
Encoding Classifications into Lightweight Ontologies
Journal on Data Semantics VIII | 2007-11-29 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2102731 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2102710 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2088146 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2080585 (Why is no real title available?) | 2004-08-04 | Paper |
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
| scientific article; zbMATH DE number 1950659 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1927252 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1903365 (Why is no real title available?) | 2003-05-01 | Paper |
ML systems: A proof theory for contexts
Journal of Logic, Language and Information | 2003-03-12 | Paper |
Ideal and real belief about belief
Journal of Logic and Computation | 2003-02-06 | Paper |
Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
Information and Computation | 2003-01-14 | Paper |
SAT-based decision procedures for classical modal logics
Journal of Automated Reasoning | 2002-08-20 | Paper |
A Foundation for Metareasoning Part II: The Model Theory
Journal Of Logic And Computation | 2002-08-12 | Paper |
A Foundation for Metareasoning Part I: The Proof Theory
Journal Of Logic And Computation | 2002-07-30 | Paper |
| scientific article; zbMATH DE number 1759731 (Why is no real title available?) | 2002-07-22 | Paper |
Reasoning theories. Toward an architecture for open mechanized reasoning systems
Journal of Automated Reasoning | 2002-05-21 | Paper |
| scientific article; zbMATH DE number 1701755 (Why is no real title available?) | 2002-02-05 | Paper |
The control layer in open mechanized reasoning systems: Annotations and tactics
Journal of Symbolic Computation | 2002-01-02 | Paper |
| SAT-based decision procedures for classical modal logics | 2001-11-21 | Paper |
Local Models Semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1538052 (Why is no real title available?) | 2001-08-05 | Paper |
| scientific article; zbMATH DE number 1552269 (Why is no real title available?) | 2001-03-19 | Paper |
| scientific article; zbMATH DE number 1538057 (Why is no real title available?) | 2001-03-11 | Paper |
| scientific article; zbMATH DE number 1497752 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1497753 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1538016 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1389647 (Why is no real title available?) | 2000-12-18 | Paper |
NuSMV: A new symbolic model checker
International Journal on Software Tools for Technology Transfer. STTT | 2000-01-01 | Paper |
Theorem proving in technology transfer: The user's point of view
International Journal on Software Tools for Technology Transfer. STTT | 2000-01-01 | Paper |
| scientific article; zbMATH DE number 1222427 (Why is no real title available?) | 1999-04-19 | Paper |
| scientific article; zbMATH DE number 1231668 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1140677 (Why is no real title available?) | 1998-11-10 | Paper |
| scientific article; zbMATH DE number 1202873 (Why is no real title available?) | 1998-09-27 | Paper |
Calculating criticalities
Artificial Intelligence | 1998-07-23 | Paper |
Program tactics and logic tactics
Annals of Mathematics and Artificial Intelligence | 1998-07-19 | Paper |
Abstract proof checking: An example motivated by an incompleteness theorem
Journal of Automated Reasoning | 1998-06-29 | Paper |
| scientific article; zbMATH DE number 770149 (Why is no real title available?) | 1995-07-04 | Paper |
| scientific article; zbMATH DE number 622668 (Why is no real title available?) | 1995-03-23 | Paper |
Multilanguage hierarchical logics, or: How we can do without modal logics
Artificial Intelligence | 1994-02-24 | Paper |
The inevitability of inconsistent abstract spaces
Journal of Automated Reasoning | 1994-01-13 | Paper |
A theory of abstraction
Artificial Intelligence | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 67450 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4164177 (Why is no real title available?) | 1989-01-01 | Paper |
