Logic programming

Knowledge in action: logical foundations for specifying and implementing dynamical systems

Citations: 1115 • 2002

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl

Citations: 1039 • 1997

Algorithms for the satisfiability (SAT) problem: A survey

Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah

Citations: 287 • 1997

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus

Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun

Citations: 195 • 2000

Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy

Vladimir Lifschitz

Citations: 167 • 1991

Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution

Esra Erdem, Erdi Aker, Volkan Patoğlu

Citations: 80 • 2012

QA4: A Procedural Calculus for Intuitive Reasoning.

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

Citations: 71 • 1972

Task planning in robotics: an empirical comparison of PDDL- and ASP-based systems

Yuqian Jiang, Shiqi Zhang, Piyush Khandelwal, Peter Stone

Citations: 67 • 2019

Logic Programming: Formal Methods and Practical Applications

Christoph Beierle, Lutz Plümer

Citations: 65 • 1994

Reasoning Robots: The Art and Science of Programming Robotic Agents

Michael Thielscher

Citations: 61 • 2005

Citations: 59

Automatic synthesis of new behaviors from a library of available behaviors

Giuseppe De Giacomo, Sebastian Sardiña

Citations: 43 • 2007

Learning higher-order logic programs through abstraction and invention

Andrew Cropper, Stephen Muggleton

Citations: 41 • 2016

CHICA, An Abductive Planning System Based on Event Calculus

Lode Missiaen, Maurice Bruynooghe, Marc Denecker

Citations: 32 • 1995

Reasoning (on) Service Component Ensembles in Rewriting Logic

Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing

Citations: 30 • 2014

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

Zhun Yang, Adam Ishay, Joohyung Lee

Citations: 28 • 2023

Logic programming for robot control

David Poole

Citations: 27 • 1995

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity

Max Kanovich, Jacqueline Vauzeilles

Citations: 26 • 2001

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

Citations: 22

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach

Esra Erdem, Volkan Patoğlu, Zeynep G. Saribatur, Peter Schüller, Tansel Uras

Citations: 22 • 2013