Author:David Sands

Publications
IWIL Workshop and LPAR Short Presentations Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors) Kalpa Publications in Computing, volume 1
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning Thomas Eiter and David Sands (editors) EPiC Series in Computing, volume 46