On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658): Difference between revisions

@@ Property / author @@
-Jeffery B. Remmel
@@ Property / author: Jeffery B. Remmel / rank @@
-Normal rank
@@ Property / author @@
+Jeffery B. Remmel
@@ Property / author: Jeffery B. Remmel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASSAT
@@ Property / describes a project that uses: ASSAT / 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-540-89982-2_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1574509484
@@ Property / OpenAlex ID: W1574509484 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the Lin-Zhao theorem
@@ Property / cites work: A generalization of the Lin-Zhao theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / 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 @@
+Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
+Normal rank
@@ Property / cites work @@
+Q4514010
@@ Property / cites work: Q4514010 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems I
@@ Property / cites work: A theory of nonmonotonic rule systems I / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems. II
@@ Property / cites work: A theory of nonmonotonic rule systems. II / rank @@
+Normal rank
@@ Property / cites work @@
+A context for belief revision: forward chaining-normal nonmonotonic rule systems
+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 @@
+Generic Tableaux for Answer Set Programming
@@ Property / cites work: Generic Tableaux for Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318616
@@ Property / cites work: Q4318616 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Why are there so many loop formulas?
@@ Property / cites work: Why are there so many loop formulas? / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the 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 @@
+Logic programs with monotone abstract constraint atoms
+Normal rank
@@ Property / cites work @@
+Weight constraints as nested expressions
@@ Property / cites work: Weight constraints as nested expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5504658