Automated reasoning

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

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

Citations: 78 • 2019

Reasoning Robots: The Art and Science of Programming Robotic Agents

Michael Thielscher

Citations: 61 • 2005

AI Reasoning Methods for Robotics

Michael Beetz, Raja Chatila, Joachim Hertzberg, Federico Pecora

Citations: 34 • 2016

Automated Planning Enables Complex Protocols on Liquid-Handling Robots

Ellis Whitehead, Fabian Rudolf, Hans‐Michael Kaltenbach, Jörg Stelling

Citations: 28 • 2018

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text

Zhun Yang, Adam Ishay, Joohyung Lee

Citations: 28 • 2023

Applying automated deduction to natural language understanding

Johan Bos

Citations: 21 • 2007

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

Mattias Tiger, Fredrik Heintz

Citations: 19 • 2016

Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems

Uluc̣ Saranlı, Frank Pfenning

Citations: 18 • 2007

The interaction of representation and reasoning

Alan Bundy

Citations: 16 • 2013

AI Reasoning Methods for Robotics

Joachim Hertzberg, Raja Chatila

Citations: 15 • 2008

Automated Abduction in Scientific Discovery

Oliver Ray

Citations: 14 • 2007

Commonsense Reasoning Meets Theorem Proving

Ulrich Furbach, Claudia Schon

Citations: 14 • 2016

Using formal methods for autonomous systems: Five recipes for formal verification

Citations: 13 • 2021

Multimodal reasoning for automatic model construction

R. Stollé, Elizabeth Bradley

Citations: 13 • 1998

NEWTON: Are Large Language Models Capable of Physical Reasoning?

Yi Wang, Jiafei Duan, Dieter Fox, Siddhartha S Srinivasa

Citations: 12 • 2023

Logic Programming and Nonmonotonic Reasoning

Marcello Balduccini, Yuliya Lierler, Stefan Woltran

Citations: 12 • 2019

Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data

Oliver Ray, Ken Whelan, Ross D. King

Citations: 12 • 2010

Qualitative Reasoning with Arbitrary Angular Directions

Debasis Mitra

Citations: 11 • 2002

Stream Reasoning with Answer Set Programming: Extended Version

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

Citations: 9 • 2012

A Many-Valued Temporal Logic and Reasoning Framework for Decision Making

Zhirui Lu, Jun Liu, Juan Carlos Augusto, Hui Wang

Citations: 9 • 2010