Non-monotonic logic

Planning as Temporal Reasoning.

James F. Allen

引用数: 121 • 1991

A deduction model of belief and its logics

Kurt Konolige

引用数: 62 • 1984

Reasoning about action and change

Helmut Prendinger, Gerhard Schurz

引用数: 50 • 1996

Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt

引用数: 22

Approximate spatial reasoning

Soumitra Dutta

引用数: 21 • 1988

Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub

引用数: 15 • 2015

AI Reasoning Methods for Robotics

Joachim Hertzberg, Raja Chatila

引用数: 15 • 2008

Automated Abduction in Scientific Discovery

Oliver Ray

引用数: 14 • 2007

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

Non-monotonic Reasoning for Localisation in RoboCup

David P. Billington, Vladimir Estivill‐Castro, René Hexel, Andrew Rock

引用数: 13 • 2005

Logic Programming and Nonmonotonic Reasoning

Marcello Balduccini, Yuliya Lierler, Stefan Woltran

引用数: 12 • 2019

Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data

Oliver Ray, Ken Whelan, Ross D. King

引用数: 12 • 2010

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

引用数: 11 • 2006

Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving.

Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub

引用数: 10 • 2015

Stream Reasoning with Answer Set Programming: Extended Version

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

引用数: 9 • 2012

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

Transaction Logic with Defaults and Argumentation Theories

Paul Fodor, Michael Kifer

引用数: 7 • 2011

Plausible inference: A multi-valued logic for problem solving

Leonard Friedman

引用数: 7 • 1979