A fixed point theorem for non-monotonic functions (Q2257304): Difference between revisions

@@ Property / author @@
-Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
-Normal rank
@@ Property / author @@
+Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2029438897
@@ Property / OpenAlex ID: W2029438897 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0299
@@ Property / arXiv ID: 1402.0299 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
+Normal rank
@@ Property / cites work @@
+Extensional Higher-Order Logic Programming
@@ Property / cites work: Extensional Higher-Order Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734934
@@ Property / cites work: Q2734934 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultimate approximation and its application in nonmonotonic knowledge representation systems
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / 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 @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum model semantics for logic programs with negation-as-failure
+Normal rank
@@ Property / cites work @@
+The infinite-valued semantics: overview, recent results and future directions
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+The alternating fixpoint of logic programs with negation
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Splitting an operator
@@ Property / cites work: Splitting an operator / rank @@
+Normal rank