Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
ACM Transactions on Database Systems (TODS)
WFS + Branch and Bound = Stable Models
IEEE Transactions on Knowledge and Data Engineering
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Progress Report on the Disjunctive Deductive Database System dlv
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
Census Data Repair: a Challenging Application of Disjunctive Logic Programming
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Answer Set Planning under Action Costs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Improving ASP Instantiators by Join-Ordering Methods
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Optimizing the Computation of Heuristics for Answer Set Programming Systems
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
The INFOMIX system for advanced integration of incomplete and inconsistent data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
A backjumping technique for disjunctive logic programming
AI Communications
The Diagnosis Frontend of the dlv system
AI Communications
Parametric connectives in Disjunctive Logic Programming
AI Communications
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Magic Sets and their application to data integration
Journal of Computer and System Sciences
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Enhancing a DLP System for Advanced Database Applications
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Computable Functions in ASP: Theory and Implementation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
Journal of Logic and Computation
A meta-programming technique for debugging answer-set programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Answer set planning under action costs
Journal of Artificial Intelligence Research
Experimenting with heuristics for answer set programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Declarative and computational properties of logic programs with aggregates
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Heuristics for hard ASP programs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Debugging ASP programs by means of ASP
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Unfounded sets for disjunctive logic programs with arbitrary aggregates
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
KMONITOR: a tool for monitoring plan execution in action theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
A DLP system with object-oriented features
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
A tool for answering queries on action descriptions
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An implementation for recognizing rule replacements in non-ground answer-set programs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A logic-based tool for semantic information extraction
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Secommunity: a framework for distributed access control
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Socially constructed trust for distributed authorization
ESORICS'11 Proceedings of the 16th European conference on Research in computer security
Hi-index | 0.00 |
DLV is one of the most succesful and widely used ASP systems. It is based on stable model semantics, and supports a powerful language extending Disjunctive Logic Programming with many expressive constructs, including aggregates, strong and weak constraints, functions, lists, and sets. In this paper, we describe the long tour from basic research on languages and semantics, studies on algorithms and complexity, design and implementation of prototypes, up to the realization of a powerful and efficient system, which won the last ASP competition, is employed in industrial applications, and is even ready for marketing and commercial distribution. We report on the experience we got in more than twelve years of work in the DLV project, focusing on most recent developments, industrial applications, trends, and market perspectives.