DLV

DLV is a deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms. It has been conceived by an Italian-Austrian research team (of the University of Calabria and the Vienna University of Technology). The system supports a language based on a logical formalisms with a very high expressive power so that programs are able to represent relevant practical problems in presence of incomplete or contradictory knowledge. The first release of the system became available in 1997, after several years of theoretical research. It has been significantly improved over and over in the last years, incorporating new features and relevant optimisation techniques in all modules of the engine. Nowadays it represents the state of the art among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long lasting theoretical and implementation effort, the language is now supported by an efficient run-time system that exploits techniques developed throughout the years by the scientific and industrial database community. By analysing the nature of its specific input, the system is able to apply the techniques that better reflect the complexity of the problem at hand, so that “easy” problems are solved fast, while only harder problems involve methods of higher computational cost.


References in zbMATH (referenced in 14 articles , 2 standard articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Law, Mark; Russo, Alessandra; Broda, Krysia: The complexity and generality of learning answer set programs (2018)
  2. Bichler, Manuel; Morak, Michael; Woltran, Stefan: Lpopt: A rule optimization tool for answer set programming (2017)
  3. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  4. Alviano, Mario; Dodaro, Carmine: Anytime answer set optimization via unsatisfiable core shrinking (2016)
  5. Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab: Stable-unstable semantics: beyond NP with normal logic programs (2016)
  6. Alviano, Mario; Faber, Wolfgang; Gebser, Martin: Rewriting recursive aggregates in answer set programming: back to monotonicity (2015)
  7. Alviano, Mario; Peñaloza, Rafael: Fuzzy answer set computation via satisfiability modulo theories (2015)
  8. Doherty, Patrick; Szałas, Andrzej: Stability, supportedness, minimality and Kleene answer set programs (2015)
  9. Faber, Wolfgang; Leone, Nicola; Perri, Simona: The intelligent grounder of DLV (2012)
  10. Ricca, F.; Grasso, G.; Alviano, M.; Manna, M.; Lio, V.; Iiritano, S.; Leone, N.: Team-building with answer set programming in the Gioia-Tauro seaport (2012)
  11. Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, Gerald; Terracina, Giorgio: The disjunctive datalog system DLV (2011) ioport
  12. Grasso, Giovanni; Leone, Nicola; Manna, Marco; Ricca, Francesco: ASP at work: SPIN-off and applications of the DLV system (2011) ioport
  13. Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco: Some DLV applications for knowledge management (2009) ioport
  14. Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista: External sources of knowledge and value invention in logic programming (2007)