Speeding up inferences using relevance reasoning: a formalism and algorithms (Q1127352): Difference between revisions

@@ Property / cites work @@
+Q5751978
@@ Property / cites work: Q5751978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Whither relevance logic?
@@ Property / cites work: Whither relevance logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386959
@@ Property / cites work: Q4386959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997678
@@ Property / cites work: Q3997678 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling control
@@ Property / cites work: Compiling control / rank @@
+Normal rank
@@ Property / cites work @@
+Q5799632
@@ Property / cites work: Q5799632 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+A logical notion of conditional independence: properties and applications
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Acquiring search-control knowledge via static analysis
+Normal rank
@@ Property / cites work @@
+On the logic of relevance
@@ Property / cites work: On the logic of relevance / rank @@
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of abstraction
@@ Property / cites work: A theory of abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Finding optimal derivation strategies in redundant knowledge bases
+Normal rank
@@ Property / cites work @@
+On conjunctive queries containing inequalities
@@ Property / cites work: On conjunctive queries containing inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715706
@@ Property / cites work: Q5715706 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure Using Connection Graphs
@@ Property / cites work: A Proof Procedure Using Connection Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation in logic programming
@@ Property / cites work: Partial evaluation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Planning in a hierarchy of abstraction spaces
@@ Property / cites work: Planning in a hierarchy of abstraction spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences Among Relational Expressions with the Union and Difference Operators
+Normal rank
@@ Property / cites work @@
+Equivalence of Datalog queries is undecidable
@@ Property / cites work: Equivalence of Datalog queries is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+A Search Technique for Clause Interconnectivity Graphs
+Normal rank
@@ Property / cites work @@
+Controlling backward inference
@@ Property / cites work: Controlling backward inference / rank @@
+Normal rank
@@ Property / cites work @@
+Pushing constraint selections
@@ Property / cites work: Pushing constraint selections / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028092
@@ Property / cites work: Q4028092 / rank @@
+Normal rank
@@ Property / cites work @@
+Information integration using logical views
@@ Property / cites work: Information integration using logical views / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035346
@@ Property / cites work: Q4035346 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive query processing: The power of logic
@@ Property / cites work: Recursive query processing: The power of logic / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(97)00049-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1976291507
@@ Property / OpenAlex ID: W1976291507 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127124587
@@ Property / Wikidata QID: Q127124587 / rank @@
+Normal rank