Overview
This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics.
- | Author: Jan Van Eijck
- | Publisher: Springer
- | Publication Date: Feb 26, 1991
- | Number of Pages: 569 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540536868
- | ISBN-13: 9783540536864