Jo Devriendt | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Peter J. Stuckey
46 publications
Scott Sanner
43 publications
Joost Vennekens
23 publications
Jakob Nordström
11 publications
Patrick De Causmaecker
10 publications
Maurice Bruynooghe
8 publications
Buser Say
6 publications
Kylian Van Dessel
1 publication
San Pham
1 publication

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...

0 Kylian Van Dessel, et al. ∙

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...

0 Buser Say, et al. ∙

research

∙ 09/02/2016

A MIP Backend for the IDP System

The IDP knowledge base system currently uses MiniSAT(ID) as its backend ...

0 San Pham, et al. ∙