2 papers
cs.AI2021
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…
cs.AI2021
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021
Buser Say, Scott Sanner, Jo Devriendt +2
This document provides a brief introduction to learned automated planning problem where the state transition function is in the form of a binarized neural network (BNN), presents a…