Reasoning about Evolving Nonmonotonic Knowledge Bases

Reasoning About Knowledge of Unawareness Revisited

Reasoning about Noisy Sensors and Effectors in the Situation Calculus

Reasoning about RoboCup Soccer Narratives

Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques

Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming

Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts

Reasoning Support for Risk Prediction and Prevention in Independent Living

Reasoning with Intervals on Granules

Reasoning with Very Expressive Fuzzy Description Logics

Reasoning within Fuzzy Description Logics

Recognizability of Individual Creative Style Within and Across Domains: Preliminary Studies

Recommender System Based on Algorithm of Bicluster Analysis RecBi

Recycling Computed Answers in Rewrite Systems for Abduction

Redesigning Decision Matrix Method with an indeterminacy-based inference process

Reduced cost-based ranking for generating promising subproblems

Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach

Redundancy in Logic I: CNF Propositional Formulae

Redundancy in Logic II: 2CNF and Horn Propositional Formulae