Fundamentals of artificial intelligence
Book
·
OSTI ID:6679556
This book covers the following topics: knowledge representation; features of knowledge; knowledge processing; deduction and computation; an introduction to automated deduction; fundamental mechanisms in machine learning and inductive inference; methods of automated reasoning; knowledge programming; term rewriting as a basis for the design of a functional and parallel programming language; a case study: the language FP2; and concurrent PROLOG: a progress report.
- OSTI ID:
- 6679556
- Country of Publication:
- United States
- Language:
- English
Similar Records
Readings in artificial intelligence and software engineering
Logical foundations of artificial intelligence
Artificial Intelligence
Book
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6701046
Logical foundations of artificial intelligence
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:5733978
Artificial Intelligence
Book
·
Mon Dec 31 23:00:00 EST 1984
·
OSTI ID:5653001