Situation calculus

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

What is planning in the presence of sensing

Hector J. Levesque

Citations: 202 • 1996

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

Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun

Citations: 195 • 2000

A Logical Approach to High-Level Robot Programming A Progress Report*

Yves Lesp, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl

Citations: 90 • 1994

Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

Citations: 81 • 1997

Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control

Frank Dylla, Jan Oliver Wallgrün

Citations: 56 • 2006

The Qualification Problem: A solution to the problem of anomalous models

Michael Thielscher

Citations: 56 • 2001

Modelling Dynamic Spatial Systems in the Situation Calculus

Mehul Bhatt, Seng W. Loke

Citations: 50 • 2008

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

Robert Demolombe, Maria del Pilar Pozos Parra

Citations: 50 • 2000

Network Languages for Complex Systems

Boris Stilman

Citations: 48 • 1993

Decision Theory, the Situation Calculus and Conditional Plans

David Poole

Citations: 47 • 1998

Bridging the Gap between High-Level Reasoning and Low-Level Control

Ozan Çaldıran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem, Volkan Patoğlu

Citations: 38 • 2009

Planning with sensing for a mobile robot

Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati

Citations: 35 • 1997

Patching task-level robot controllers based on a local μ-calculus formula

Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray

Citations: 32 • 2013

cc-Golog: Towards More Realistic Logic-Based Robot Controllers

Henrik Großkreutz, Gerhard Lakemeyer

Citations: 30 • 2000

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

Luca Iocchi, Daniele Nardi, Riccardo Rosati

Citations: 27 • 2000

Integrated Cognitive Architecture for Robot Learning of Action and Language

Kazuki Miyazawa, Takato Horii, Tatsuya Aoki, Takayuki Nagai

Citations: 24 • 2019

Reasoning about continuous uncertainty in the situation calculus

Vaishak Belle, Hector J. Levesque

Citations: 22 • 2013

Planning with Noisy Actions (Preliminary Report)

Michael Thielscher

Citations: 19 • 2001