Theory and Practice of Logic Programming

Publisher： Cambridge University Press

Founded in： 2015

Total resources： 53

E-ISSN： 1475-3081

ISSN： 1471-0684

Subject： TP3 Computers

Favorite

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

Theory and Practice of Logic Programming

Menu

TLP volume 17 issue 5-6 Cover and Front matter

Theory and Practice of Logic Programming , Vol. 17, Iss. 5-6, 2017-10 , pp. f1-f2

Cambridge University Press

Abstract Access to resources Recommend Favorite

Introduction to the 33rd international conference on logic programming special issue

Theory and Practice of Logic Programming , Vol. 17, Iss. 5-6, 2017-10 , pp. 684-688

Cambridge University Press

Abstract Access to resources Recommend Favorite

TLP volume 17 issue 5-6 Cover and Back matter

Theory and Practice of Logic Programming , Vol. 17, Iss. 5-6, 2017-10 , pp. b1-b3

Cambridge University Press

Abstract Access to resources Recommend Favorite

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

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Well-founded operators for normal hybrid MKNF knowledge bases

Theory and Practice of Logic Programming , Vol. 17, Iss. 5-6, 2017-09 , pp. 889-905

Cambridge University Press

Abstract Access to resources Recommend Favorite

Achievements in answer set programming*

Theory and Practice of Logic Programming , Vol. 17, Iss. 5-6, 2017-09 , pp. 961-973

Cambridge University Press

Abstract Access to resources Recommend Favorite

Representing hybrid automata by action language modulo theories*

Theory and Practice of Logic Programming , Vol. 17, Iss. 5-6, 2017-09 , pp. 924-941

Cambridge University Press

Abstract Access to resources Recommend Favorite

Program completion in the input language of GRINGO*

Theory and Practice of Logic Programming , Vol. 17, Iss. 5-6, 2017-09 , pp. 855-871

Cambridge University Press

Abstract 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

Abstract Access to resources Recommend Favorite

Hybrid conditional planning using answer set programming

Theory and Practice of Logic Programming , Vol. 17, Iss. 5-6, 2017-09 , pp. 1027-1047

Cambridge University Press

Abstract Access to resources Recommend Favorite

Previous 1 2 3 4 5 Next Display item(s) per page Total 45 item(s)