Constraint logic programming

Constraint-directed search : a case study of job-shop scheduling

Mark S. Fox

引用数: 532 • 2018

Active Constraints/Virtual Fixtures: A Survey

Stuart A Bowyer, Brian Davies, Ferdinando Rodriguez y Baena

引用数: 305 • 2013

Logic Programming: Formal Methods and Practical Applications

Christoph Beierle, Lutz Plümer

引用数: 65 • 1994

Hybrid artificial immune algorithm for optimizing a Van-Robot E-grocery delivery system

Dan Liŭ, Pengyu Yan, Ziyuan Pu, Yinhai Wang, Evangelos I. Kaisar

引用数: 41 • 2021

Task level robot programming using prioritized non-linear inequality constraints

Nikhil Somani, Markus Rickert, Andre Gaschler, Caixia Cai, Alexander Perzylo, Alois Knoll

引用数: 23 • 2016

A constraint satisfaction approach for planning of multi-robot systems

Doru Pănescu, Carlos Pascal

引用数: 12 • 2014

Constraint-Based Design of Embedded Intelligent Systems

Alan K. Mackworth

引用数: 12 • 1997

A framework for optimal gait generation via learning optimal control using virtual constraint

Satoshi Satoh, Kenji Fujimoto, Sang-Ho Hyon

引用数: 11 • 2008

Numerical solution of differential systems with algebraic inequalities arising in robot programming

Raymond J. Spiteri, Uri M. Ascher, Dinesh K. Pai

引用数: 10 • 2002

On Selecting and Scheduling Assembly Plans Using Constraint Programming

Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, Miguel Toro

引用数: 9 • 2003

Modular Robot Control and Continuous Constraint Satisfaction

Markus P. J. Fromherz, Tad Hogg, Yi Shang

引用数: 9 • 2001

Solver Learning for Predicting Changes in Dynamic Constraint Satisfaction Problems

Jon Spragg, Arnaud Lallouet, Andre Legtchenko, Éric Monfroy, AbdelAli Ed-Dbali, Ying Lü, Lara S. Crawford, Wheeler Ruml, Markus P. J. Fromherz, Christophe Guettier, William S. Havens, Bistra Dilkina, Nicola Policella, Amedeo Cesta, Angelo Oddi, Stephen F. Smith, Alfio Vidotto, Kenneth N. Brown, Christine Wei Wu, Andrëı Legtchenko

引用数: 7 • 2004

A robot decision making framework using constraint programming

Richard S. Stansbury, Arvin Agah

引用数: 6 • 2011

Feasibility‐guaranteed safety‐critical control with high‐order control barrier function method

Sihua Zhang, Di‐Hua Zhai, Yuhan Xiong, Yuanqing Xia

引用数: 5 • 2023

A Multi-level Constraint-based Controller for the Dynamo98 Robot Soccer Team

Yu Zhang, Alan K. Mackworth

引用数: 5 • 1999

Intuitive Constraint-Based Robot Programming for Robotic Assembly Tasks.

Lorenz Halt, Frank Nägele, Philipp Tenbrock, Andreas Pott

引用数: 4 • 2018

Geometric constraint solving in a dynamic geometry framework.

Hidalgo García, R Marta

引用数: 2 • 2013

Geometric constraint solving in a dynamic geometry framework.

Marta R. Hidalgo García

引用数: 2 • 2013