Case-based reasoning: a computer model of subjective assessment
Case-based reasoning: a computer model of subjective assessment
Consolidation: a method for reasoning about the behavior of devices
Consolidation: a method for reasoning about the behavior of devices
Temporal imagery: an approach to reasoning about time for planning and problem solving
Temporal imagery: an approach to reasoning about time for planning and problem solving
An implementation of differentiation as a built-in function for a lambda-calculus graph-reduction machine
Experimentation with an adaptive search strategy for solving a keyboard design/configuration problem
Experimentation with an adaptive search strategy for solving a keyboard design/configuration problem
An object-oriented data model for managing computer-aided design and computer-aided manufacturing data bases
A unified representation of uncertainty
A unified representation of uncertainty
Combination and acquisition of conditional knowledge
Combination and acquisition of conditional knowledge
A planning model with problem analysis and operator hierarchy
A planning model with problem analysis and operator hierarchy
A solution to the deadlock problem using petri nets implemented in Prolog
A solution to the deadlock problem using petri nets implemented in Prolog
A VLSI architecture for concurrent data structures
A VLSI architecture for concurrent data structures
Refinement of expert system knowledge bases: a metalinguistic framework for heuristic analysis
Refinement of expert system knowledge bases: a metalinguistic framework for heuristic analysis
A methodological approach to a re-usable fuzzy expert system
A methodological approach to a re-usable fuzzy expert system
Integrating marker-passing and problem-solving: a spreading-activation approach to improved choice in planning
Generalized and/or graphs as a modeling tool for diagnostic problem solving
Generalized and/or graphs as a modeling tool for diagnostic problem solving
On interfacing HDL to knowledge bases
On interfacing HDL to knowledge bases
A logic-based programming system
A logic-based programming system
A programming language to support transformational refinement
A programming language to support transformational refinement
Adaptive self-organizing logic networks
Adaptive self-organizing logic networks
A non-cognitive formal approach to knowledge representation in artificial intelligence
A non-cognitive formal approach to knowledge representation in artificial intelligence
An equational approach to decision support systems
An equational approach to decision support systems
Automatic program debugging for intelligent tutoring systems
Automatic program debugging for intelligent tutoring systems
The consistent labeling problem and its algorithm: toward exact-case complexities and theory-based heuristics
A computational model of music transcription
A computational model of music transcription
On the construction of heuristic functions
On the construction of heuristic functions
GIL-an experiment in goal-directed inductive learning
GIL-an experiment in goal-directed inductive learning
Issues in theoretical and practical complexity for heuristic search algorithms
Issues in theoretical and practical complexity for heuristic search algorithms
Towards a natural language interface for computer aided design
Towards a natural language interface for computer aided design
A nonclausal inference method for program derivation
A nonclausal inference method for program derivation
Assignment of functional responsibility in perceptrons
Assignment of functional responsibility in perceptrons
An expert system for organic synthesis using automated reasoning
An expert system for organic synthesis using automated reasoning
Computer generation of meta-technical utterances in tutoring mathematics
Computer generation of meta-technical utterances in tutoring mathematics
Integrated optical motion detection
Integrated optical motion detection
A structured memory access architecture for LISP
A structured memory access architecture for LISP
The design and evaluation of a high performance SMALLTALK system
The design and evaluation of a high performance SMALLTALK system
Using object descriptions in a schema network for machine vision
Using object descriptions in a schema network for machine vision
A speech error correction algorithm for natural language input processing
A speech error correction algorithm for natural language input processing
Knowledge representation using linguistic fuzzy relations
Knowledge representation using linguistic fuzzy relations
Experiments in search and knowledge
Experiments in search and knowledge
On applying heterogeneous parallelism to elements of knowledge-based data management
On applying heterogeneous parallelism to elements of knowledge-based data management
Syntactic extensions in the programming language LISP
Syntactic extensions in the programming language LISP
On moving and orienting objects
On moving and orienting objects
Probabilistic inference: theory and practice
Probabilistic inference: theory and practice
Compiling queries in indefinite deductive databases under the generalized closed world assumption
Compiling queries in indefinite deductive databases under the generalized closed world assumption
An integration of decision tables and a relational database system into a Prolog environment
An integration of decision tables and a relational database system into a Prolog environment
Logic languages based on functions: semantics and implementation
Logic languages based on functions: semantics and implementation
Adaptive control of mechanical manipulators (robotics, learning, robustness)
Adaptive control of mechanical manipulators (robotics, learning, robustness)
Epilog: a parallel interpreter for logic programs
Epilog: a parallel interpreter for logic programs
Individualism and the cognitive sciences (tyler burge, psychology, prototype theory, artificial intelligence, david marr)
The ontology, syntax, and computability of deontic logic (artificial intelligence, automated reasoning, moral deliberation)
A maximum entropy method for expert system construction (monte carlo, recognition, partition function)
A low-level collision avoidance operation (robot, path-planning, manipulator, automatic guided vehicle)
3-d robot vision: acquisition and interpretation (graph theory, structured light, pile analysis, information theory, three-dimensional)
Vision for intelligent inspection and assembly: software tools and theory (image-processing, contour-tracing, flexible automation)
Off-line programming for model based sensor controlled robots (task plan, world model, object features)
A study of spatial models and human navigation within complex computer interfaces (online information, tutorials, computer-aided instruction (cai), cognitive models, programmed)
Image analysis of complex objects--a contribution to processing automation (inspection, x-ray, automatic)
Plexplan: an integrated intelligent environment for information systems planning (artificial intelligence)
Computer-aided diagnosis of organizational performance: an exploratory study (artificial intelligence)
Formalization and representation of expert systems
Formalization and representation of expert systems
Well log correlation using artificial intelligence (rule-based, expert system, computer-assisted)
Well log correlation using artificial intelligence (rule-based, expert system, computer-assisted)
A stereo model based on the mechanisms of human binocular vision
A stereo model based on the mechanisms of human binocular vision
Hi-index | 0.00 |
The following are citations selected by title and abstract as being related to AI, resulting from a computer search, using the BRS Information Technologies retrieval service, of the Dissertation Abstracts International (DAI) database produced by University Microfilms International.The online file includes abstracts, which are not published in this listing, but the citations below do include the DAI reference for finding the abstract in the published DAI. Other elements of the citation are author; university, degree, and, if available, number of pages; title; UM order number and year-month of DAI; and DAI subject category chosen by the author of the dissertation. References are sorted first by the initial DAI subject category and second by the author. In addition the database includes masters abstracts, denoted by MAI (Masters Abstracts International) instead of DAI as the reference to the abstract in the published MAI.