ASPeRiX 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 all top 5 Cited by 12 Authors 2 Lefèvre, Claire 1 Béatrix, Christopher 1 Garcia, Laurent 1 Gebser, Martin 1 Janhunen, Tomi 1 Jost, Holger 1 Kaminski, Roland 1 Nicolas, Pascal 1 Schaub, Torsten H. 1 Sergot, Marek J. 1 Stéphan, Igor 1 Toni, Francesca Cited in 0 Serials Cited in 1 Field 4 Computer science (68-XX) Citations by Year