![Open access](/images/ico/o.png)
![](/images/ico/ico5.png)
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
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Temporal logic programs with variables
Theory and Practice of Logic Programming, Vol. 17, Iss. 2, 2017-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Ticker: A system for incremental ASP-based stream reasoning
Theory and Practice of Logic Programming, Vol. 17, Iss. 5-6, 2017-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Modelling spatial reasoning systems with shape algebras and formal logic
AI EDAM, Vol. 11, Iss. 4, 1997-09 ,pp. :