2009 | OriginalPaper | Buchkapitel
The First Version of a New ASP Solver : ASPeRiX
verfasst von : Claire Lefèvre, Pascal Nicolas
Erschienen in: Logic Programming and Nonmonotonic Reasoning
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.