First-order Answer Set Programming as Constructive Proof Search (Q4559822): Difference between revisions

@@ Property / cites work @@
+Operational semantics of resolution and productivity in Horn clause logic
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of intuitionistic logic in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Stable inference as intuitionistic validity
@@ Property / cites work: Stable inference as intuitionistic validity / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming in intuitionistic logic
@@ Property / cites work: Answer set programming in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Restricted Positive Quantification Is Not Elementary
+Normal rank
@@ Property / cites work @@
+On the Mints Hierarchy in First-Order Intuitionistic Logic
+Normal rank
@@ Property / OpenAlex ID @@
+W2963528460
@@ Property / OpenAlex ID: W2963528460 / rank @@
+Normal rank