Publisher: Cambridge University Press
E-ISSN: 1475-3081|17|1|49-74
ISSN: 1471-0684
Source: Theory and Practice of Logic Programming, Vol.17, Iss.1, 2017-01, pp. : 49-74
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
Temporal logic programs with variables
Theory and Practice of Logic Programming, Vol. 17, Iss. 2, 2017-03 ,pp. :
Plausible Description Logic Programs for Stream Reasoning
By Groza Adrian Letia Ioan Alfred
Future Internet, Vol. 4, Iss. 4, 2012-10 ,pp. :