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

E-ISSN： 1475-3081|17|5-6|974-991

ISSN： 1471-0684

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

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

Range-based argumentation semantics as two-valued models

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

Cambridge University Press

Access to resources Recommend Favorite

Enhancing Higher-Order Skills Education and Assessment in a Graduated Motorcycle Licensing System

By Senserrick Teresa McRae Duncan Wallace Philip De Rome Liz Rees Paul Williamson Ann

Safety, Vol. 3, Iss. 2, 2017-04 ,pp. : 14-14

MDPI

Access to resources Recommend Favorite

Temporal logic programs with variables*

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

Cambridge University Press

Access to resources Recommend Favorite

Fixpoint semantics and optimization of recursive Datalog programs with aggregates*

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

Cambridge University Press

Access to resources Recommend Favorite

Enablers and inhibitors in causal justifications of logic programs*

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

Cambridge University Press

Access to resources Recommend Favorite