Prolog

GOLOG: A logic programming language for dynamic domains

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

引用数: 1039 • 1997

Computational Intelligence: An Introduction

John Fulcher

引用数: 637 • 2008

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

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

引用数: 192 • 2015

Logic Programming: Formal Methods and Practical Applications

Christoph Beierle, Lutz Plümer

引用数: 65 • 1994

Reasoning Robots: The Art and Science of Programming Robotic Agents

Michael Thielscher

引用数: 61 • 2005

引用数: 59

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

Ernest Davis, Ralph Grishman

引用数: 49 • 1986

Semantic Scene Analysis of Scanned 3D Indoor Environments.

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

引用数: 44 • 2003

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

Bartholomew O. Nnaji, Hsu-Chang Liu

引用数: 35 • 1990

Incremental execution of guarded theories

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

引用数: 30 • 2001

Logic programming for robot control

David Poole

引用数: 27 • 1995

An on-line decision-theoretic Golog interpreter

Mikhail Soutchanski

引用数: 25 • 2001

Using LOGO with Infant School Children

Martin Hughes, Hamish Macleod, Cathie Potts

引用数: 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

引用数: 22 • 2013

Artificial intelligence: a new tool for forest management

Peter Kourtz

引用数: 22 • 1990

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

引用数: 22

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

Lars Kunze, Mihai Dolha, Michael Beetz

引用数: 21 • 2011

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

A. Hormann

引用数: 19 • 2003

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

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

引用数: 19 • 2020

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

Jatin Matani, Shivashankar B. Nair

引用数: 19 • 2011