research
∙
08/09/2021
FOLASP: FO(.) as Input Language for Answer Ser Solvers
Over the past decades, Answer Set Programming (ASP) has emerged as an im...
share
research
∙
08/02/2021
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021
This document provides a brief introduction to learned automated plannin...
research
∙
09/02/2016
