The design and analysis of parallel adaptive algorithms for composite decision processes (information, search, intelligence)
Learning and problem-solving with multilayer connectionist systems (adaptive, strategy learning, neural networks, reinforcement learning)
A neural network model of frog retina: a discrete time-space approach
A neural network model of frog retina: a discrete time-space approach
Planpower, xcon, and mudman: an indepth analysis into three commercial expert systems in use (artificial intelligence, software)
The semantics of destructive lisp (side-effects)
The semantics of destructive lisp (side-effects)
Intelligent decision support systems for business applications: with an example of portfolio management decision-making
Mechanization of data model design: a petri net based approach for learning
Mechanization of data model design: a petri net based approach for learning
Input transformations and resolution implementation techniques for theorem proving in first-order logic (clause form, discrimination networks, heuristic search, locking resolution)
An expert system for providing on-line information based on knowledge of individual user characteristics
Integration, coordination and control of multi-sensor robot systems (sensors, robotics)
Integration, coordination and control of multi-sensor robot systems (sensors, robotics)
Geotox: a knowledge-based surrogate consultant for evaluating waste disposal sites
Geotox: a knowledge-based surrogate consultant for evaluating waste disposal sites
Maintaining current status in a time-constrained knowledge-based system characterized by continuously incoming temporal data (truth maintenance, real-time)
Rhetoric and the search for externally stored knowledge: toward a computer age art of research
Rhetoric and the search for externally stored knowledge: toward a computer age art of research
Rs: a formal model of distributed computation for sensory-based robot control (temporal logic, concurrent programming)
The automated discovery of universal theories (induction, identification, artificial intelligence, logic)
Foundations of logic programming with equality
Foundations of logic programming with equality
Attributed hypergraph representation and recognition of 3-d objects for computer vision
Attributed hypergraph representation and recognition of 3-d objects for computer vision
Manufacturing generative process planning with relational productions system in artificial intelligence
All the right moves: a vlsi architecture for chess
All the right moves: a vlsi architecture for chess
Semantic networks as abstract data types
Semantic networks as abstract data types
Constraint propagation in a pathophysiologic causal network
Constraint propagation in a pathophysiologic causal network
A computational model of reasoning from the clinical literature (medical management)
A computational model of reasoning from the clinical literature (medical management)
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel
Temporal logics for reasoning under fairness assumptions (mechanical verification, decision procedures)
Knowledge based modelling support for linear programming (artificial intelligence)
Knowledge based modelling support for linear programming (artificial intelligence)
Extraction of perceptual structure in dot patterns (vision, voronoi, clustering)
Extraction of perceptual structure in dot patterns (vision, voronoi, clustering)
Jetr: a robust machine translation system (artificial intelligence, natural language processing, japanese)
Pyramid vision: using key features and evidential reasoning
Pyramid vision: using key features and evidential reasoning
Adaptive information retrieval: machine learning in associative networks (connectionist, free-text, browsing, feedback)
Inexact reasoning in an inductive learning environment (expert systems, uncertainty)
Inexact reasoning in an inductive learning environment (expert systems, uncertainty)
Intelligent computer-aided instruction in statics
Intelligent computer-aided instruction in statics
Seek-whence: a model of pattern perception (artificial intelligence, induction, sequences, concept representation)
A formal description and theory of knowledge representation methodologies (artificial intelligence)
A formal description and theory of knowledge representation methodologies (artificial intelligence)
Afd: a knowledge based approach to automated forging design (computer-aided design, expert systems, pattern recognition)
Hi-index | 0.00 |
The following are citations selected by title and abstract as being related to Al, 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. Reference 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.