Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,276,256 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Answer set programming
Datalog
Logic programming
Stable model semantics
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Safety Verification of Deep Neural Networks
Xiaowei Huang
,
M. Kwiatkowska
,
Sen Wang
,
Min Wu
International Conference on Computer Aided…
2016
Corpus ID: 11626373
Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with…
Expand
Highly Cited
2011
Highly Cited
2011
Team-building with answer set programming in the Gioia-Tauro seaport
F. Ricca
,
G. Grasso
,
+4 authors
N. Leone
Theory and Practice of Logic Programming
2011
Corpus ID: 8152988
Abstract The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management task…
Expand
2007
2007
Model checking multi-agent systems with logic based Petri nets
Tristan M. Behrens
,
J. Dix
Annals of Mathematics and Artificial Intelligence
2007
Corpus ID: 21396047
We introduce a class of Petri nets, simple logic Petri nets (SLPN), that are based on logical expressions. We show how this type…
Expand
Highly Cited
2006
Highly Cited
2006
Answer Set Programming Based on Propositional Satisfiability
E. Giunchiglia
,
Yuliya Lierler
,
M. Maratea
Journal of automated reasoning
2006
Corpus ID: 5189296
Answer set programming (ASP) emerged in the late 1990s as a new logic programming paradigm that has been successfully applied in…
Expand
Highly Cited
2005
Highly Cited
2005
Answer Sets for Propositional Theories
P. Ferraris
International Conference on Logic Programming and…
2005
Corpus ID: 2250421
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of…
Expand
Review
2002
Review
2002
The DLV system for knowledge representation and reasoning
N. Leone
,
G. Pfeifer
,
+4 authors
Francesco Scarcello
TOCL
2002
Corpus ID: 1189466
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive…
Expand
Highly Cited
2002
Highly Cited
2002
ASSAT: computing answer sets of a logic program by SAT solvers
Fangzhen Lin
,
Yuting Zhao
Artificial Intelligence
2002
Corpus ID: 514581
Highly Cited
2002
Highly Cited
2002
Answer set programming and plan generation
V. Lifschitz
Artificial Intelligence
2002
Corpus ID: 30048619
Highly Cited
2001
Highly Cited
2001
A logic programming approach to knowledge-state planning, II: The DLVK system
Thomas Eiter
,
Wolfgang Faber
,
N. Leone
,
G. Pfeifer
,
A. Polleres
Artificial Intelligence
2001
Corpus ID: 53305024
Highly Cited
1998
Highly Cited
1998
The KR System dlv: Progress Report, Comparisons and Benchmarks
Thomas Eiter
,
N. Leone
,
Cristinel Mateis
,
G. Pfeifer
,
Francesco Scarcello
International Conference on Principles of…
1998
Corpus ID: 16218423
dlv is a knowledge representation system, based on disjunctive logic programming, which ooers front-ends to several advanced KR…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE