Logic Programming in Action

Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings

By: Gerard Comyn (Editor), Norbert E. Fuchs (Editor), Michael J. Ratcliffe (Editor)

Write A Review

Paperback | 25 August 1992

At a Glance

Paperback
340 Pages

Dimensions(cm)
23.39 x 15.6 x 1.8

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Object-Oriented Programming or OOP Artificial Intelligence Software Engineering Mathematics Mathematical Foundation Mathematical Logic Business & Management

Business Mathematics & Systems Graphical & Digital Media Applications

Theory and Practice in Logic Programming	p. 1
Constraint Logic Programming	p. 3
Scheduling and Optimisation in the Automobile Industry	p. 36
Factory Scheduling Using Finite Domains	p. 45
The Prince Project and Its Applications	p. 54
A (Gentle) Introduction to Deductive Databases	p. 64
Knowledge Based PPS Applications in PROTOS-L	p. 80
The SECReTS Banking Expert System from Phase 1 to Phase 2	p. 91
Logic Engineering and Clinical Dilemmas	p. 100
A Knowledge-Based Approach to Strategic Planning	p. 109
Expert Systems in Mining	p. 118
Natural and Formal Language Processing	p. 127
Pundit - Natural Language Interfaces	p. 176
The ESTEAM-316 Dialogue Manager	p. 186
Legislation as Logic Programs	p. 203
Knowledge Representation for Natural Language Processing	p. 231
A Set of Tools for VHDL Design	p. 242
Tutorial Notes: Reasoning About Logic Programs	p. 252
Software Formal Specification by Logic Programming: The Example of Standard Prolog	p. 278
The Art of Computer Un-Programming: Reverse Engineering in Prolog	p. 290
OPIUM - An Advanced Debugging System	p. 303
Automatic Theorem Proving Within the Portable AI Lab	p. 313
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Programming in Action

Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

Decoding Despair

How AI is Reshaping Psychiatry

Generative AI for Communications Systems

Fundamentals, Applications, and Prospects

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

AI for Business

A Guide to AI Adoption

The AI Cybersecurity Handbook

What Art Is Now

Creativity in the Age of AI

Agentic AI For Dummies

For Dummies (Computer/Tech)

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Audio Effects

Theory, Implementation and Application

Audio Effects

Theory, Implementation and Application

Handbook on Integrating Smart Technologies for Sustainable Development

Smart Technologies for Engineers and Scientists

Artificial Intelligence and Higher Education

The Impact of AI on Business Students Learning

Integrated Energy Systems with a Carnot Battery

A Pathway to Low-Carbon Energy Systems

This product is categorised by