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 33 articles , 2 standard articles )

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

1 2 next

  1. Doherty, Patrick; Szalas, Andrzej: Rough set reasoning using answer set programs (2021)
  2. Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica: Technical note. Efficiently coupling the (\mathscrI)-DLV grounder with ASP solvers (2020)
  3. De Wulf, Wolf; Bogaerts, Bart: \textsclp2pb: translating answer set programs into pseudo-Boolean theories (2020)
  4. Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger: The Vadalog System: Datalog-based Reasoning for Knowledge Graphs (2020) arXiv
  5. Alviano, Mario; Faber, Wolfgang: Chain answer sets for logic programs with generalized atoms (2019)
  6. Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica: Enhancing magic sets with an application to ontological reasoning (2019)
  7. Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin: Debugging non-ground ASP programs: technique and graphical tools (2019)
  8. Kain, Tobias; Tompits, Hans: Uhura: an authoring tool for specifying answer-set programs using controlled natural language (2019)
  9. Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Fiorentino, Alessio; Fuscà, Davide; Germano, Stefano; Laboccetta, Giovanni; Cuteri, Bernardo; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica: Enhancing DLV for large-scale reasoning (2019)
  10. Lifschitz, Vladimir: Answer set programming (2019)
  11. Yuen, Timothy T.; Reyes, Maritza; Zhang, Yuanlin: Introducing computer science to high school students through logic programming (2019)
  12. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)
  13. Alviano, Mario; Dodaro, Carmine; Maratea, Marco: Shared aggregate sets in answer set programming (2018)
  14. Bliem, Bernhard: Treewidth in non-ground answer set solving and alliance problems in graphs (2018)
  15. Law, Mark; Russo, Alessandra; Broda, Krysia: The complexity and generality of learning answer set programs (2018)
  16. Alviano, Mario; Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica: The ASP system DLV2 (2017)
  17. Bichler, Manuel; Morak, Michael; Woltran, Stefan: Lpopt: A rule optimization tool for answer set programming (2017)
  18. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  19. Alviano, Mario; Dodaro, Carmine: Anytime answer set optimization via unsatisfiable core shrinking (2016)
  20. Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab: Stable-unstable semantics: beyond NP with normal logic programs (2016)

1 2 next