Model-based reasoning

Planning as Temporal Reasoning.

James F. Allen

Citations: 121 • 1991

On the use of reflection principles in modelling complex reasoning

Jan Treur

Citations: 68 • 1991

Goal-based Reasoning for Argumentation

Douglas Walton

Citations: 45 • 2015

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

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

Citations: 37 • 2010

Symbolic and qualitative reasoning for error recovery in robot programs

Maria Gini

Citations: 23 • 1987

Approximate spatial reasoning

Soumitra Dutta

Citations: 21 • 1988

Causality-based planning and diagnostic reasoning for cognitive factories

Esra Erdem, Kadir Haspalamutgil, Volkan Patoğlu, Tansel Uras

Citations: 20 • 2012

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

Commonsense Reasoning Meets Theorem Proving

Ulrich Furbach, Claudia Schon

Citations: 14 • 2016

Reasoning from First Principles for Self-adaptive and Autonomous Systems

Franz Wotawa

Citations: 13 • 2019

Multimodal reasoning for automatic model construction

R. Stollé, Elizabeth Bradley

Citations: 13 • 1998

Semantically grounded stream reasoning integrated with ROS

Fredrik Heintz

Citations: 11 • 2013

Intelligent machines, care work and the nature of practical reasoning

Angus Robson

Citations: 11 • 2018

Optimization of fuzzy systems by dynamic switching of reasoning methods

Michael H. Smith

Citations: 11 • 1994

Stream Reasoning with Answer Set Programming: Extended Version

Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

Citations: 9 • 2012

ISIS : a constraint-directed reasoning approach to job shop scheduling, a system summary

Mark S. Fox, Bradley P. Allen, Stephen F. Smith, Gary A. Strom

Citations: 7 • 2018

Six-step reasoning model for robot-soccer

Xu Xu, Xinhe

Citations: 6 • 2001

An Evaluation of ChatGPT-4's Qualitative Spatial Reasoning Capabilities in RCC-8

Anthony G. Cohn

Citations: 5 • 2023