Publication:4747542
From MaRDI portal
zbMath0509.68087MaRDI QIDQ4747542
No author found.
Publication date: 1981
68T99: Artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68T50: Natural language processing
68Txx: Artificial intelligence
Related Items
A neural nets expert system, A general search algorithm for cell formation in group technology, A music notation construction engine for optical music recognition, Branch and Win: OR tree search algorithms for solving combinatorial optimisation problems., Artificial intelligence. Debates about its use and abuse, Generalized fuzzy sets and representation of incomplete knowledge, Human system interface concerns in support system design, Ordering conjunctive queries, Uses of artificial intelligence in design optimization, Depth-first iterative-deepening: An optimal admissible tree search, Game tree searching by min/max approximation, Heuristic embodiment of evidence - Evaluation of the credibility of hypothesized causes, Semantics of production systems, Explaining evidential analyses, Semantic networks, Electronic circuit diagnostic expert systems - a survey, Iterative versionspaces, Combinatorial optimization techniques for spacecraft scheduling automation, An overview of the Tecton proof system, Genetic search with dynamic operating disciplines, Solving problems with automated reasoning, expert systems and neural networks, The use of domain decomposition genetic algorithms exploiting model reduction for the design of frequency selective surfaces, Strategies of node selection in search procedures for solving combinatorial optimization problems: A survey and a general formalization, Automated merging of conflicting knowledge bases, using a consistent, majority-rule approach with knowledge-form maintenance, Future paths for integer programming and links to artificial intelligence, Knowledge-based systems for cutting stock problems, Assessing the software crisis: Why information systems are beyond control, Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks, Stochastic Decision Theory
