Beschreibung
InhaltsangabeKnowledge representation: Features of knowledge.- Deduction and computation.- An introduction to automated deduction.- Fundamental mechanisms in machine learning and inductive inference.- Methods of automated reasoning.- Term rewriting as a basis for the design of a functional and parallel programming language.- Concurrent Prolog: A progress report.