An Artificial Intelligence Approach to V
β Thaddeus J. Kowalski
π Library
π
1985
π Springer
π English
β¦ LIBER β¦
π
An Artificial Intelligence Approach to Test Generation
β Scribed by Narinder Singh (auth.)
- Publisher
- Springer US
- Year
- 1987
- Tongue
- English
- Leaves
- 201
- Series
- The Kluwer International Series in Engineering and Computer Science 19
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. As a teacher and a sounding board for new ideas, Mike was extremely helpful in pointing out Haws, and suggesting new directions to explore. I would also like to thank Harold Brown for introducing me to the application of artificial intelligence to reasoning about designs, and his many valuable comments as a reader of this thesis. Significant contribuΒ tions by the other members of my reading committee, Mark Horowitz, and Allen Peterson have greatly improved the content and organization of this thesis by forcing me to communicate my ideas more clearly. I am extremely grateful to the other members of the Logic Group at the Heuristic Programming Project for being a sounding board for my ideas, and providing useful comments. In particular, I would like to thank Matt Ginsberg, Vineet Singh, Devika Subramanian, Richard Trietel, Dave Smith, Jock Mackinlay, and Glenn Kramer for their pointed criticisms. This research was supported by Schlumberger Palo Alto Research (previously Fairchild Laboratory for Artificial Intelligence). I am grateful to Peter Hart, the former head of the AI lab, and his successor Marty Tenenbaum for providing an excellent environment for performing this research.
β¦ Table of Contents
Front Matter....Pages i-xiii
Introduction....Pages 1-17
Reformulation....Pages 19-66
General Representation and Reasoning....Pages 67-91
Test Generation....Pages 93-131
Conclusion....Pages 133-136
Back Matter....Pages 137-193
β¦ Subjects
Circuits and Systems;Artificial Intelligence (incl. Robotics);Electrical Engineering;Computer-Aided Engineering (CAD, CAE) and Design
π SIMILAR VOLUMES
An Artificial Intelligence Approach to V
β R. Joobbani
π Library
π
1985
π Springer
π English
An Artificial Intelligence Approach to L
β Gardner A.
π Library
π
1987
π MIT
π English
Law and legal reasoning are a natural target for artificial intelligence systems. Like medical diagnosis and other tasks for expert systems, legal analysis is a matter of interpreting data in terms of higher-level concepts. But in law the data are more like those for a system aimed at understanding
An Artificial Intelligence Approach to V
β Rostam Joobbani (auth.)
π Library
π
1985
π Springer US
π English
<p>Routing of VLSI chips is an important, time consuming, and difficult problem. The difficulty of the problem is attributed to the large number of often conflicting factors that affect the routing quality. Traditional techniques have approached routing by ignoring some of these factors and imposing
Knowledge Representation. An Approach to
β T. J. M. Bench-Capon (Auth.)
π Library
π
1990
π Elsevier Ltd, Academic Press
π English
Although many texts exist offering an introduction to artificial intelligence (AI), this book is unique in that it places an emphasis on knowledge representation (KR) concepts. It includes small-scale implementations in PROLOG to illustrate the major KR paradigms and their developments.****back cove
An Artificial Intelligence Approach to I
β Dr. Marwan A. Jabri (auth.)
π Library
π
1991
π Springer-Verlag Berlin Heidelberg
π English
<p>In 1984, while I was following his postgraduate course on VLSI design, my supervisor Dr. David Skellern, asked me if I was interested in investigating intelligent approaches to automatic Ie floorplanning. He told me then: "a circuit that works always looks nice, has a clever data and control flow