| # |  | | Author/Editor | | Title | Journal or Booktitle or Institution or Publisher | |
|---|
| 4 |
 | Book |
| |
| 1 |
|
| |
| | | Hoffmann, Jörg | | Utilizing Problem Structure in Planning: A Local Search Approach | Springer | |
| 1 |
|
| |
| | | Gabbay, Kruse, Nonnengart, Ohlbach (ed.) | | Qualitative and Quantitative Practical Reasoning | Springer | |
| 1 |
|
| |
| | | Graf, Peter | | Term Indexing | Springer | |
| 1 |
|
| |
| | | Barth, Peter | | Logic-based 0-1 constraint programming | Kluwer | |
| 42 |
| |
| 1 |
|
| 2005 |
| |
| | | Baumgartner, Peter
Furbach, Ulrich | | Living Books, Automated Deduction and other Strange Things
In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 255-274 | Springer | |
| 2 |
|
| 2003 |
| |
| | | Schmidt, Renate A.
Tishkovsky, Dmitry | | Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | King's College London Publications | |
| | | Sofronie-Stokkermans, Viorica |  | Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100 | Springer | |
| 1 |
|
| |
| | | Basin, David A.
Matthews, Sean | | Logical Frameworks
In: Handbook of Philosophical Logic, 89-164 | Reidel | |
| 7 |
|
| |
| | | Bachmair, Leo
Ganzinger, Harald | | Resolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99 | Elsevier | |
| | | Bockmayr, Alexander
Weispfenning, V. | | Solving numerical constraints
In: Handbook of Automated Reasoning, 751-842 | Elsevier | |
| | | Fermüller, Christian G.
Leitsch, Alexander
Hustadt, Ullrich
Tammet, Tanel | | Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849 | Elsevier | |
| | | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | CSLI | |
| | | Nonnengart, Andreas
Ohlbach, Hans Jürgen
Gabbay, Dov M. | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Elsevier | |
| | | Nonnengart, Andreas
Weidenbach, Christoph | | Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367 | Elsevier | |
| | | Weidenbach, Christoph | | Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013 | Elsevier | |
| 4 |
|
| |
| | | Iturrioz, Luisa
Sofronie-Stokkermans, Viorica | | SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | Tampere University of Technology (Mathematics) | |
| | | Schmidt, Renate A. | | Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180 | secolo Verlag | |
| | | Sofronie-Stokkermans, Viorica | | Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7 | Tampere University of Technology (Mathematics) | |
| | | Wu, Jinzhao | | First-Order Polynomial based Theorem Proving
In: Mathematics Mechanizations and Applications, 273-294 | Academic Press | |
