| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Randomization and Approximation Techniques in Computer Science
In: Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), 209-225 | Wang, Yongge | Rolim, José | 1997 | Proceedings Article |
| Randomness, Stochasticity, and Approximation
In: Theory of Computing Systems [32], 517-529 | Wang, Yongge | | 1999 | Journal Article |
| Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42 | Lee, Chin Soon | | 2009 | Journal Article |
| Rankings in flux
In: Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00), 37-48 | Weydert, Emil | [Cunningham, Jim]
[Gabbay, Dov] | 2000 | Proceedings Article |
| Rankings we prefer: a minimal construction semantics for default reasoning
In: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-01), 616-627 | Weydert, Emil | Benferhat, Salem
Besnard, Philippe | 2001 | Proceedings Article |
| Rankings we prefer: a rational minimal construction semantics for default reasoning
In: Proceedings of the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-01), 1-12 | Weydert, Emil | [Brewka, Gerhard]
[Witteveen, Cees]
[Schaub, Torsten] | 2001 | Proceedings Article |
| Rational Default Quantifier Logic
In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), 589-600 | Weydert, Emil | [Gabbay, Dov]
[Kruse, Rudolf]
Nonnengart, Andreas | 1997 | Proceedings Article |
| Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard | 1997 | Proceedings Article |
| Reasoning About Infinite Random Structures with Relational Bayesian Networks
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 570-581 | Jaeger, Manfred | Cohn, Anthony G.
Schubert, Lenhart
Shapiro, Stuart C. | 1998 | Proceedings Article |
| Reasoning about Sets via Atomic Decomposition | Ohlbach, Hans Jürgen
[Koehler, Jana] | | 1996 | Report |
| Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197 | Weidenbach, Christoph | [Fiedler, Herbert]
[Gorny, Peter]
[Grass, Werner]
Hölldobler, Steffen
Hotz, Günter
[Kerner, I. O.]
Reischuk, Rüdiger | 1998 | Part of a Book |
| Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115 | Madden, Peter
[Bundy, Alan]
[Smaill, Alan] | | 1999 | Journal Article |
| Recursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15 | Kazakov, Yevgeny | Charatonik, Witold
Ganzinger, Harald | 2002 | Proceedings Article |
| Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181 | Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel | | 1991 | Journal Article |
| Reflection in a Logical System
In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 178-183 | Matthews, Seán | Yonezawa, A.
Smith, B. C. | 1992 | Proceedings Article |
| Reflection using the derivability conditions
In: Logic and Algebra, 603-616 | Matthews, Seán
[Simpson, Alex] | Ursini, Aldo
Agilanò, Paolo | 1996 | Part of a Book |
| Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212 | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | | 1994 | Journal Article |
| Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16 | Wagner, Silke
[Podelski, Andreas] | [Raskin, J.-F.]
[Thiagarajan, P.S.] | 2007 | Proceedings Article |
| Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606 | Krishna Rao, M. R. K. | | 1996 | Journal Article |
| Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90 | Ganzinger, Harald | [Williams, Denise A.] | 2001 | Proceedings Article |
| Relational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273 | Jaeger, Manfred | Geiger, Dan
Shenoy, Prakash Pundalik | 1997 | Proceedings Article |
| Relational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6], | Jaeger, Manfred | | 2002 | Electronic Journal Article |
| Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180 | Schmidt, Renate A. | [Böttner, Michael]
[Thümmel, W.] | 2000 | Part of a Book |
| 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 |