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

Publisher： Cambridge University Press

E-ISSN： 1475-3081|17|3|266-310

ISSN： 1471-0684

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

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

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

An algebraic method for quasi-linear first-order ODEs

By  

ITM Web of conferences, Vol. 20, Iss. issue, 2018-10 ,pp. : 01006-01006

Edp Sciences

Access to resources Recommend Favorite

Improved knowledge management through first-order logic in engineering design ontologies

By  

AI EDAM, Vol. 24, Iss. 2, 2010-05 ,pp. : 245-257

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

A Service-Oriented Approach for Dynamic Chaining of Virtual Network Functions over Multi-Provider Software-Defined Networks

By Martini Barbara   Paganelli Federica  

Future Internet, Vol. 8, Iss. 2, 2016-06 ,pp. : 24-24

MDPI

Access to resources Recommend Favorite