Prolog

GOLOG: A logic programming language for dynamic domains

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

Citations: 1039 • 1997

Computational Intelligence: An Introduction

John Fulcher

Citations: 637 • 2008

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

Citations: 192 • 2015

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

Artificial Intelligence Research in Progress at the Courant Institute, New York University

Ernest Davis, Ralph Grishman

Citations: 49 • 1986

Semantic Scene Analysis of Scanned 3D Indoor Environments.

Andreas Nüchter, Hartmut Surmann, Kai Lingemann, Joachim Hertzberg

Citations: 44 • 2003

Feature reasoning for automatic robotic assembly and machining in polyhedral representation†

Bartholomew O. Nnaji, Hsu-Chang Liu

Citations: 35 • 1990

Incremental execution of guarded theories

Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña

Citations: 30 • 2001

Logic programming for robot control

David Poole

Citations: 27 • 1995

An on-line decision-theoretic Golog interpreter

Mikhail Soutchanski

Citations: 25 • 2001

Using LOGO with Infant School Children

Martin Hughes, Hamish Macleod, Cathie Potts

Citations: 24 • 1985

SitLog: A Programming Language for Service Robot Tasks

Luis A. Pineda, Lisset Salinas, Iván Meza, Caleb Rascón, Gibrán Fuentes-Pineda

Citations: 22 • 2013

Artificial intelligence: a new tool for forest management

Peter Kourtz

Citations: 22 • 1990

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

Citations: 22

Logic programming with simulation-based temporal projection for everyday robot object manipulation

Lars Kunze, Mihai Dolha, Michael Beetz

Citations: 21 • 2011

A Petri net based control architecture for a multi-robot system

A. Hormann

Citations: 19 • 2003

A System Architecture for CAD-Based Robotic Assembly With Sensor-Based Skills

Yudha Pane, Mathias Hauan Arbo, Erwin Aertbeliën, Wilm Decré

Citations: 19 • 2020

Typhon - A Mobile Agents Framework for Real World Emulation in Prolog

Jatin Matani, Shivashankar B. Nair

Citations: 19 • 2011