lpopt: A Rule Optimization Tool for Answer Set Programming.

Saved in:

Bibliographic Details
Title:	lpopt: A Rule Optimization Tool for Answer Set Programming.
Authors:	Bichler, Manuel¹, bichler@dbai.tuwien.ac.at, Morak, Michael², michael.morak@aau.at, Woltran, Stefan¹, woltran@dbai.tuwien.ac.at, Hermenegildo, Manuel, López-García, Pedro, Pettorossi, Alberto, Proietti, Maurizio
Source:	Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p275-296, 22p
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.3233/FI-2020-1990