Abstract Hilbertian deductive systems, infon logic, and Datalog (Q393078): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2013.08.003
@@ Property / DOI: 10.1016/j.ic.2013.08.003 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2013.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2123010441
@@ Property / OpenAlex ID: W2123010441 / rank @@
+Normal rank
@@ Property / cites work @@
+From Primal Infon Logic with Individual Variables to Datalog
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Logic of infons
@@ Property / cites work: Logic of infons / rank @@
+Normal rank
@@ Property / cites work @@
+Unification as a complexity measure for logic programming
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2013.08.003
@@ Property / DOI: 10.1016/J.IC.2013.08.003 / rank @@
+Normal rank