The First Version of a New ASP Solver : ASPeRiX - Université d'Angers
Communication Dans Un Congrès Année : 2009

The First Version of a New ASP Solver : ASPeRiX

Résumé

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.

Dates et versions

hal-03350622 , version 1 (21-09-2021)

Identifiants

Citer

Claire Lefevre, Pascal Nicolas. The First Version of a New ASP Solver : ASPeRiX. 10th International Conference, LPNMR 2009, 2009, Potsdam, Germany. pp.522 - 527, ⟨10.1007/978-3-642-04238-6_52⟩. ⟨hal-03350622⟩

Collections

UNIV-ANGERS LERIA
15 Consultations
0 Téléchargements

Altmetric

Partager

More