Author: Gabbay D. Giordano L. Martelli A. Olivetti N. Sapino M.L.
Publisher: Elsevier
ISSN: 0743-1066
Source: The Journal of Logic Programming, Vol.44, Iss.1, 2000-07, pp. : 37-74
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
A unifying view for logic programming with non-monotonic reasoning
By Brogi A. Lamma E. Mancarella P. Mello P.
Theoretical Computer Science, Vol. 184, Iss. 1, 1997-09 ,pp. :
Reflection in conditional rewriting logic
Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. :
Legal reasoning with subjective logic
By Jøsang A.
Artificial Intelligence and Law, Vol. 8, Iss. 4, 2000-12 ,pp. :
Logic, modeling, and programming
Annals of Operations Research, Vol. 71, Iss. 1, 1997-01 ,pp. :
Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. :