Deductive reasoning

相关论文数: 20

最高引用论文

QA4: A Procedural Calculus for Intuitive Reasoning.

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

引用数: 71 • 1972

A deduction model of belief and its logics

Kurt Konolige

引用数: 62 • 1984

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

Heather Riley, Mohan Sridharan

引用数: 29 • 2019

Symbolic and qualitative reasoning for error recovery in robot programs

Maria Gini

引用数: 23 • 1987

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Mattias Tiger, Fredrik Heintz

引用数: 19 • 2016

The interaction of representation and reasoning

Alan Bundy

引用数: 16 • 2013

Automated Abduction in Scientific Discovery

Oliver Ray

引用数: 14 • 2007

Commonsense Reasoning Meets Theorem Proving

Ulrich Furbach, Claudia Schon

引用数: 14 • 2016

A commonsense theory of nonmonotonic reasoning

Frank M. Brown

引用数: 14 • 1986

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

Antonio Morales, Isabel Navarrete, Guido Sciavicco

引用数: 13 • 2007

Actions and Inconsistency: The Closure Problem of Practical Reasoning

Douglas Walton

引用数: 11 • 1997

Qualitative Reasoning with Arbitrary Angular Directions

Debasis Mitra

引用数: 11 • 2002

Introduction to Logic-Based Artificial Intelligence

Jack Minker

引用数: 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

引用数: 7 • 2021

A Neural Network With Logical Reasoning Based on Auxiliary Inputs

Fang Wan, Chaoyang Song

引用数: 5 • 2018

Semantic Matching for Stream Reasoning

Zlatan Dragisic

引用数: 3 • 2011

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

John Licato

引用数: 3 • 2015

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

Brandon Dickson, Donna Kotsopoulos, Lauren McArthur Harris

引用数: 3 • 2022

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

Janet Wiles

引用数: 3 • 2011

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

Seung Soo Park

引用数: 3 • 1988