The First Version of a New ASP Solver : ASPeRiX

TitreThe First Version of a New ASP Solver : ASPeRiX
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2009
LangueAnglais
Date du colloque2009
Titre du colloque10th International Conference, LPNMR 2009
Titre des actes ou de la revueLogic Programming and Nonmonotonic Reasoning
Volume5753
Pagination522 - 527
AuteurLefevre, Claire , Nicolas, Pascal
PaysAllemagne
EditeurSpringer
VillePotsdam
ISBN978-3-642-04237-9 / 978-3-642-04238-6
Mots-clésArtificial Intelligence (incl. Robotics), Discrete Mathematics in Computer Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques, Software Engineering
Résumé en anglais

We present the first version of our ASP solver ASPeRiX that implements a new approach of answer set computation. The main specifity of our system is to realize a forward chaining of first order rules that are grounded on the fly. So, unlike all others available ASP systems ASPeRiX does not need a pregrounding processing.

URL de la noticehttp://okina.univ-angers.fr/publications/ua4486
DOI10.1007/978-3-642-04238-6_52
Lien vers le document en ligne

http://dx.doi.org/10.1007/978-3-642-04238-6_52