Predicate Completion for non-Horn Clause Sets (Q5200033): Difference between revisions

@@ 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.1007/978-3-642-22438-6_24
+Normal rank
@@ Property / OpenAlex ID @@
+W89475911
@@ Property / OpenAlex ID: W89475911 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Q3696500
@@ Property / cites work: Q3696500 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational formulae with membership constraints
@@ Property / cites work: Equational formulae with membership constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Induction = I-axiomatization + first-order consistency.
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Disunification for Ultimately Periodic Interpretations
+Normal rank
@@ Property / cites work @@
+System Description: SPASS-FD
@@ Property / cites work: System Description: SPASS-FD / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Results for Saturation-Based Model Building
+Normal rank
@@ Property / cites work @@
+Superposition for fixed domains
@@ Property / cites work: Superposition for fixed domains / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Horn clause logic programming
@@ Property / cites work: Non-Horn clause logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank