The Intelligent Grounder of DLV (Q2900523): Difference between revisions

@@ Property / cites work @@
+Q3011297
@@ Property / cites work: Q3011297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798024
@@ Property / cites work: Q4798024 / rank @@
+Normal rank
@@ Property / cites work @@
+External sources of knowledge and value invention in logic programming
+Normal rank
@@ Property / cites work @@
+Computable Functions in ASP: Theory and Implementation
+Normal rank
@@ Property / cites work @@
+Experimenting with parallelism for the instantiation of ASP programs
+Normal rank
@@ Property / cites work @@
+Q3100241
@@ Property / cites work: Q3100241 / rank @@
+Normal rank
@@ Property / cites work @@
+Design and implementation of aggregate functions in the DLV                         system
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798016
@@ Property / cites work: Q4798016 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+One More Decidable Class of Finitely Ground Programs
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel instantiation of ASP programs: techniques and experiments
+Normal rank
@@ Property / cites work @@
+Enhancing DLV instantiator by backjumping techniques
+Normal rank
@@ Property / cites work @@
+OntoDLV: An ASP-based System for Enterprise Ontologies
+Normal rank
@@ Property / cites work @@
+Experimenting with recursive queries in database and logic programming systems
+Normal rank