Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245): Difference between revisions

@@ Property / author @@
+Miroslaw Truszczynski
@@ Property / author: Miroslaw Truszczynski / 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.1016/j.ic.2004.02.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2145648043
@@ Property / OpenAlex ID: W2145648043 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities between alternative semantics for logic programming and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4246955
@@ Property / cites work: Q4246955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934646
@@ Property / cites work: Q4934646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734934
@@ Property / cites work: Q2734934 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming revisited
@@ Property / cites work: Logic programming revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform semantic treatment of default and autoepistemic logics
+Normal rank
@@ Property / cites work @@
+Q4736514
@@ Property / cites work: Q4736514 / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The alternating fixpoint of logic programs with negation
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank