Debugging for Model Expansion (Q5325763): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02846-5_26
+Normal rank
@@ Property / OpenAlex ID @@
+W2121984327
@@ Property / OpenAlex ID: W2121984327 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of nonmonotone inductive definitions
@@ Property / cites work: A logic of nonmonotone inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Opium: an extendable trace analyzer for Prolog
@@ Property / cites work: Opium: an extendable trace analyzer for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate-calculus-based logics for modeling and solving search problems
+Normal rank
@@ Property / cites work @@
+Q4421877
@@ Property / cites work: Q4421877 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Justifications for Logic Programs Under Answer Set Semantics
+Normal rank
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank