DLV

swMATH4640MaRDI QIDQ16810FDOQ16810

Author name not available (Why is that?)

Cited In (29)

• The Intelligent Grounder of DLV
• Uhura: an authoring tool for specifying answer-set programs using controlled natural language
• External sources of knowledge and value invention in logic programming
• Enhancing DLV for large-scale reasoning
• The ASP system DLV2
• Lpopt: a rule optimization tool for answer set programming
• Stable-unstable semantics: Beyond NP with normal logic programs
• Efficiently Coupling the I-DLV Grounder with ASP Solvers
• Debugging Non-ground ASP Programs: Technique and Graphical Tools
• Rough set reasoning using answer set programs
• Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• Fuzzy answer set computation via satisfiability modulo theories
• Anytime answer set optimization via unsatisfiable core shrinking
• Enhancing Magic Sets with an Application to Ontological Reasoning
• The complexity and generality of learning answer set programs
• Team-building with answer set programming in the Gioia-Tauro seaport
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Title not available (Why is that?)
• Modularity Aspects of Disjunctive Stable Models
• Logics in Artificial Intelligence
• Stability, Supportedness, Minimality and Kleene Answer Set Programs
• Introducing Computer Science to High School Students Through Logic Programming
• Chain answer sets for logic programs with generalized atoms
• Title not available (Why is that?)
• A linear algebraic approach to datalog evaluation
• Answer Set Programming
• Shared aggregate sets in answer set programming
• Rewriting recursive aggregates in answer set programming: back to monotonicity

This page was built for software: DLV