Deductive reasoning

QA4: A Procedural Calculus for Intuitive Reasoning.

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

Citations: 71 • 1972

A deduction model of belief and its logics

Kurt Konolige

Citations: 62 • 1984

Integrating Non-monotonic Logical Reasoning and Inductive Learning With Deep Learning for Explainable Visual Question Answering

Heather Riley, Mohan Sridharan

Citations: 29 • 2019

Symbolic and qualitative reasoning for error recovery in robot programs

Maria Gini

Citations: 23 • 1987

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

Automated Abduction in Scientific Discovery

Oliver Ray

Citations: 14 • 2007

Commonsense Reasoning Meets Theorem Proving

Ulrich Furbach, Claudia Schon

Citations: 14 • 2016

A commonsense theory of nonmonotonic reasoning

Frank M. Brown

Citations: 14 • 1986

A new modal logic for reasoning about space: spatial propositional neighborhood logic

Antonio Morales, Isabel Navarrete, Guido Sciavicco

Citations: 13 • 2007

Actions and Inconsistency: The Closure Problem of Practical Reasoning

Douglas Walton

Citations: 11 • 1997

Qualitative Reasoning with Arbitrary Angular Directions

Debasis Mitra

Citations: 11 • 2002

Introduction to Logic-Based Artificial Intelligence

Jack Minker

Citations: 7 • 2000

Autonomous Decision-Making With Incomplete Information and Safety Rules Based on Non-Monotonic Reasoning

José-Luis Vilchis-Medina, Karen Godary-Dejean, Charles Lesire

Citations: 7 • 2021

A Neural Network With Logical Reasoning Based on Auxiliary Inputs

Fang Wan, Chaoyang Song

Citations: 5 • 2018

Semantic Matching for Stream Reasoning

Zlatan Dragisic

Citations: 3 • 2011

Formalizing Deceptive Reasoning in Breaking Bad : Default Reasoning in a Doxastic Logic

John Licato

Citations: 3 • 2015

The Use of Coding Clubs to Develop Middle-School Students’ Spatial Reasoning Abilities

Brandon Dickson, Donna Kotsopoulos, Lauren McArthur Harris

Citations: 3 • 2022

Reasoning, robots, and navigation: Dual roles for deductive and abductive reasoning

Janet Wiles

Citations: 3 • 2011

On formalizing commonsense reasoning using the modal situation logic and reflective reasoning

Seung Soo Park

Citations: 3 • 1988