Publisher: Cambridge University Press
E-ISSN: 1475-3081|17|5-6|800-818
ISSN: 1471-0684
Source: Theory and Practice of Logic Programming, Vol.17, Iss.5-6, 2017-09, pp. : 800-818
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The application of logic programming to the generation of plans for robots
Robotica, Vol. 2, Iss. 3, 1984-07 ,pp. :
The application of logic programming to the generation of paths for robots
Robotica, Vol. 2, Iss. 2, 1984-04 ,pp. :
Productive corecursion in logic programming
Theory and Practice of Logic Programming, Vol. 17, Iss. 5-6, 2017-09 ,pp. :