Period of time： 2000年1期
Publisher： Elsevier
Founded in： 1984
Total resources： 4
ISSN： 0743-1066
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Logic Programming, The,volume 44,issue 1
Menu
Special issue: abductive logic programming
By Denecker M., Kakas A. in (2000)
Journal of Logic Programming, The,volume 44,issue 1 , Vol. 44, Iss. 1, 2000-07 , pp.
Access to resources
Recommend
Conditional reasoning in logic programming
By Gabbay D., Giordano L., Martelli A., Olivetti N., Sapino M.L. in (2000)
Journal of Logic Programming, The,volume 44,issue 1 , Vol. 44, Iss. 1, 2000-07 , pp.By Sakama C., Inoue K. in (2000)
Journal of Logic Programming, The,volume 44,issue 1 , Vol. 44, Iss. 1, 2000-07 , pp.An abductive approach to disjunctive logic programming
By You J.-H., Yuan L.Y., Goebel R. in (2000)
Journal of Logic Programming, The,volume 44,issue 1 , Vol. 44, Iss. 1, 2000-07 , pp.ACLP: Abductive Constraint Logic Programming
By Kakas A.C., Michael A., Mourlas C. in (2000)
Journal of Logic Programming, The,volume 44,issue 1 , Vol. 44, Iss. 1, 2000-07 , pp.Computing abduction by using TMS with top-down expectation
By Iwayama N., Satoh K. in (2000)
Journal of Logic Programming, The,volume 44,issue 1 , Vol. 44, Iss. 1, 2000-07 , pp.An abductive event calculus planner
Journal of Logic Programming, The,volume 44,issue 1 , Vol. 44, Iss. 1, 2000-07 , pp.