Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
ACM Transactions on Database Systems (TODS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Improving ASP Instantiators by Join-Ordering Methods
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
The INFOMIX system for advanced integration of incomplete and inconsistent data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Learning rules with negation for text categorization
Proceedings of the 2007 ACM symposium on Applied computing
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
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
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
One More Decidable Class of Finitely Ground Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
An ASP-Based System for e-Tourism
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Some DLV Applications for Knowledge Management
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The Second Answer Set Programming Competition
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
GrinGo: a new grounder for answer set programming
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Dynamic Magic Sets and super-coherent answer set programs
AI Communications - Answer Set Programming
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
An ASP-based system for team-building in the gioia-tauro seaport
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Hi-index | 0.00 |
In this work, we give an overview of the DLVIntelligent Grounder, one of the most popular Answer Set Programming instantiators, and a very strong point of the DLV system. Based on a variant of semi-naive evaluation, it also includes several advanced optimization techniques and supports a number of application-oriented features which allow for the successful exploitation of DLV in real-world contexts, also at an industrial level.