Domain expansion for ASP-programs with external sources (Q254002): Difference between revisions

@@ Property / Wikidata QID @@
+Q57549074
@@ Property / Wikidata QID: Q57549074 / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812969
@@ Property / cites work: Q4812969 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with infinite stable models
@@ Property / cites work: Reasoning with infinite stable models / rank @@
+Normal rank
@@ Property / cites work @@
+A Revised Concept of Safety for General Answer Set Programs
+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 @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+The computational complexity of ideal semantics
@@ Property / cites work: The computational complexity of ideal semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
+Normal rank
@@ Property / cites work @@
+Conflict-driven ASP solving with external sources
@@ Property / cites work: Conflict-driven ASP solving with external sources / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient HEX-Program Evaluation Based on Unfounded Sets
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Solving
@@ Property / cites work: Constraint Answer Set Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
+Normal rank
@@ Property / cites work @@
+Q5398070
@@ Property / cites work: Q5398070 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for testing safety and effective computability
+Normal rank
@@ Property / cites work @@
+Safe Formulas in the General Theory of Stable Models (Preliminary Report)
+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 @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4798015
@@ Property / cites work: Q4798015 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+The termination hierarchy for term rewriting
@@ Property / cites work: The termination hierarchy for term rewriting / rank @@
+Normal rank