Condition: very good. Berlin & New York : Springer-Verlag, 1990. Paperback. viii, 307 pp. Library stamp. (Lecture notes in artificial intelligence ; 418. Lecture notes in computer science). - Natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning. - The aim of this book is to reflect the substantial research done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning. Condition : very good copy. ISBN 9783540523376. Keywords : COMPUTER SCIENCE, artificial intelligence (AI) knowledge-based systems natural language processing Logic programming.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Sorts and Types in Artificial Intelligence | Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings | Karl H. Bläsius (u. a.) | Taschenbuch | viii | Englisch | 1990 | Springer | EAN 9783540523376 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.