| # | Y |  | Author/Editor | | Title | |
|---|
| 1 |
 | 2013 |
| |
| 2 |
| |
| 16 |
| 2007 |
| |
| 43 |
| |
| 41 |
| 2005 |
| |
| 37 |
| |
| 36 |
| 2003 |
| |
| 39 |
| |
| 58 |
 | 2001 |
| |
| 7 |
|
| |
| 1 |
|
| Proceedings |
| |
| 28 |
|
| |
| 14 |
|
| Journal Article |
| |
| | | Areces, Carlos
de Rijke, Maarten
de Nivelle, Hans | | Resolution in modal, description and hybrid logic
In: Journal of Logic and Computation [11], 717-736 | |
| | | Ayari, Abdelwaheb
Basin, David A. | | A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520 | |
| | | Basin, David A.
Ganzinger, Harald |  | Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109 | |
| | | Bockmayr, Alexander
Eisenbrand, Friedrich | | Cutting planes and the elementary closure in fixed dimension
In: Mathematics of Operations Research [26], 304-312 | |
| | | Booth, Richard | | The lexicographic closure as a revision process
In: Journal of Applied Non-Classical Logics [11], 35-58 | |
| | | de Nivelle, Hans
Blackburn, Patrick
Bos, Johan
Kohlhase, Michael | | Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28 | |
| | | Delzanno, Giorgio
Podelski, Andreas | | Constraint-based Deductive Model Checking
In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270 | |
| | | Eisenbrand, Friedrich | | Short vectors of planar integral lattices via continued fractions
In: Information Processing Letters [79], 121-126 | |
| | | Ganzinger, Harald | | Efficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103 | |
| | | Jaeger, Manfred | | Automatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22 | |
| | | Jaeger, Manfred | | Complex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220 | |
| | | Sofronie-Stokkermans, Viorica | | Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
In: Multiple-Valued Logic - An International Journal [6], 289-344 | |
| | | van der Torre, Leendert W. N.
Weydert, Emil | | Parameters for Utilitarian Desires in a Qualitative Decision Theory
In: Applied Artificial Intelligence [14], 285-301 | |
| | | Weydert, Emil | | Defaults, Logic and Probability - A theoretical perspective
In: KI - Künstliche Intelligenz [4/01], 44-49 | |
| 1 |
|
| |
| 2 |
|
| Thesis - Masters thesis |
| |
| 3 |
|
| |
