Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

The First Version of a New ASP Solver : ASPeRiX

Abstract :

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.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03350622
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mardi 21 septembre 2021 - 14:34:55
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Lien texte intégral

Identifiants

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

5