Plausible Description Logic Programs for Stream Reasoning

Author： Groza Adrian   Letia Ioan Alfred  

Publisher： MDPI

E-ISSN： 1999-5903|4|4|865-881

ISSN： 1999-5903

Source： Future Internet, Vol.4, Iss.4, 2012-10, pp. : 865-881

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Temporal logic programs with variables*

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 2, 2017-03 ,pp. : 226-243

Cambridge University Press

Access to resources Recommend Favorite

Ticker: A system for incremental ASP-based stream reasoning*

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 5-6, 2017-09 ,pp. : 744-763

Cambridge University Press

Access to resources Recommend Favorite

Enablers and inhibitors in causal justifications of logic programs*

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 1, 2017-01 ,pp. : 49-74

Cambridge University Press

Access to resources Recommend Favorite

Modelling spatial reasoning systems with shape algebras and formal logic

By  

AI EDAM, Vol. 11, Iss. 4, 1997-09 ,pp. : 273-285

Cambridge University Press

Access to resources Recommend Favorite

The intricacies of three-valued extensional semantics for higher-order logic programs

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 5-6, 2017-09 ,pp. : 974-991

Cambridge University Press

Access to resources Recommend Favorite