Predicate (mathematical logic)

Topological relationships between complex spatial objects

Markus Schneider, Thomas Behr

Citations: 212 • 2006

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

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

Citations: 192 • 2015

Automatic Disassembly and Total Ordering in Three Dimensions

T. C. Woo, Debasish Dutta

Citations: 157 • 1991

Cognitive Maps and the Language of Thought

Michael Rescorla

Citations: 139 • 2009

A Model of Human-Robot Trust

Tracy Sanders, Kristin E. Oleson, Deborah R. Billings, Peter A. Hancock

Citations: 118 • 2011

Temporal imagery: an approach to reasoning about time for planning and problem solving

Thomas Dean

Citations: 57 • 1986

Programming modular robots with locally distributed predicates

Michael De Rosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell

Citations: 53 • 2008

A linguistic approach to geometric reasoning

Boris Stilman

Citations: 49 • 1993

Network Languages for Complex Systems

Boris Stilman

Citations: 48 • 1993

Functional reactive programming from first principles

Zhanyong Wan, Paul Hudak

Citations: 46 • 2000

Learning higher-order logic programs through abstraction and invention

Andrew Cropper, Stephen Muggleton

Citations: 41 • 2016

Using Theory Completion to Learn a Robot Navigation Control Program

Steve Moyle

Citations: 38 • 2003

A novel concatenation method for generating optimal robotic assembly sequences

M. V. A. Raju Bahubalendruni, Bibhuti Bhusan Biswal

Citations: 37 • 2015

Visual-Semantic Graph Attention Networks for Human-Object Interaction Detection

Zhijun Liang, Junfa Liu, Yisheng Guan, Juan Rojas

Citations: 37 • 2021

A novel Geometric feasibility method to perform assembly sequence planning through oblique orientations

Gulivindala Anil Kumar, M. V. A. Raju Bahubalendruni, V. S. S. Prasad, Dara Ashok, K. Sankaranarayanasamy

Citations: 36 • 2021

A Predicate-Transition Net Model for Multiple Agent Planning

T. Murata, Peter Nelson, Jaegeol Yim

Citations: 29 • 1991

An Experiment in Robot Discovery with ILP

Gregor Leban, Jure Žabkar, Ivan Bratko

Citations: 27 • 2008

Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements**Corresponding Author: Zhe Xu. We acknowledge the support of the National Science Foundation through grants number CNS0953976, CNS-1218109, and NRI-1426907, and the O_ce of Naval Research through grant number N00014-14-1-0554 for the research reported in this paper.

Zhe Xu, Călin Belta, A. Agung Julius

Citations: 25 • 2015

A Note on Mechanical Feasibility Predicate for Robotic Assembly Sequence Generation

M. V. A. Raju Bahubalendruni, Bibhuti Bhusan Biswal, Manish Kumar, B. B. V. L. Deepak

Citations: 25 • 2016

The “Why Did You Do That?” Button: Answering Why-Questions for End Users of Robotic Systems

Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks

Citations: 24 • 2020