scientific article

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

control matching automated reasoning knowledge representation search image understanding vision natural language understanding constraint exploitation goal reduction

Mathematics Subject Classification ID

Searching and sorting (68P10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Information storage and retrieval of data (68P20) Natural language processing (68T50) Artificial intelligence (68Txx)

Related Items

Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs, Richard Bellman's contributions to computer science, Spoke contour conversion for coverage diagrams, Local consistency in parallel constraint satisfaction networks, Variable precision logic, Applied heuristic optimal control, On the parallel complexity of discrete relaxation in constraint satisfaction networks, A dynamic systems perspective on qualitative simulation, On-line 2-satisfiability, On multiple moving objects, Constraint satisfaction from a deductive viewpoint, Problems in formal temporal reasoning, Recognition of general patterns using neural networks, A formal language description and inference strategy for analog circuit design, The complexity of recognizing polyhedral scenes, A new technique for the solution of the Saha equation, A rule-learning program in high energy physics event classification, Note on a six-valued extension of three-valued logic, Exact time evolution methods for large bound systems, Chronological ignorance: Experiments in nonmonotonic temporal reasoning, Model-based generation of knowledge for autonomous systems, Computational approaches to analogical reasoning: A comparative analysis, Integrating artificial and psychophysical approaches for boundary finding in line drawings, Qualitative and quantitative simulation: bridging the gap, On detection of lines using search techniques and list processing, Control of constrained discrete time linear systems using quantized controls, Replacing unification by constraint satisfaction to improve logic program expressiveness, Estimating semantic content: An A priori approach, Representing knowledge about linear programming formulation, The \(Multi\)-SAT algorithm, Decision trees and neural networks for reasoning and knowledge acquisition for autonomous agents, Artificial intelligence techniques: An introduction to their use for modelling environmental systems, An interactive procedure for learning about preferences: Case study of a portfolio manager, Strategies, model checking and branching-time properties in Maude, An insight into the Expert-Seisd: A knowledge based system for structural design, A Bayesian network approach to making inferences in causal maps, Netl and subsequent path-based inheritance theories, Distributed expert systems for queueing network capacity planning, Unfolding sheet metal parts: a graph-based approach, Automated merging of conflicting knowledge bases, using a consistent, majority-rule approach with knowledge-form maintenance, Analysis of the interaction between edge and line finding techniques, Information tradeoffs in model building: A network routing application, Heuristically enhanced feedback control of constrained systems: The minimum time case, Electronic circuit diagnostic expert systems - a survey, Heuristically enhanced feedback control of constrained discrete-time linear systems, Future paths for integer programming and links to artificial intelligence, Depth-first iterative-deepening: An optimal admissible tree search