Theory and Practice of Logic Programming,volume 17,issue 5-6  (09-2017)

Period of time： 2017年5-6期

Publisher： Cambridge University Press

Founded in： 2015

Total resources： 53

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

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,volume 17,issue 5-6

Menu

TLP volume 17 issue 5-6 Cover and Front matter

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

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,volume 17,issue 5-6 , Vol. 17, Iss. 5-6, 2017-10 , pp. b1-b3

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,volume 17,issue 5-6 , Vol. 17, Iss. 5-6, 2017-10 , pp. 684-688

Cambridge University Press

Abstract Access to resources Recommend Favorite

Inspecting Maude variants with GLINTS *

Theory and Practice of Logic Programming,volume 17,issue 5-6 , Vol. 17, Iss. 5-6, 2017-09 , pp. 689-707

Cambridge University Press

Abstract Access to resources Recommend Favorite

Model enumeration in propositional circumscription via unsatisfiable core analysis*

Theory and Practice of Logic Programming,volume 17,issue 5-6 , Vol. 17, Iss. 5-6, 2017-09 , pp. 708-725

Cambridge University Press

Abstract Access to resources Recommend Favorite

Finite model reasoning over existential rules*

Theory and Practice of Logic Programming,volume 17,issue 5-6 , Vol. 17, Iss. 5-6, 2017-09 , pp. 726-743

Cambridge University Press

Abstract Access to resources Recommend Favorite

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

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Improving adherence to heart failure management guidelines via abductive reasoning*

Theory and Practice of Logic Programming,volume 17,issue 5-6 , Vol. 17, Iss. 5-6, 2017-09 , pp. 764-779

Cambridge University Press

Abstract Access to resources Recommend Favorite

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis*

Theory and Practice of Logic Programming,volume 17,issue 5-6 , Vol. 17, Iss. 5-6, 2017-09 , pp. 780-799

Cambridge University Press

Abstract Access to resources Recommend Favorite

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)

Theory and Practice of Logic Programming,volume 17,issue 5-6 , Vol. 17, Iss. 5-6, 2017-09 , pp. 800-818

Cambridge University Press

Abstract Access to resources Recommend Favorite

Previous 1 2 3 Next Display item(s) per page Total 24 item(s)