Extension (predicate logic)
Related papers: 20
Top Researchers
Top Cited Papers
Dynamic analysis of flexible manipulators, a literature review
Santosha K. Dwivedy, Peter Eberhard
Citations: 855 • 2006
The focussed D* algorithm for real-time replanning
Anthony Stentz
Citations: 820 • 1995
Building a Stronger CASA: Extending the Computers Are Social Actors Paradigm
Andrew Gambino, Jesse Fox, Rabindra Ratan
Citations: 525 • 2020
A Probabilistic On-Line Mapping Algorithm for Teams of Mobile Robots
Sebastian Thrun
Citations: 488 • 2001
APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.
Cordell Green
Citations: 463 • 1981
Extension of Renal Cell Carcinoma into the Vena Cava: The Rationale for Aggressive Surgical Management
Donald G. Skinner, Richard F. Pfister, Robert B. Colvin
Citations: 322 • 1972
Globally consistent 3D mapping with scan matching
Dorit Borrmann, Jan Elseberg, Kai Lingemann, Andreas Nüchter, Joachim Hertzberg
Citations: 279 • 2007
Topology-conserving maps for learning visuo-motor-coordination
Helge Ritter, Thomas Martinetz, Klaus Schulten
Citations: 265 • 1989
Anytime search in dynamic graphs
Maxim Likhachev, Dave Ferguson, Geoff Gordon, Anthony Stentz, Sebastian Thrun
Citations: 246 • 2008
Model-Free reinforcement learning with continuous action in practice
Thomas Degris, Patrick M. Pilarski, Richard S. Sutton
Citations: 234 • 2012
Design and implementation of a multi-section continuum robot: Air-Octor
William McMahan, Bryan A. Jones, Ian D. Walker
Citations: 233 • 2005
Particle RRT for Path Planning with Uncertainty
Nik A. Melchior, Reid Simmons
Citations: 229 • 2007
A planning system for robot construction tasks
Scott E. Fahlman
Citations: 227 • 1974
A Sticker-Based Model for DNA Computation
Sam T. Roweis, Erik Winfree, Richard Burgoyne, N. V. Chelyapov, Myron F. Goodman, Paul W. K. Rothemund, Leonard M. Adleman
Citations: 218 • 1998
Broadcast of Local Eligibility for Multi-Target Observation
Barry Werger, Maja J. Matarić
Citations: 208 • 2000
Extension of VIKOR method in intuitionistic fuzzy environment for robot selection
Kavita Devi
Citations: 203 • 2011
What is planning in the presence of sensing
Hector J. Levesque
Citations: 202 • 1996
A spatio-temporal extension to Isomap nonlinear dimension reduction
Odest Chadwicke Jenkins, Maja J. Matarić
Citations: 187 • 2004
Navigation among movable obstacles: real-time reasoning in complex environments
Mike Stilman, James Kuffner
Citations: 176 • 2005
A fuzzy logic based extension to Payton and Rosenblatt's command fusion method for mobile robot navigation
J. Yen, Nathan Pfluger
Citations: 167 • 1995