| # | Y |  | Author/Editor | | Title | |
|---|
| 1 |
 | 2013 |
| |
| 2 |
| |
| 16 |
| 2007 |
| |
| 43 |
| |
| 41 |
| 2005 |
| |
| 37 |
| |
| 36 |
| 2003 |
| |
| 39 |
| |
| 58 |
| 2001 |
| |
| 48 |
| |
| 61 |
| 1999 |
| |
| 73 |
| |
| 42 |
 | 1997 |
| |
| 1 |
|
| |
| 1 |
|
| Proceedings |
| |
| 24 |
|
| |
| | | Barth, Peter
Bockmayr, Alexander | | PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82 | |
| | | Basin, David A.
Matthews, Seán
Viganò, Luca | | 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 | |
| | | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | |
| | | Charatonik, Witold
Podelski, Andreas | | Set Constraints with Intersection
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372 | |
| | | Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph | | Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335 | |
| | | Hopf, Jörn | | Cooperative Coevolution of Fuzzy Rules
In: Proceedings of the 2nd International ICSC Symposium on Fuzzy Logic and Applications (ISFL-97), 337-381 | |
| | | Hustadt, Ullrich
Schmidt, Renate A. | | On Evaluating Decision Procedures for Modal Logics
In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207 | |
| | | Jaeger, Manfred |  | Relational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273 | |
| | | Matthews, Seán | | A practical implementation of simple consequence relations using inductive definitions
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 306-320 | |
| | | Matthews, Seán | | Extending a logical framework with a modal connective for validity
In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), 491-514 | |
| | | Müller, Martin
Niehren, Joachim
Podelski, Andreas | | Inclusion Constraints over Non-empty Sets of Trees
In: Proceedings of the 7th International Joint Conference CAAP/FASE: Theory and practice of software development (TAPSOFT-97), 345-356 | |
| | | Müller, Martin
Niehren, Joachim
Podelski, Andreas | | Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | |
| | | Pacholski, Leszek
Podelski, Andreas | | Set Constraints: a Pearl in Research on Constraints
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | |
| | | Podelski, Andreas | | Set-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36 | |
