Eliminating Unfounded Set Checking for HEX-Programs

摘要: Eliminating Unfounded Set Checking for HEX-Programs Page 1 Eliminating Unfounded Set Checking for HEX-Programs Thomas Eiter Michael Fink Thomas Krennwallner Christoph Redl Peter Schüller KBS Group, Institute of Information Systems, Vienna University of Technology 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012) Sep 4, 2012 Page 2 Motivation Preliminaries Answer Set Computation UFS Check Program Decomposition Experiments Conclusion Motivation HEX-programs ▶ extend ordinary ASP programs by external atoms &p ▶ allows to access external knowledge HEXprogram Solver Implementation of &p Krennwallner T. (Vienna UT) Eliminating UFS Checking for HEX-Programs ASPOCP’12 1 / 16 Page 3 Motivation Preliminaries Answer Set Computation UFS Check Program Decomposition Experiments Conclusion Answer Set Computation Issue: …