Relating Weight Constraint and Aggregate Programs: Semantics and Representation
Relational Parametricity and Separation Logic
Relational Syllogistics
Remarks on Jurdzinski and Lorys' proof that palindromes are not a Church-Rosser language
Removal of Quantifiers by Elimination of Boundary Points
Removing Propagation Redundant Constraints in Redundant Modeling
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning
Replication via Invalidating the Applicability of the Fixed Point Theorem
Representation results for defeasible logic
Representation Theory for Default Logic
Representing Isabelle in LF
Residuated Park Theories
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note
Resource Adaptive Agents in Interactive Theorem Proving
Resource-Bound Quantification for Graph Transformation
Resource-distribution via Boolean constraints
Results on the quantitative mu-calculus qMu
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
Retractions of Types with Many Atoms