Reasoning system

An architecture for real-time reasoning and system control

Félix Ingrand, Michael Georgeff, Ashwin Rao

Citations: 395 • 1992

Decision-Making in an Embedded Reasoning System

Michael Georgeff, Félix Ingrand

Citations: 349 • 1989

Continuous case-based reasoning

Ashwin Ram, J.C. Santamaría

Citations: 121 • 1997

Planning as Temporal Reasoning.

James F. Allen

Citations: 121 • 1991

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

Paul Bremner, Louise A. Dennis, Michael Fisher, Alan Winfield

Citations: 78 • 2019

QA4: A Procedural Calculus for Intuitive Reasoning.

J. F. Rulifson, Jan Antonius Cornelius Derksen, Richard Waldinger

Citations: 71 • 1972

On the use of reflection principles in modelling complex reasoning

Jan Treur

Citations: 68 • 1991

Reasoning Robots: The Art and Science of Programming Robotic Agents

Michael Thielscher

Citations: 61 • 2005

Temporal Reasoning in Artificial Intelligence

Yoav Shoham, Nita Goyal

Citations: 61 • 1988

Spatio-temporal case-based reasoning for behavioral selection

Maxim Likhachev, Ronald C. Arkin

Citations: 60 • 2002

RCC-3D: Qualitative Spatial Reasoning in 3D.

Julia Albath, Jennifer L. Leopold, Chaman L. Sabharwal, Anne M. Maglia

Citations: 37 • 2010

AI Reasoning Methods for Robotics

Michael Beetz, Raja Chatila, Joachim Hertzberg, Federico Pecora

Citations: 34 • 2016

Approximate spatial reasoning

Soumitra Dutta

Citations: 21 • 1988

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Mattias Tiger, Fredrik Heintz

Citations: 19 • 2016

The interaction of representation and reasoning

Alan Bundy

Citations: 16 • 2013

AI Reasoning Methods for Robotics

Joachim Hertzberg, Raja Chatila

Citations: 15 • 2008

Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice

Gerald Steinbauer, Franz Wotawa

Citations: 15 • 2013

Multimodal reasoning for automatic model construction

R. Stollé, Elizabeth Bradley

Citations: 13 • 1998

A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion

Danh Le-Phuoc, Thomas Eiter, Anh Le-Tuan

Citations: 13 • 2021

Reasoning from First Principles for Self-adaptive and Autonomous Systems

Franz Wotawa

Citations: 13 • 2019