Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (Q4559803): Difference between revisions

@@ Property / arXiv ID @@
+.08335
@@ Property / arXiv ID: 1804.08335 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum Model Semantics for Extensional Higher-order Logic Programming 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 @@
+Equivalence of two fixed-point semantics for definitional higher-order logic programs
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
+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 @@
+A fixed point theorem for non-monotonic functions
@@ Property / cites work: A fixed point theorem for non-monotonic functions / 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 @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+The intricacies of three-valued extensional semantics for higher-order logic programs
+Normal rank
@@ Property / cites work @@
+Q4282567
@@ Property / cites work: Q4282567 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / OpenAlex ID @@
+W2798485127
@@ Property / OpenAlex ID: W2798485127 / rank @@
+Normal rank