Theory and Practice of Logic Programming,volume 17,issue 4  (07-2017)

Period of time： 2017年4期

Publisher： Cambridge University Press

Founded in： 2015

Total resources： 53

E-ISSN： 1475-3081|17|4

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 4

Menu

Preface

Theory and Practice of Logic Programming,volume 17,issue 4 , Vol. 17, Iss. 4, 2017-08 , pp. 359-364

Cambridge University Press

Abstract Access to resources Recommend Favorite

Contractibility for open global constraints

Theory and Practice of Logic Programming,volume 17,issue 4 , Vol. 17, Iss. 4, 2017-07 , pp. 365-407

Cambridge University Press

Abstract Access to resources Recommend Favorite

Clingcon: The next generation*

Theory and Practice of Logic Programming,volume 17,issue 4 , Vol. 17, Iss. 4, 2017-07 , pp. 408-461

Cambridge University Press

Abstract Access to resources Recommend Favorite

Constraint answer set solver EZCSP and why integration schemas matter

Theory and Practice of Logic Programming,volume 17,issue 4 , Vol. 17, Iss. 4, 2017-07 , pp. 462-515

Cambridge University Press

Abstract Access to resources Recommend Favorite

Constraint solving for finite model finding in SMT solvers*

Theory and Practice of Logic Programming,volume 17,issue 4 , Vol. 17, Iss. 4, 2017-07 , pp. 516-558

Cambridge University Press

Abstract Access to resources Recommend Favorite

On relation between constraint answer set programming and satisfiability modulo theories*

Theory and Practice of Logic Programming,volume 17,issue 4 , Vol. 17, Iss. 4, 2017-07 , pp. 559-590

Cambridge University Press

Abstract Access to resources Recommend Favorite

CASP solutions for planning in hybrid domains

Theory and Practice of Logic Programming,volume 17,issue 4 , Vol. 17, Iss. 4, 2017-07 , pp. 591-633

Cambridge University Press

Abstract Access to resources Recommend Favorite

Solving distributed constraint optimization problems using logic programming* †

Theory and Practice of Logic Programming,volume 17,issue 4 , Vol. 17, Iss. 4, 2017-07 , pp. 634-683

Cambridge University Press

Abstract Access to resources Recommend Favorite

Total 8 item(s)