# | | Author/Editor | Year | | Title | Publisher / Institution | |
1 |
| Book |
| |
| | Gabbay, Kruse, Nonnengart, Ohlbach (ed.) | 1997 | | Qualitative and Quantitative Practical Reasoning | Springer | |
11 |
| Part of a Book |
| |
| | Bachmair, Leo
Ganzinger, Harald | 1998 | | Equational Reasoning in Saturation-Based Theorem Proving
In: Automated Deduction: A Basis for Applications, 353-397 | Kluwer | |
| | Basin, David A.
Krieg-Brückner, Bernd | 1999 | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | Springer | |
| | 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 | Springer | |
| | Nonnengart, Andreas
Szalas, Andrzej | 1999 | | A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18 | Springer | |
| | Schmidt, Renate A. | 1998 | | Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208 | CSLI | |
| | Stuber, Jürgen | 1998 | | Superposition theorem proving for commutative rings
In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55 | Kluwer | |
| | van der Torre, Leendert W. N.
Tan, Yao-Hua | 1999 | | An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90 | IOS Press | |
| | van der Torre, Leendert W. N.
Tan, Yao-Hua | 1999 | | Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192 | Kluwer | |
| | Weidenbach, Christoph | 1998 | | Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197 | Teubner | |
| | Weidenbach, Christoph | 1998 | | Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320 | Kluwer | |
| | Weydert, Emil | 1999 | | JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Spinning Ideas - Electronic Essays Dedicated to Peter Gaerdenfors on His Fiftieth Birthday, 1-11 | Lund University Cognitive Science | |
3 |
| Proceedings |
| |
| | Ganzinger (ed.) | 1999 | | Proceedings of the 16th International Conference on Automated Deduction (CADE-16) | Springer | |
| | Ganzinger, McAllester, Voronkov (ed.) | 1999 | | Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) | Springer | |
| | Weydert, Brewka, Witteveen (ed.) | 1997 | | Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97) | Max-Planck-Institut für Informatik | |
85 |
| Proceedings Article |
| |
| | Abdelwaheb, Ayari
Basin, David A.
Podelski, Andreas | 1998 | | LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34 | Springer | |
| | Bachmair, Leo
Ganzinger, Harald | 1998 | | Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174 | Springer | |
| | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | 1998 | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Springer | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Springer | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | Springer | |
| | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | A Hybrid Concept Language
In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, ? | http://rutcor.rutgers.edu/~amai | |
| | Bockmayr, Alexander
Dimopoulos, Yannis | 1998 | | Mixed Integer Programming Models for Planning Problems
In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), 1-6 | NASA Ames Research Center | |
| | Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
Zini, Floriano | 1999 | | Multi-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | Springer | |
| | Charatonik, Witold
McAllester, David
Niwinski, Damian
Podelski, Andreas
Walukiewicz, Igor | 1998 | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | IEEE | |
| | Charatonik, Witold
Podelski, Andreas | 1998 | | Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225 | Springer | |
| | Charatonik, Witold
Podelski, Andreas | 1998 | | Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294 | Springer | |