| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Relational Rippling: a General Approach
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 175-181 | Bundy, Alan
[Lombart, V.] | Mellish, C. | 1995 | Proceedings Article |
| Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development (TAPSOFT '95), 756-771 | Baumeister, Hubert | Mosses, Peter D.
Nielsen, Mogens
Schwartzbach, Michael I. | 1995 | Proceedings Article |
| Relations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes | Baumeister, Hubert | | 1999 | Thesis - PhD thesis |
| Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | [Kaoen, Joost-Pieter]
[Stevens, Perdita] | 2002 | Proceedings Article |
| Representation Independence of Nonmonotonic Inference Relations
In: Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference (KR-96), 461-472 | Jaeger, Manfred | Carlucci-Aiello, Luigia
Doyle, Jon
Shapiro, Stuart | 1996 | Proceedings Article |
| Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), ?-? | Sofronie-Stokkermans, Viorica | [Eklund, Patrick]
[Escalada-Imaz, Gonzalo]
[Haehnle, Reiner]
[Vojtas, Peter] | 1998 | Proceedings Article |
| 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 |