Predicate logic

The logic of tasks

Giorgi Japaridze

Citations: 29 • 2002

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

Robotic Understanding of Spatial Relationships Using Neural-Logic Learning

Fujian Yan, Dali Wang, Hongsheng He

Citations: 15 • 2020

Identification of predicate creep under the 510(k) process: A case study of a robotic surgical device

Charlotte Lefkovich, Sandra Rothenberg

Citations: 14 • 2023

An investigation into theory completion techniques in inductive logic programming

Stephen Moyle

Citations: 14 • 2003

Inferring Place-Object Relationships by Integrating Probabilistic Logic and Multimodal Spatial Concepts

Shoichi Hasegawa, Akira Taniguchi, Yoshinobu Hagiwara, Lotfi El Hafi, Tadahiro Taniguchi

Citations: 10 • 2023

Plausible inference: A multi-valued logic for problem solving

Leonard Friedman

Citations: 7 • 1979

Logic-axiomatical method of knowledge representation and recognition for robots

A.V. Timopheev, T.M. Kossovskaya

Citations: 3 • 1990

SPATIAL LOGIC CONCEPTS

S. A. Kudzh, Victor Ya. Tsvetkov

Citations: 2 • 2020