Question-asking strategies for Horn clause systems (Q1356226): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
+Normal rank
@@ Property / cites work @@
+Q3707420
@@ Property / cites work: Q3707420 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01531084
+Normal rank
@@ Property / OpenAlex ID @@
+W2051120160
@@ Property / OpenAlex ID: W2051120160 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1356226