System Description: DLV with Aggregates
暂无分享,去创建一个
Wolfgang Faber | Gerald Pfeifer | Nicola Leone | Simona Perri | Tina Dell'Armi | Giuseppe Ielpa | N. Leone | G. Pfeifer | Wolfgang Faber | S. Perri | Tina Dell'Armi | Giuseppe Ielpa
[1] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[2] Wolfgang Faber,et al. Pushing Goal Derivation in DLP Computations , 1999, LPNMR.
[3] Francesco Buccafurri,et al. Enhancing Disjunctive Datalog by Constraints , 2000, IEEE Trans. Knowl. Data Eng..
[4] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..