# | | Author/Editor | Year | | Title | |
4 |
| Book |
| |
| | Barth, Peter | 1995 | | Logic-based 0-1 constraint programming | |
| | Gabbay, Kruse, Nonnengart, Ohlbach (ed.) | 1997 | | Qualitative and Quantitative Practical Reasoning | |
| | Graf, Peter | 1996 | | Term Indexing | |
| | Hoffmann, Jörg | 2003 | | Utilizing Problem Structure in Planning: A Local Search Approach | |
42 |
| |
| | Bachmair, Leo
Ganzinger, Harald | 2001 | | Resolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99 | |
| | Bachmair, Leo
Ganzinger, Harald | 1998 | | Equational Reasoning in Saturation-Based Theorem Proving
In: Automated Deduction: A Basis for Applications, 353-397 | |
| | Basin, David A.
Constable, Robert L. | 1993 | | Metalogical Frameworks
In: Logical Environments, 1-29 | |
| | Basin, David A.
Krieg-Brückner, Bernd | 1999 | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | |
| | Basin, David A.
Matthews, Sean | 2002 | | Logical Frameworks
In: Handbook of Philosophical Logic, 89-164 | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1996 | | A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | |
| | Basin, David A.
Walsh, Toby | 1996 | | A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180 | |
| | Baumgartner, Peter
Furbach, Ulrich | 2005 | | 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 | |
| | Bertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando | 1993 | | Completion Subsystem
In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | |
| | Bockmayr, Alexander
Weispfenning, V. | 2001 | | Solving numerical constraints
In: Handbook of Automated Reasoning, 751-842 | |
| | Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
Zini, Floriano | 1999 | | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | |
| | Eisinger, Norbert
Nonnengart, Andreas
Präcklein, Axel | 1992 | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | |
| | Fermüller, Christian G.
Leitsch, Alexander
Hustadt, Ullrich
Tammet, Tanel | 2001 | | Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849 | |
| | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | 2001 | | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | |
| | Ganzinger, Harald
Stuber, Jürgen | 1992 | | Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462 | |
| | Hanus, Michael | 1992 | | Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140 | |
| | Hopf, Jörn
Klawonn, Frank | 1994 | | Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm
In: Fuzzy Systems in Computer Science, 63-74 | |
| | Hustadt, Ullrich | 1995 | | Introducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85 | |
| | Iturrioz, Luisa
Sofronie-Stokkermans, Viorica | 2000 | | 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 | |
| | Kraan, Ina
Basin, David A.
Bundy, Alan | 1996 | | Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145 | |
| | Matthews, Seán | 1994 | | A Theory and its Metatheory in $FS_0$
In: What is a logical system?, 329-354 | |
| | Matthews, Seán
Simpson, Alex | 1996 | | Reflection using the derivability conditions
In: Logic and Algebra, 603-616 | |
| | Matthews, Seán
Smaill, Alan
Basin, David A. | 1993 | | Experience with $FS_0$ as a Framework Theory
In: Logical Environments, 61-82 | |
| | Nonnengart, Andreas
Ohlbach, Hans Jürgen | 1992 | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | |