Automating reasoning in an implementation of constructive type theory
Automating reasoning in an implementation of constructive type theory
Metamathematical extensibility in type theory
Metamathematical extensibility in type theory
Three-dimensional object description and recognition using feature vector techniques
Three-dimensional object description and recognition using feature vector techniques
Modular denotational semantics in a robust natural language front-end to a relational database
Modular denotational semantics in a robust natural language front-end to a relational database
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Dis: an architecture for fast lisp execution
Dis: an architecture for fast lisp execution
Design of a knowledge based generic control protocol generator for automatic assembly operations
Design of a knowledge based generic control protocol generator for automatic assembly operations
Distributed resource management: garbage collection
Distributed resource management: garbage collection
Aspects of the analytical formulation and applicability of a three-dimensional shape descriptor function
Representation and recognition of objects from dense range maps
Representation and recognition of objects from dense range maps
Garbage collection for functional languages in a distributed system
Garbage collection for functional languages in a distributed system
Knowledge-based automatic network modelling
Knowledge-based automatic network modelling
Distributed processing for multiresolution dynamic scene analysis
Distributed processing for multiresolution dynamic scene analysis
Identification and control of time-varying flexible structures: an artificial intelligence approach
Identification and control of time-varying flexible structures: an artificial intelligence approach
An expert system model of organizational climate and performance
An expert system model of organizational climate and performance
Integrated processing in planning and understanding
Integrated processing in planning and understanding
Case-based planning: an integrated theory of planning, learning and memory
Case-based planning: an integrated theory of planning, learning and memory
Apprenticeship learning techniques for knowledge based systems
Apprenticeship learning techniques for knowledge based systems
Robot assembly of jig-saw puzzle pieces
Robot assembly of jig-saw puzzle pieces
Path generation for welding robot: an application of geometric modeling system
Path generation for welding robot: an application of geometric modeling system
Robotic adaptive grasping based on vision and tactile sensor data
Robotic adaptive grasping based on vision and tactile sensor data
Learning problem solving strategies using refinement and macro generation
Learning problem solving strategies using refinement and macro generation
Generating natural language under pragmatic constraints
Generating natural language under pragmatic constraints
Plan creation: using strategies as blueprints
Plan creation: using strategies as blueprints
Reasoning about the temporal structure of narratives
Reasoning about the temporal structure of narratives
Control and task planning for a four finger dextrous manipulator
Control and task planning for a four finger dextrous manipulator
Intelligent systems design: the development of a framework and empirical assessment of knowledge presentation and reasoning in an expert system interface
An analyzer for the information content of sentences (semantics)
An analyzer for the information content of sentences (semantics)
A predicate/transition net model for horn clause logic programs
A predicate/transition net model for horn clause logic programs
Stereo vision: structural correspondence and curved surface reconstruction
Stereo vision: structural correspondence and curved surface reconstruction
Edge detection and line-drawing interpretation
Edge detection and line-drawing interpretation
A hardware-intended implementation of prolog featuring a general solution to the clause indexing problem
A model of mental image generation and manipulation
A model of mental image generation and manipulation
A robotic language for cooperative multi-robots
A robotic language for cooperative multi-robots
Lambda-equational logic programming
Lambda-equational logic programming
A constellation matching algorithm: with applications to machine vision
A constellation matching algorithm: with applications to machine vision
Motion planning with obstacles and dynamic constraints (robotics)
Motion planning with obstacles and dynamic constraints (robotics)
A programmable interactive automated deduction system for propositional logic
A programmable interactive automated deduction system for propositional logic
Intensional reasoning about knowledge (artificial intelligence)
Intensional reasoning about knowledge (artificial intelligence)
Multiobjective intelligent computer-aided design
Multiobjective intelligent computer-aided design
Computational geometry in motion planning
Computational geometry in motion planning
Amalgamating functional and relational programming through the use of equality axioms
Amalgamating functional and relational programming through the use of equality axioms
Menuda: a knowledge-based menu design expert system
Menuda: a knowledge-based menu design expert system
Semantics for coordinated substitution grammars as implemented in prolog
Semantics for coordinated substitution grammars as implemented in prolog
Multi-level structures for natural language processing
Multi-level structures for natural language processing
The use of color in computational vision
The use of color in computational vision
Computational vision algorithms for synthetic aperture radar imagery
Computational vision algorithms for synthetic aperture radar imagery
A hierarchical knowledge based system for airplane recognition
A hierarchical knowledge based system for airplane recognition
Off-line computer-aided path planning system for an arc-welding robot
Off-line computer-aided path planning system for an arc-welding robot
Coupling numeric and symbolic computing for soil erosion modeling
Coupling numeric and symbolic computing for soil erosion modeling
The selection decision for microcomputer general ledger software: an investigation using a knowledge-based system
Control of reasoning in knowledge-based systems
Control of reasoning in knowledge-based systems
Decidable, logic-based knowledge representation
Decidable, logic-based knowledge representation
An expert system for the selection of welding parameters for gas metal arc welding
An expert system for the selection of welding parameters for gas metal arc welding
Physical design and query compilation for a semantic data model (assuming memory residence)
Physical design and query compilation for a semantic data model (assuming memory residence)
Hypothesis-confirming information search strategies and computerized information retrieval systems
Hypothesis-confirming information search strategies and computerized information retrieval systems
Artificial intelligence in quantum intramolecular dynamics with application to a heavy central mass problem
A differential method for reasoning by analogy
A differential method for reasoning by analogy
Polygon overlay in prolog
Constructive negation in logic programs
Constructive negation in logic programs
Thermodynamicist: an expert system approach to fluid-fluid equilibria
Thermodynamicist: an expert system approach to fluid-fluid equilibria
A qualitative matching scheme for postulating enzyme kinetic models and experimental conditions: reasoning with constraints
Representing high-level knowledge structures in massively parallel networks
Representing high-level knowledge structures in massively parallel networks
Qualitative kinematics in mechanisms
Qualitative kinematics in mechanisms
Intelligent feedback control for flexible manufacturing systems
Intelligent feedback control for flexible manufacturing systems
An evaluation of online database selection by a gateway system with artificial intelligence techniques
Look: implementation of an expert system in information retrieval for database selection
Look: implementation of an expert system in information retrieval for database selection
Floor planning and global routing in an automated chip design system
Floor planning and global routing in an automated chip design system
Prolog and expert systems
Rule-based circuit optimization for cmos vlsi
Rule-based circuit optimization for cmos vlsi
An expert system for vlsi layout
An expert system for vlsi layout
The computer simulation of syllogism solving using restricted mental models
The computer simulation of syllogism solving using restricted mental models
A timescale estimating model for rule-based systems
A timescale estimating model for rule-based systems
Real-time path planning for robot arms
Real-time path planning for robot arms
Encompass: an environment for incremental software development using executable, logic-based specifications
Pi-fuzzy logic (and its application to open-world inference)
Pi-fuzzy logic (and its application to open-world inference)
Pi-fuzzy logic (and its application to open-world inference)
Pi-fuzzy logic (and its application to open-world inference)
Constructive negation in logic programs
Constructive negation in logic programs
Fault-detection and rectification algorithms in a question-answering system
Fault-detection and rectification algorithms in a question-answering system
On motion planning and control of multi-link lightweight robotic manipulators
On motion planning and control of multi-link lightweight robotic manipulators
| 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.Unless otherwise specified, paper or microform copies of dissertations may be ordered from University Microfilms International, Dissertation Copies, Post Office Box 1764, Ann Arbor, MI 48106; telephone for U.S. (except Michigan, Hawaii, Alaska): 1-800-521-3042, for Canada: 1-800-268-6090. Price lists and other ordering and shipping information are in the introduction to the published DAI.