Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2005.02.003
@@ Property / DOI: 10.1016/j.ipl.2005.02.003 / rank @@
-Normal rank
@@ Property / author @@
-Linh Anh Nguyen
@@ Property / author: Linh Anh Nguyen / rank @@
-Normal rank
@@ Property / author @@
+Linh Anh Nguyen
@@ Property / author: Linh Anh Nguyen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATCHMO
@@ Property / describes a project that uses: SATCHMO / 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.ipl.2005.02.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1991020124
@@ Property / OpenAlex ID: W1991020124 / 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 @@
+Modal Theorem Proving: An Equational Viewpoint
@@ Property / cites work: Modal Theorem Proving: An Equational Viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive unit hyperresolution tableaux and their application to minimal model generation
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474846
@@ Property / cites work: Q4474846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5621960
@@ Property / cites work: Q5621960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331764
@@ Property / cites work: Q4331764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of Horn and disjunctive logic programs
@@ Property / cites work: Semantics of Horn and disjunctive logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Q4454845
@@ Property / cites work: Q4454845 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based calculi for modal and temporal logics
+Normal rank
@@ Property / cites work @@
+Q3791114
@@ Property / cites work: Q3791114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2005.02.003
@@ Property / DOI: 10.1016/J.IPL.2005.02.003 / rank @@
+Normal rank