Logic Programming '88

Logic Programming '88
Author :
Publisher : Springer Science & Business Media
Total Pages : 268
Release :
ISBN-10 : 354051564X
ISBN-13 : 9783540515647
Rating : 4/5 (647 Downloads)

Book Synopsis Logic Programming '88 by : Koichi Furukawa

Download or read book Logic Programming '88 written by Koichi Furukawa and published by Springer Science & Business Media. This book was released on 1989-09-06 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.


Logic Programming '88 Related Books

Logic Programming '88
Language: en
Pages: 268
Authors: Koichi Furukawa
Categories: Computers
Type: BOOK - Published: 1989-09-06 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successo
AI '88
Language: en
Pages: 476
Authors: Christopher J. Barter
Categories: Computers
Type: BOOK - Published: 1990-03-07 - Publisher: Springer Science & Business Media

GET EBOOK

The broad objective of this conference series is to bring business, industry and researchers together to consider the current activities and future potential of
Logic Programming and Databases
Language: en
Pages: 295
Authors: Stefano Ceri
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

The topic of logic programming and databases. has gained in creasing interest in recent years. Several events have marked the rapid evolution of this field: the
LOGLAN '88 - Report on the Programming Language
Language: en
Pages: 150
Authors: Antoni Kreczmar
Categories: Computers
Type: BOOK - Published: 1990-03-07 - Publisher: Springer Science & Business Media

GET EBOOK

LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objec
Logic Programming
Language: en
Pages: 533
Authors: Catuscia Palamidessi
Categories: Computers
Type: BOOK - Published: 2003-11-25 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003. The