swMATH ID: 50
Software Authors: Claire Lefèvre, Pascal Nicolas, Stéphane Ngoma
Description: The program ASPeRiX is an implementation of the stable model semantics for normal logic programs. The main specifity of our system is to realize a forward chaining of first order rules that are grounded on the fly. So, unlike others available ASP systems, ASPeRiX does not need a pregrounding processing.
Homepage: http://www.info.univ-angers.fr/pub/claire/asperix/
Programming Languages: C++
Operating Systems: multi platform
Dependencies: dependencies
Keywords: keywords
Related Software: ASSAT; OMiGA; Gringo; Clingo; MiniSat; GASP; Smodels; Cmodels; GNT
Cited in: 4 Publications

Cited in 0 Serials

Citations by Year