论文信息 - System Description: DLV

System Description: DLV

DLV is an efficient Answer Set Programming (ASP) system implementing the consistent answer set semantics [5] with various language enhancements like support for logic programming with inheritance and queries, integer arithmetics, and various other built-in predicates.

[1] Francesco Buccafurri,et al. Enhancing Disjunctive Datalog by Constraints , 2000, IEEE Trans. Knowl. Data Eng..

[2] Georg Gottlob,et al. Default Logic as a Query Language , 1997, IEEE Trans. Knowl. Data Eng..

[3] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.

[4] Stefan Woltran,et al. Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas , 2000, AAAI/IAAI.