Flexible Approximators for Approximating Fixpoint Theory (Q2814522): Difference between revisions

@@ Property / author @@
+Zhi-Yong Feng
@@ Property / author: Zhi-Yong Feng / 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-34111-8_28
+Normal rank
@@ Property / OpenAlex ID @@
+W2465441781
@@ Property / OpenAlex ID: W2465441781 / rank @@
+Normal rank
@@ Property / cites work @@
+Hex Semantics via Approximation Fixpoint Theory
@@ Property / cites work: Hex Semantics via Approximation Fixpoint Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Grounded fixpoints and their applications in knowledge representation
+Normal rank
@@ Property / cites work @@
+Uniform semantic treatment of default and autoepistemic logics
+Normal rank
@@ Property / cites work @@
+Ultimate approximation and its application in nonmonotonic knowledge representation systems
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Well-founded semantics for description logic programs in the semantic web
+Normal rank
@@ Property / cites work @@
+Local closed world reasoning with description logics under the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / cites work @@
+Well-founded and stable semantics of logic programs with aggregates
+Normal rank
@@ Property / cites work @@
+Approximating operators and semantics for abstract dialectical frameworks
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+FO(ID) as an extension of DL with rules
@@ Property / cites work: FO(ID) as an extension of DL with rules / rank @@
+Normal rank