Sketched Answer Set Programming
Sergey Paramonov, Christian Bessiere, Anton Dries, Luc De Raedt
The Inductive Constraint Programming Loop
Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis
Load more…