Constraint answer set solver EZCSP and why integration schemas matter

Publisher： Cambridge University Press

E-ISSN： 1475-3081|17|4|462-515

ISSN： 1471-0684

Source： Theory and Practice of Logic Programming, Vol.17, Iss.4, 2017-07, pp. : 462-515

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

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Achievements in answer set programming*

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Hybrid conditional planning using answer set programming

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Non-monotonic spatial reasoning with answer set programming modulo theories* †

By  

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

Cambridge University Press

Access to resources Recommend Favorite

ASPeRiX, a first-order forward chaining approach for answer set computing*

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 3, 2017-05 ,pp. : 266-310

Cambridge University Press

Access to resources Recommend Favorite