
Exploiting Support Sets for Answer Set Programs with External Evaluations
Author(s) -
Thomas Eiter,
Michael Fink,
Christoph Redl,
Daria Stepanova
Publication year - 2014
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v28i1.8874
Subject(s) - computer science , set (abstract data type) , representation (politics) , property (philosophy) , atom (system on chip) , theoretical computer science , interface (matter) , programming language , operating system , philosophy , epistemology , bubble , maximum bubble pressure method , politics , political science , law