Temporal logic programs with variables*

Publisher： Cambridge University Press

E-ISSN： 1475-3081|17|2|226-243

ISSN： 1471-0684

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

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

Special Issue on: Temporal Logic in Engingeering

By  

AI EDAM, Vol. 11, Iss. 3, 1997-06 ,pp. : 237-237

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

Plausible Description Logic Programs for Stream Reasoning

By Groza Adrian   Letia Ioan Alfred  

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

MDPI

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

A Study on the Fuzzy-Logic-Based Solar Power MPPT Algorithms Using Different Fuzzy Input Variables

By Shiau Jaw-Kuen   Wei Yu-Chen   Chen Bo-Chih  

Algorithms, Vol. 8, Iss. 2, 2015-04 ,pp. : 100-127

MDPI

Access to resources Recommend Favorite