Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.

Minh Dao-Tran Thomas Eiter Michael Fink Thomas Krennwallner Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. 87-100 2009 LPNMR http://dx.doi.org/10.1007/978-3-642-04238-6_10 conf/lpnmr/2009 db/conf/lpnmr/lpnmr2009.html#Dao-TranEFK09