| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
|---|
| Representation Theorems and Automated Theorem Proving in Non-Classical Logics
In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), 242-247 | Sofronie-Stokkermans, Viorica | | 1999 | Proceedings Article |
 | Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100 | Sofronie-Stokkermans, Viorica | [Fitting, Melvin]
[Orlowska, Ewa] | 2003 | Part of a Book |
| Representation theorems and the semantics of (semi)lattice-based logics
In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, 125-134 | Sofronie-Stokkermans, Viorica | | 2001 | Proceedings Article |
| Resolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612 | Nonnengart, Andreas | [McRobbie, M. A.]
[Slaney, J. K.] | 1996 | Proceedings Article |
| Resolution-Based Calculi for Modal Logics
Universität des Saarlandes | Mohr, Erik | | 1995 | Thesis - Masters thesis |
| Resolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes | Hustadt, Ullrich |  | 1999 | Thesis - PhD thesis |
| Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37 | Sofronie-Stokkermans, Viorica | | 2004 | Proceedings Article |
| Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
In: Journal of Symbolic Computation [36], 891-924 | Sofronie-Stokkermans, Viorica | | 2003 | Journal Article |
| Resolution-Based Methods for Modal Logics
In: Logic Journal of the IGPL [8], 265-292 | de Nivelle, Hans
Hustadt, Ullrich
[Schmidt, Renate A.] | | 2000 | Journal Article |
| Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, 481-481 | Sofronie-Stokkermans, Viorica | [Cachro, Jacek]
[Kijania-Placek, Katarzyna] | 1999 | Proceedings Article |
| Resolution-based Theorem Proving for SHn-Logics | Sofronie-Stokkermans, Viorica | | 1998 | Report |
| Resolution-based theorem proving for SHn-logics
In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282 | Sofronie-Stokkermans, Viorica | | 2000 | Proceedings Article |
| Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849 | [Fermüller, Christian G.]
[Leitsch, Alexander]
Hustadt, Ullrich
[Tammet, Tanel] | [Robinson, Alan]
[Voronkov, Andrei] | 2001 | Part of a Book |
| Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | de Nivelle, Hans
Kazakov, Yevgeny | | 2004 | Report |
| Resolution in modal, description and hybrid logic
In: Journal of Logic and Computation [11], 717-736 | [Areces, Carlos]
[de Rijke, Maarten]
de Nivelle, Hans | | 2001 | Journal Article |
| Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208 | Schmidt, Renate A. | [Kracht, M.]
[de Rijke, M.]
[Wansing, H.]
[Zakharyaschev, M.] | 1998 | Part of a Book |
| Resolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99 | Bachmair, Leo
Ganzinger, Harald | [Robinson, J. A.]
[Voronkov, A.] | 2001 | Part of a Book |
| Rewrite-based equational theorem proving with selection and simplification
In: Journal of Logic and Computation [4], 217-247 | Bachmair, Leo
Ganzinger, Harald | | 1994 | Journal Article |
| Rewrite Techniques for Transitive Relations
In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, 384-393 | Bachmair, Leo
Ganzinger, Harald | | 1994 | Proceedings Article |
| Rewriting Techniques and Applications, 7th International Conference, RTA-96 | | Ganzinger, Harald | 1996 | Proceedings |
| Rights, Duties and Commitments Between Agents
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1239-1244 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | 1999 | Proceedings Article |
| Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | [Hsiang, Jieh]
[Ohori, Atsushi] | 1998 | Proceedings Article |
| Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
In: International Journal of Foundations of Computer Science [11], 3-27 | Ganzinger, Harald
[Jacquemard, Florent]
[Veanes, Margus] | | 2000 | Journal Article |
| Risk parameters for utilitarian desires
In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-99), Workshop on Practial Reasoning and Rationality, 48-54 | Weydert, Emil
[van der Torre, Leendert W. N.] | John Bell | 1999 | Proceedings Article |
| Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328 | Ratschan, Stefan
Vehi, Josep | [Bittanti, Sergio] | 2004 | Proceedings Article |
| Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | Ratschan, Stefan
She, Zhikun | | 2007 | Journal Article |
| Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589 | Ratschan, Stefan
She, Zhikun | Morari, Manfred
Thiele, Lothar | 2005 | Proceedings Article |
| Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes | Kazakov, Yevgeny | | 2006 | Thesis - PhD thesis |
| Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3 | Ganzinger, Harald | Meyer auf der Heide, Friedhelm
Monien, Burkhard | 1996 | Proceedings Article |
| SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Ohlbach, Hans Jürgen | [McRobbie, M. A.]
[Slaney, J. K.] | 1996 | Proceedings Article |
