Event calculus

GOLOG: A logic programming language for dynamic domains

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

Citations: 1039 • 1997

Coordinated execution of tasks in a multiagent environment

Jamie King, Raymond Pretty, Raymond G. Gosine

Citations: 45 • 2003

Artificial Intelligence Today: Recent Trends and Developments

Michael Wooldridge, Manuela Veloso

Citations: 42 • 1999

Using Theory Completion to Learn a Robot Navigation Control Program

Steve Moyle

Citations: 38 • 2003

CHICA, An Abductive Planning System Based on Event Calculus

Lode Missiaen, Maurice Bruynooghe, Marc Denecker

Citations: 32 • 1995

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

Henrik Großkreutz, Gerhard Lakemeyer

Citations: 30 • 2000

An investigation into theory completion techniques in inductive logic programming

Stephen Moyle

Citations: 14 • 2003

Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments

David Gundana, Hadas Kress‐Gazit

Citations: 13 • 2022

HIVE-BDI: EXTENDING JASON WITH SHARED BELIEFS AND STIGMERGY

Matteo Barbieri, Viviana Mascardi

Citations: 5 • 2011

Reasoning in the event calculus using first-order automated theorem proving

Erik T. Mueller, Geoff Sutcliffe

Citations: 4 • 2005

High-Level Robot Programming: An Abductive Approach Using Event Calculus

Silvio do Lago Pereira, Leliane Nunes de Barros

Citations: 2 • 2004

Logic-probabilistic model for event recognition in a robotic search and rescue scenario

José Angelo Gurzoni, Fábio Gagliardi Cozman, Murilo Fernandes Martins, Paulo E. Santos

Citations: 2 • 2014

Robot Navigation and Map Building with the Event Calculus

Murray Shanahan, Mark Witkowski

Citations: 2 • 1999