Publisher： Elsevier
Founded in： 1984
Total resources： 4
E-ISSN： 1873-5789
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.
The Journal of Logic Programming
Menu
Decidability of logic program semantics and applications to testing
The Journal of Logic Programming , Vol. 46, Iss. 1, 2000-11 , pp.
Access to resources
Recommend
Pair-sharing over rational trees
The Journal of Logic Programming , Vol. 46, Iss. 1, 2000-11 , pp.More on tractable disjunctive Datalog
By Ben-Eliyahu-Zohary R., Palopoli L., Zemlyanker V. in (2000)
The Journal of Logic Programming , Vol. 46, Iss. 1, 2000-11 , pp.By Dix J., Subrahmanian V.S., Pick G. in (2000)
The Journal of Logic Programming , Vol. 46, Iss. 1, 2000-11 , pp.An abductive approach to disjunctive logic programming
By You J.-H., Yuan L.Y., Goebel R. in (2000)
The Journal of Logic Programming , Vol. 44, Iss. 1, 2000-07 , pp.Computing abduction by using TMS with top-down expectation
By Iwayama N., Satoh K. in (2000)
The Journal of Logic Programming , Vol. 44, Iss. 1, 2000-07 , pp.Abducing through negation as failure: stable models within the independent choice logic
The Journal of Logic Programming , Vol. 44, Iss. 1, 2000-07 , pp.An abductive event calculus planner
The Journal of Logic Programming , Vol. 44, Iss. 1, 2000-07 , pp.By Sakama C., Inoue K. in (2000)
The Journal of Logic Programming , Vol. 44, Iss. 1, 2000-07 , pp.Conditional reasoning in logic programming
By Gabbay D., Giordano L., Martelli A., Olivetti N., Sapino M.L. in (2000)
The Journal of Logic Programming , Vol. 44, Iss. 1, 2000-07 , pp.
Previous
Next