The following pages link to (Q3856120):
Displayed 50 items.
- Explanation-based generalisation \(=\) partial evaluation (Q1109580) (← links)
- Semantics of production systems (Q1110314) (← links)
- INGRID: A graph invariant manipulator (Q1113914) (← links)
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler (Q1114446) (← links)
- \(BS^*:\) An admissible bidirectional staged heuristic search algorithm (Q1115210) (← links)
- Parallel depth first search. I: Implementation (Q1116343) (← links)
- Parallel depth first search. II: Analysis (Q1116344) (← links)
- An algorithmic approach to some problems in terrain navigation (Q1116366) (← links)
- Increasing search efficiency using multiple heuristics (Q1119028) (← links)
- Branch \& Sample: A simple strategy for constraint satisfaction (Q1123646) (← links)
- Exact solutions for constrained two-dimensional cutting problems (Q1127220) (← links)
- R \& D decision advisor: An interactive approach to normative decision system model construction (Q1129310) (← links)
- Probabilistic analysis of the complexity of A* (Q1146526) (← links)
- Theory construction in psychology: The interpretation and integration of psychological data (Q1157291) (← links)
- Knowledge versus search: a quantitative analysis using A* (Q1170890) (← links)
- Verisimilitude based on concept analysis (Q1174255) (← links)
- Properties of a class of trivalent network graphs and optimal routing (Q1179383) (← links)
- Bidirectional heuristic search with limited resources (Q1183503) (← links)
- Generalized best first search using single and multiple heuristics (Q1186365) (← links)
- Reduction rules for resolution-based systems (Q1187214) (← links)
- Reducing reexpansions in iterative-deepening search by controlling cutoff bounds (Q1187216) (← links)
- \(L_ 1\) shortest paths among polygonal obstacles in the plane (Q1188116) (← links)
- Robot motion planning with uncertainty in control and sensing (Q1190788) (← links)
- Effective use of memory in iterative deepening search (Q1198022) (← links)
- Fuzzy optimal search methods (Q1198859) (← links)
- Searching for partially ordered structures (Q1198877) (← links)
- On the complexity of blocks-world planning (Q1199914) (← links)
- Semantic networks (Q1202620) (← links)
- Electronic circuit diagnostic expert systems - a survey (Q1262111) (← links)
- Heuristic search in restricted memory (Q1263290) (← links)
- Inductive learning of search control rules for planning (Q1274272) (← links)
- On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning (Q1274559) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- Developing scheduling systems for Daewoo shipbuilding: DAS project (Q1278636) (← links)
- Artificial intelligence and human decision making (Q1278800) (← links)
- Network languages for complex systems (Q1309716) (← links)
- Distributed task assignment using critical path estimate (Q1310961) (← links)
- The inevitability of inconsistent abstract spaces (Q1311395) (← links)
- An exact algorithm for the constraint satisfaction problem: Application to logical inference (Q1313760) (← links)
- Backward fuzzy heuristic search algorithm FBHAO\(^*\) for fuzzy general and/or graph (Q1319457) (← links)
- Algorithms for searching explicit AND/OR graphs and their applications to problem reduction search (Q1321063) (← links)
- Translations of network languages (Q1324385) (← links)
- Computing definite logic programs by partial instantiation (Q1326778) (← links)
- The case for research in decision support systems (Q1328631) (← links)
- A unified framework for explanation-based generalization of partially ordered and partially instantiated plans (Q1329370) (← links)
- Partial-order planning: Evaluating possible efficiency gains (Q1329372) (← links)
- Automatically generating abstractions for planning (Q1332851) (← links)
- The computational complexity of propositional STRIPS planning (Q1337679) (← links)
- Multi-contributor causal structures for planning: A formalization and evaluation (Q1337681) (← links)
- An overview of transaction logic (Q1341707) (← links)