Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We briefly describe the answer set programming system DLV, focusing on some of its peculiar features and mentioning a number of… Expand
Is this relevant?
Highly Cited
2017
Highly Cited
2017
Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2014
Highly Cited
2014
A bstractWe study the production of Higgs boson pairs via gluon fusion at the LHC in the Two-Higgs-Doublet Model. We present… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management task for the… Expand
  • figure 1
Is this relevant?
2008
2008
We introduce a class of Petri nets, simple logic Petri nets (SLPN), that are based on logical expressions. We show how this type… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2006
Review
2006
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive… Expand
  • table I
  • table II
  • table III
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Answer set programming (ASP) emerged in the late 1990s as a new logic programming paradigm that has been successfully applied in… Expand
  • table I
  • table I
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The paper discusses an architecture for intelligent agents based on the use of A-Prolog- a language of logic programs under the… Expand
  • figure 12.1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
A soil gauge for measuring the relative amount of soiling of a carpet. The soil gauge is made from a transparent material having… Expand
  • figure 3
Is this relevant?