Evidence algorithm and inference search in first-order logics (Q286802): Difference between revisions

@@ Property / describes a project that uses @@
+ForTheL
@@ Property / describes a project that uses: ForTheL / 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.1007/s10817-015-9346-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2172979345
@@ Property / OpenAlex ID: W2172979345 / rank @@
+Normal rank
@@ Property / cites work @@
+Some problems in the theories of automata and artificial intelligence
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
+Normal rank
@@ Property / cites work @@
+Q5620583
@@ Property / cites work: Q5620583 / rank @@
+Normal rank
@@ Property / cites work @@
+What is the inverse method?
@@ Property / cites work: What is the inverse method? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471536
@@ Property / cites work: Q4471536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938416
@@ Property / cites work: Q4938416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853623
@@ Property / cites work: Q3853623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853622
@@ Property / cites work: Q3853622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766612
@@ Property / cites work: Q4766612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679732
@@ Property / cites work: Q5679732 / rank @@
+Normal rank
@@ Property / cites work @@
+Evidential paradigm: the logical aspect
@@ Property / cites work: Evidential paradigm: the logical aspect / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of Herbrand's theorem for formulas in prenex form
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699355
@@ Property / cites work: Q4699355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank