FOLASP: FO(.) as Input Language for Answer Ser Solvers

Kylian Van Dessel, Jo Devriendt, Joost Vennekens

Over the past decades, Answer Set Programming (ASP) has emerged as an important paradigm for declarative problem solving. Technological progress in this area has been stimulated by…