Answer set programming

Algorithms for the satisfiability (SAT) problem: A survey

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

Citations: 287 • 1997

Applications of Answer Set Programming

Esra Erdem, Michael Gelfond, Nicola Leone

Citations: 207 • 2016

Mobile robot programming using natural language

Stanislao Lauria, Guido Bugmann, Theocharis Kyriacou, Ewan Klein

Citations: 152 • 2002

A Formal Approach to Autonomic Systems Programming

Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi

Citations: 144 • 2014

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

Esra Erdem, Erdi Aker, Volkan Patoğlu

Citations: 80 • 2012

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

Yuqian Jiang, Shiqi Zhang, Piyush Khandelwal, Peter Stone

Citations: 67 • 2019

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

Constrained Differential Dynamic Programming Revisited

Yuichiro Aoyama, George I. Boutselis, Akash Patel, Evangelos A. Theodorou

Citations: 34 • 2021

Dynamically Constructed (PO)MDPs for Adaptive Robot Planning

Shiqi Zhang, Piyush Khandelwal, Peter Stone

Citations: 29 • 2017

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

Zhun Yang, Adam Ishay, Joohyung Lee

Citations: 28 • 2023

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

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

Citations: 25 • 2015

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

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

Citations: 22

Ontology based design, control and programming of modular robots

Francisco Ramos, Andrés S. Vázquez, Raúl Fernández, Alberto Olivares‐Alarcos

Citations: 22 • 2018

Toward a Vocabulary of Primitive Task Programs for Humanoid Robots

Evan Drumwright, Victor Ng‐Thow‐Hing, Maja J. Matarić

Citations: 22 • 2006

Planning in answer set programming while learning action costs for mobile robots

Fangkai Yang, Piyush Khandelwal, Matteo Leonetti, Peter Stone

Citations: 20 • 2014

ASP-Based Time-Bounded Planning for Logistics Robots

Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub

Citations: 19 • 2018