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