Automated reasoning
相关论文数: 20
顶级研究者
最高引用论文
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
Paul Bremner, Louise A. Dennis, Michael Fisher, Alan Winfield
引用数: 78 • 2019
Reasoning Robots: The Art and Science of Programming Robotic Agents
Michael Thielscher
引用数: 61 • 2005
AI Reasoning Methods for Robotics
Michael Beetz, Raja Chatila, Joachim Hertzberg, Federico Pecora
引用数: 34 • 2016
Automated Planning Enables Complex Protocols on Liquid-Handling Robots
Ellis Whitehead, Fabian Rudolf, Hans‐Michael Kaltenbach, Jörg Stelling
引用数: 28 • 2018
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
Zhun Yang, Adam Ishay, Joohyung Lee
引用数: 28 • 2023
Applying automated deduction to natural language understanding
Johan Bos
引用数: 21 • 2007
Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models
Mattias Tiger, Fredrik Heintz
引用数: 19 • 2016
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
Uluc̣ Saranlı, Frank Pfenning
引用数: 18 • 2007
The interaction of representation and reasoning
Alan Bundy
引用数: 16 • 2013
AI Reasoning Methods for Robotics
Joachim Hertzberg, Raja Chatila
引用数: 15 • 2008
Automated Abduction in Scientific Discovery
Oliver Ray
引用数: 14 • 2007
Commonsense Reasoning Meets Theorem Proving
Ulrich Furbach, Claudia Schon
引用数: 14 • 2016
Using formal methods for autonomous systems: Five recipes for formal verification
引用数: 13 • 2021
Multimodal reasoning for automatic model construction
R. Stollé, Elizabeth Bradley
引用数: 13 • 1998
NEWTON: Are Large Language Models Capable of Physical Reasoning?
Yi Wang, Jiafei Duan, Dieter Fox, Siddhartha S Srinivasa
引用数: 12 • 2023
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
Qualitative Reasoning with Arbitrary Angular Directions
Debasis Mitra
引用数: 11 • 2002
Stream Reasoning with Answer Set Programming: Extended Version
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
引用数: 9 • 2012
A Many-Valued Temporal Logic and Reasoning Framework for Decision Making
Zhirui Lu, Jun Liu, Juan Carlos Augusto, Hui Wang
引用数: 9 • 2010