Publisher： Cambridge University Press
E-ISSN： 1469-1760|3|3|157-173
ISSN： 0890-0604
Source： AI EDAM, Vol.3, Iss.3, 1989-08, pp. : 157-173
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
Access to resources
Recommend
Productive corecursion in logic programming
Theory and Practice of Logic Programming, Vol. 17, Iss. 5-6, 2017-09 ,pp. :
Spatial synthesis by disjunctive constraint satisfaction
AI EDAM, Vol. 11, Iss. 4, 1997-09 ,pp. :
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. :