Index Sets for Finite Normal Predicate Logic Programs with Function Symbols (Q5283418): Difference between revisions

@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-27683-0_5
+Normal rank
@@ Property / OpenAlex ID @@
+W2296002977
@@ Property / OpenAlex ID: W2296002977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960112
@@ Property / cites work: Q3960112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348419
@@ Property / cites work: Q3348419 / 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 @@
+Checking termination of bottom-up evaluation of logic programs with function symbols
+Normal rank
@@ Property / cites work @@
+Computable Functions in ASP: Theory and Implementation
+Normal rank
@@ Property / cites work @@
+Index Sets for Finite Normal Predicate Logic Programs with Function Symbols
+Normal rank
@@ Property / cites work @@
+Index sets for \(\Pi^0_1\) classes
@@ Property / cites work: Index sets for \(\Pi^0_1\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / 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 @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+How complicated is the set of stable models of a recursive logic program?
+Normal rank
@@ Property / cites work @@
+The Stable Models of a Predicate Logic Program
@@ Property / cites work: The Stable Models of a Predicate Logic Program / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846259
@@ Property / cites work: Q4846259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798015
@@ Property / cites work: Q4798015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank