The following pages link to (Q4747542):
Displaying 30 items.
- Branch and Win: OR tree search algorithms for solving combinatorial optimisation problems. (Q703298) (← links)
- Artificial intelligence. Debates about its use and abuse (Q802535) (← links)
- Generalized fuzzy sets and representation of incomplete knowledge (Q922550) (← links)
- Human system interface concerns in support system design (Q1055729) (← links)
- Ordering conjunctive queries (Q1060862) (← links)
- Uses of artificial intelligence in design optimization (Q1061559) (← links)
- Depth-first iterative-deepening: An optimal admissible tree search (Q1062761) (← links)
- Game tree searching by min/max approximation (Q1096402) (← links)
- Heuristic embodiment of evidence - Evaluation of the credibility of hypothesized causes (Q1108063) (← links)
- Semantics of production systems (Q1110314) (← links)
- Explaining evidential analyses (Q1123643) (← links)
- Semantic networks (Q1202620) (← links)
- Electronic circuit diagnostic expert systems - a survey (Q1262111) (← links)
- Iterative versionspaces (Q1337690) (← links)
- Combinatorial optimization techniques for spacecraft scheduling automation (Q1339156) (← links)
- An overview of the Tecton proof system (Q1341710) (← links)
- Genetic search with dynamic operating disciplines (Q1342112) (← links)
- Solving problems with automated reasoning, expert systems and neural networks (Q1366217) (← links)
- The use of domain decomposition genetic algorithms exploiting model reduction for the design of frequency selective surfaces (Q1574410) (← links)
- Strategies of node selection in search procedures for solving combinatorial optimization problems: A survey and a general formalization (Q1592632) (← links)
- Automated merging of conflicting knowledge bases, using a consistent, majority-rule approach with knowledge-form maintenance (Q1777157) (← links)
- Future paths for integer programming and links to artificial intelligence (Q1821034) (← links)
- Knowledge-based systems for cutting stock problems (Q1825760) (← links)
- Assessing the software crisis: Why information systems are beyond control (Q1894250) (← links)
- Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks (Q2368099) (← links)
- Stochastic Decision Theory (Q3415912) (← links)
- A neural nets expert system (Q4321691) (← links)
- A general search algorithm for cell formation in group technology (Q4394388) (← links)
- A music notation construction engine for optical music recognition (Q4806062) (← links)
- Parallel best-first branch-and-bound in discrete optimization: a framework (Q6560208) (← links)
