Logic Programming '89 Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

Logic Programming '89 Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learni...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Furukawa, Koichi (Editor), Tanaka, Hozumi (Editor), Fujisaki, Tetsunosuke (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991.
Edition:1st ed. 1991.
Series:Lecture Notes in Artificial Intelligence ; 485
Springer eBook Collection.
Subjects:
Artificial intelligence.
Computer programming.
Programming languages (Electronic computers).
Mathematical logic.
Natural language processing (Computer science).
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Human and machine learning of descriptive concepts
  • The classification and boundary problem
  • Semantics of non-monotonic reasoning based on perfect model
  • Time-bounded reasoning in first order knowledge base systems
  • Elementary formal system as a logic programming language
  • Debugger for a parallel logic programing language Fleng
  • Parallel generalized LR parser based on logic programming
  • Knowledge media station
  • cu-Prolog and its application to a JPSG parser
  • Table-driven Bottom Up Parser in Prolog
  • A consistency maintenance mechanism for subjective judgments and its application
  • Logic design assistance using temporal logic based language Tokio.

Similar Items