| Publication | Date of Publication | Type |
|---|
| Names are not just sound and smoke: word embeddings for axiom selection | 2020-03-10 | Paper |
Model elimination without contrapositives
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
Hyper tableaux
Logics in Artificial Intelligence | 2019-10-08 | Paper |
Tableaux for diagnosis applications
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Automated reasoning in the wild
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
On First-Order Model-Based Reasoning
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Deontic logic for human reasoning
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Semantically guided evolution of \(\mathcal{SHI}\) ABoxes
Lecture Notes in Computer Science | 2013-10-04 | Paper |
First-order tableaux in applications (extended abstract)
Lecture Notes in Computer Science | 2011-07-01 | Paper |
An application of automated reasoning in natural language question answering
AI Communications | 2010-06-17 | Paper |
The hyper tableaux calculus with equality and an application to finite model computation
Journal Of Logic And Computation | 2010-02-19 | Paper |
Hyper Tableaux with Equality
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
LogAnswer - A Deduction-Based Question Answering System (System Description)
Automated Reasoning | 2008-11-27 | Paper |
KI 2004: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2008-03-14 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computing answers with model elimination
Artificial Intelligence | 2003-08-28 | Paper |
Automated deduction techniques for the management of personalized documents
Annals of Mathematics and Artificial Intelligence | 2003-06-09 | Paper |
| Nonmonotonic reasoning: Towards efficient calculi and implementations | 2002-08-29 | Paper |
| scientific article; zbMATH DE number 1748570 (Why is no real title available?) | 2002-06-03 | Paper |
| scientific article; zbMATH DE number 1552524 (Why is no real title available?) | 2001-07-29 | Paper |
| scientific article; zbMATH DE number 1341619 (Why is no real title available?) | 2000-06-13 | Paper |
| scientific article; zbMATH DE number 1407679 (Why is no real title available?) | 2000-03-27 | Paper |
| scientific article; zbMATH DE number 1301744 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1292288 (Why is no real title available?) | 1999-05-27 | Paper |
Consolution as a framework for comparing calculi
Journal of Symbolic Computation | 1994-05-05 | Paper |
| scientific article; zbMATH DE number 50050 (Why is no real title available?) | 1993-01-23 | Paper |
Horn equational theories and paramodulation
Journal of Automated Reasoning | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4022665 (Why is no real title available?) | 1987-01-01 | Paper |
Modelling the combination of functional and logic programming languages
Journal of Symbolic Computation | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3574965 (Why is no real title available?) | 1978-01-01 | Paper |
