8th International Conference on Automated Deduction
Title | 8th International Conference on Automated Deduction PDF eBook |
Author | |
Publisher | |
Pages | 708 |
Release | 1986 |
Genre | |
ISBN |
Proceedings
Title | Proceedings PDF eBook |
Author | IEEE Computer Society |
Publisher | Washington, D.C. : Computer Society Press of the IEEE |
Pages | 378 |
Release | 1987 |
Genre | Logic circuits |
ISBN |
... International Conference on Automated Deduction
Title | ... International Conference on Automated Deduction PDF eBook |
Author | International Conference on Automated Deduction |
Publisher | |
Pages | 0 |
Release | |
Genre | |
ISBN | 9780387167800 |
Problem-Solving Methods
Title | Problem-Solving Methods PDF eBook |
Author | Dieter Fensel |
Publisher | Springer |
Pages | 161 |
Release | 2003-05-15 |
Genre | Computers |
ISBN | 3540449361 |
Researchers in Artificial Intelligence have traditionally been classified into two categories: the “neaties” and the “scruffies”. According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and theorems, but which are of little or no use when tackling real-world problems. The scruffies are described (by the neaties) as those researchers who build superficially impressive systems that may perform extremely well on one particular case study, but whose properties and underlying theories are hidden in their implementation, if they exist at all. As a life-long, non-card-carrying scruffy, I was naturally a bit suspicious when I first started collaborating with Dieter Fensel, whose work bears all the formal hallmarks of a true neaty. Even more alarming, his primary research goal was to provide sound, formal foundations to the area of knowledge-based systems, a traditional stronghold of the scruffies - one of whom had famously declared it “an art”, thus attempting to place it outside the range of the neaties (and to a large extent succeeding in doing so).
The Cumulative Book Index
Title | The Cumulative Book Index PDF eBook |
Author | |
Publisher | |
Pages | 2056 |
Release | 1988 |
Genre | American literature |
ISBN |
Cumulative Book Index
Title | Cumulative Book Index PDF eBook |
Author | |
Publisher | |
Pages | 2056 |
Release | 1988 |
Genre | American literature |
ISBN |
A world list of books in the English language.
Energy Research Abstracts
Title | Energy Research Abstracts PDF eBook |
Author | |
Publisher | |
Pages | 940 |
Release | 1986 |
Genre | Power resources |
ISBN |