Extensions of Logic Programming

Extensions of Logic Programming
Author :
Publisher : Springer Science & Business Media
Total Pages : 386
Release :
ISBN-10 : 354055498X
ISBN-13 : 9783540554981
Rating : 4/5 (8X Downloads)

Book Synopsis Extensions of Logic Programming by : Lars-Henrik Eriksson

Download or read book Extensions of Logic Programming written by Lars-Henrik Eriksson and published by Springer Science & Business Media. This book was released on 1992-05-20 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as LNCS 475. The third workshop will be held in Bologna in 1992.


Extensions of Logic Programming Related Books

Extensions of Logic Programming
Language: en
Pages: 376
Authors: Roy Dyckhoff
Categories: Computers
Type: BOOK - Published: 1994-05-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University
Extensions of Logic Programming
Language: en
Pages: 376
Authors: Peter Schroeder-Heister
Categories: Computers
Type: BOOK - Published: 1991-02-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Lan
Extensions of Logic Programming
Language: en
Pages: 386
Authors: Lars-Henrik Eriksson
Categories: Computers
Type: BOOK - Published: 1992-05-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Comput
Extensions of Logic Programming
Language: en
Pages: 436
Authors: Evelina Lamma
Categories: Computers
Type: BOOK - Published: 1993-02-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both the
Extensions of First-Order Logic
Language: en
Pages: 414
Authors: Maria Manzano
Categories: Computers
Type: BOOK - Published: 1996-03-29 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

An introduction to many-sorted logic as an extension of first-order logic.