 | Journal Full Title / ISSN | Year | Author/Editor | | Title | |
|---|
| Journal of Symbolic Computation
0747-7171 | 2003 | Avenhaus, Jürgen
Hillenbrand, Thomas
Löchner, Bernd |  | On Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233 | |
| Theoretical Computer Science
0304-3975 | 2003 | Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc | | Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331 | |
| Journal of Symbolic Computation
0747-7171 | 2003 | de Nivelle, Hans
de Rijke, Maarten | | Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58 | |
| Journal of Artificial Intelligence Research
1076-9757 | 2003 | Hoffmann, Jörg | | The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables
In: Journal of Artificial Intelligence Research [20], 51 | |
| Information and Computation
- | 2003 | Korovin, Konstantin
Voronkov, Andrei | | Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186 | |
| International Journal on Software Tools for Technology Transfer (STTT)
1433-2779 | 2003 | Podelski, Andreas
Ball, Tom
Rajamani, Sriram K. | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | |
| Journal of Symbolic Computation
0747-7171 | 2003 | Sofronie-Stokkermans, Viorica | | Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
In: Journal of Symbolic Computation [36], 891-924 | |
| Journal of Automated Reasoning
0168-7433 | 2002 | Bezem, Marc
Hendriks, Dimitri
de Nivelle, Hans | | Automated Proof Construction in Type Theory using Resolution
In: Journal of Automated Reasoning [29], 253-275 | |
| Information and Computation
0890-5401 | 2002 | Charatonik, Witold
Podelski, Andreas | | Set Constraints with Intersection
In: Information and Computation [179], 213-229 | |
| Autonomous Agents and Multi-Agent Systems
1387-2532 | 2002 | Lang, Jérôme
van der Torre, Leendert W. N.
Weydert, Emil | | Utilitarian Desires
In: Autonomous Agents and Multi-Agent Systems [5], 329-363 | |
| AI Communications
0921-7126 | 2002 | Löchner, Bernd
Hillenbrand, Thomas | | A Phytography of WALDMEISTER
In: AI Communications [15], 127-133 | |
| Information and Computation
- | 2002 | Vorobyov, Sergei | | The undecidability of the first-order theories of one step rewriting in linear canonical systems
In: Information and Computation [175], 182-213 | |
| Theoretical Computer Science
- | 2002 | Vorobyov, Sergei | | $\forall\exists^5$-equational theory of context unification is undecidable
In: Theoretical Computer Science [275], 463-479 | |
| Journal of Symbolic Computation
0747-7171 | 2002 | Waldmann, Uwe | | Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861 | |
| Journal of Symbolic Computation
0747-7171 | 2002 | Waldmann, Uwe | | Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829 | |
| Journal of Symbolic Computation
- | 2002 | Xia, Bican
Yang, Lu | | An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
In: Journal of Symbolic Computation [34], 461-477 | |
| Journal of Logic and Computation
0955-792X | 2001 | Areces, Carlos
de Rijke, Maarten
de Nivelle, Hans | | Resolution in modal, description and hybrid logic
In: Journal of Logic and Computation [11], 717-736 | |
| Journal of Symbolic Computation
- | 2001 | Ayari, Abdelwaheb
Basin, David A. | | A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520 | |
| Journal of the ACM
- | 2001 | Basin, David A.
Ganzinger, Harald | | Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109 | |
| Mathematics of Operations Research
- | 2001 | Bockmayr, Alexander
Eisenbrand, Friedrich | | Cutting planes and the elementary closure in fixed dimension
In: Mathematics of Operations Research [26], 304-312 | |
| Journal of Applied Non-Classical Logics
- | 2001 | Booth, Richard | | The lexicographic closure as a revision process
In: Journal of Applied Non-Classical Logics [11], 35-58 | |
| Studies in Linguistics and Philosophy, Computing Meaning
1-4020-0175-4 | 2001 | de Nivelle, Hans
Blackburn, Patrick
Bos, Johan
Kohlhase, Michael | | Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28 | |
| International Journal on Software Tools for Technology Transfer (STTT)
- | 2001 | Delzanno, Giorgio
Podelski, Andreas | | Constraint-based Deductive Model Checking
In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270 | |
| Information Processing Letters
- | 2001 | Eisenbrand, Friedrich | | Short vectors of planar integral lattices via continued fractions
In: Information Processing Letters [79], 121-126 | |
| ACM SIGPLAN Notices
0362-1340 | 2001 | Ganzinger, Harald | | Efficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103 | |
| International Journal of Approximate Reasoning
0888-613X | 2001 | Jaeger, Manfred | | Automatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22 | |
| Annals of Mathematics and Artificial Intelligence
1012-2443 | 2001 | Jaeger, Manfred | | Complex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220 | |
| Multiple-Valued Logic - An International Journal
1023-6627 | 2001 | 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 | |
| Applied Artificial Intelligence
0883-9514 | 2001 | van der Torre, Leendert W. N.
Weydert, Emil | | Parameters for Utilitarian Desires in a Qualitative Decision Theory
In: Applied Artificial Intelligence [14], 285-301 | |
| KI - Künstliche Intelligenz
0933-1875 | 2001 | Weydert, Emil | | Defaults, Logic and Probability - A theoretical perspective
In: KI - Künstliche Intelligenz [4/01], 44-49 | |
