DLV

Known as: DLV (disambiguation) 
The DLV (DataLog with Disjunction, whereas the logical disjunction symbol V is used) system is a disjunctive logic programming system, implementing… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Even if the industrial exploitation of the DLV system has started very recently, DLV already has a history of applications on the… (More)
Is this relevant?
2009
2009
In software engineering, tracing is a specialized way for recording information about the execution of a program for debugging… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2007
2007
Disjunctive logic programming (DLP) is a powerful formalism for knowledge representation and reasoning. The high expressiveness… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
Review
2006
Review
2006
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive… (More)
  • table I
  • table II
  • table III
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows for expressing every property of finite structures… (More)
  • figure 1
Is this relevant?
2003
2003
Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The need for representing indeenite information led to disjunctive de-ductive databases, which also fertilized work on… (More)
Is this relevant?
2000
2000
DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper presents the Diagnosis Frontend of lv, which is a knowledge representation system under development at the Technische… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
dlv is a knowledge representation system, based on disjunctive logic programming, which ooers front-ends to several advanced KR… (More)
  • figure 3
Is this relevant?