Agenda control for heterogeneous reasoners (Q1764797): Difference between revisions

@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Ωmega: Towards a mathematical assistant
@@ Property / cites work: Ωmega: Towards a mathematical assistant / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about nonlinear system identification
@@ Property / cites work: Reasoning about nonlinear system identification / rank @@
+Normal rank
@@ Property / cites work @@
+Global solutions for nonlinear systems using qualitative reasoning
+Normal rank
@@ Property / cites work @@
+Automatic construction of accurate models of physical systems
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+The use of a strategy language for solving search problems
+Normal rank
@@ Property / cites work @@
+Q4002478
@@ Property / cites work: Q4002478 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient context-free parsing algorithm
@@ Property / cites work: An efficient context-free parsing algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321736
@@ Property / cites work: Q4321736 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as inconsistency. I
@@ Property / cites work: Negation as inconsistency. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic continuations
@@ Property / cites work: Logic continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844168
@@ Property / cites work: Q4844168 / rank @@
+Normal rank
@@ Property / cites work @@
+Annotated reasoning
@@ Property / cites work: Annotated reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934652
@@ Property / cites work: Q4934652 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4724470
@@ Property / cites work: Q4724470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal intuitionistic logic I. fixed-point semantics
+Normal rank
@@ Property / cites work @@
+Clausal intuitionistic logic II. tableau proof procedures
+Normal rank
@@ Property / cites work @@
+Q2767093
@@ Property / cites work: Q2767093 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge-based proof planning
@@ Property / cites work: Knowledge-based proof planning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586197
@@ Property / cites work: Q5586197 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation and control in PROLOG
@@ Property / cites work: Negation and control in PROLOG / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering conjunctive queries
@@ Property / cites work: Ordering conjunctive queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798013
@@ Property / cites work: Q4798013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4338854
@@ Property / cites work: Q4338854 / rank @@
+Normal rank