The DLV system for knowledge representation and reasoning

Article Properties
  • Language
    English
  • DOI (url)
    10.1145/1149114.1149117
  • Publication Date
    2006/07/01
  • Journal
    ACM Transactions on Computational Logic
  • Indian UGC (Journal)
  • Refrences
    104
  • Citations
    277
  • Nicola Leone University of Calabria, Rende (CS), Italy
  • Gerald Pfeifer Technische Universität Wien, Vienna, Austria
  • Wolfgang Faber Technische Universität Wien, Vienna, Austria
  • Thomas Eiter Technische Universität Wien, Vienna, Austria
  • Georg Gottlob Technische Universität Wien, Vienna, Austria
  • Simona Perri University of Calabria, Rende (CS), Italy
  • Francesco Scarcello University of Calabria, Rende (CS), Italy
Abstract
Login
Cite
Leone, Nicola, et al. “The DLV System for Knowledge Representation and Reasoning”. ACM Transactions on Computational Logic, vol. 7, no. 3, 2006, pp. 499-62, https://doi.org/10.1145/1149114.1149117.
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., & Scarcello, F. (2006). The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 7(3), 499-562. https://doi.org/10.1145/1149114.1149117
Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, et al. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic. 2006;7(3):499-562.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Login
Citations
Login
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science238
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software117
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware114
Science: Mathematics111
Technology: Mechanical engineering and machinery64
The first research to cite this article was titled Answer Set Programming Based on Propositional Satisfiability and was published in 2006. The most recent citation comes from a 2024 study titled Answer Set Programming Based on Propositional Satisfiability . This article reached its peak citation in 2008 , with 28 citations.It has been cited in 84 different journals, 5% of which are open access. Among related journals, the Theory and Practice of Logic Programming cited this research the most, with 68 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year