Theory and Practice of Logic Programming,volume 17,issue 2  (03-2017)

Period of time： 2017年2期

Publisher： Cambridge University Press

Founded in： 2015

Total resources： 53

E-ISSN： 1475-3081|17|2

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 2

Menu

Default rules for Curry*

Theory and Practice of Logic Programming,volume 17,issue 2 , Vol. 17, Iss. 2, 2017-03 , pp. 121-147

Cambridge University Press

Abstract Access to resources Recommend Favorite

Consistency and trust in peer data exchange systems

Theory and Practice of Logic Programming,volume 17,issue 2 , Vol. 17, Iss. 2, 2017-03 , pp. 148-204

Cambridge University Press

Abstract Access to resources Recommend Favorite

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

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Temporal logic programs with variables*

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Total 4 item(s)