| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
|---|
| Qualitative and Quantitative Practical Reasoning | | [Gabbay, Dov M.]
[Kruse, Rudolf]
Nonnengart, Andreas
Ohlbach, Hans Jürgen | 1997 | Book |
| Qualitative Entropy Maximization - A preliminary report
In: Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97), 63-72 | Weydert, Emil | Weydert, Emil
[Brewka, Gerd]
[Witteveen, Cees] | 1997 | Proceedings Article |
| Quantifier Elimination for Second-Order Predicate Logic | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej] | | 2001 | Unpublished/Draft |
| Quantifier Elimination in Second-Order Predicate Logic
In: Principles of Knowledge Representation and Reasoning (KR92),, 425-435
In: South African Computer Journal [7], 425-435 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | Nebel, Bernhard Nebel
Rich, Charles
Swartout, William | 1992 | Proceedings Article |
| Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | 1992 | Journal Article |
 | Quantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes | Engel, Thorsten |  | 1996 | Thesis - Masters thesis |
| 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 |
