Computational Logic Pt. I : Logic Programming and Beyond - Essays in Honor of Robert A. Kowalski,9783540439592

Computational Logic Pt. I : Logic Programming and Beyond - Essays in Honor of Robert A. Kowalski

by ;
ISBN13: 9783540439592
ISBN10: 3540439595
Format: Paperback
Pub. Date: 2002-08-01
Publisher(s): Springer Verlag
List Price: $166.95

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$35.64
Online:60 Days access
Downloadable:60 Days
$47.52
Online:90 Days access
Downloadable:90 Days
$59.40
Online:120 Days access
Downloadable:120 Days
$71.28
Online:180 Days access
Downloadable:180 Days
$77.22
Online:1825 Days access
Downloadable:Lifetime Access
$118.80
*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.
$77.22*
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $113.65

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contributions of computational logic to databases and artificial intelligence with particular emphasis on automated reasoning, reasoning about actions and change, natural languages, and learning.Together with its companion volume, LNAI 2408, this book commemorates the 60th birthday of Bob Kowalski as one of the founders of and contributors to computational logic.

Table of Contents

A Portrait of a Scientist as a Computational Logician
1(4)
Maurice Bruynooghe
Luis Moniz Pereira
Jorg H. Siekmann
Maarten van Emden
Bob Kowalski: A Portrait
5(21)
Marek Sergot
Directions for Logic Programming
26(7)
Robert A. Kowalski
I Logic Programming Languages
Agents as Multi-threaded Logical Objects
33(33)
Keith Clark
Peter J. Robinson
Logic Programming Languages for the Internet
66(39)
Andrew Davison
Higher-Order Computational Logic
105(33)
John W. Lloyd
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
138(24)
Kazunori Ueda
II Program Derivation and Properties
Transformation Systems and Nondeclarative Properties
162(25)
Annalisa Bossi
Nicoletta Cocco
Sandro Etalle
Acceptability with General Orderings
187(24)
Danny De Schreye
Alexander Serebrenik
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
211(29)
Gopal Gupta
Enrico Pontelli
Negation as Failure through Abduction: Reasoning about Termination
240(33)
Paolo Mancarella
Dino Pedreschi
Salvatore Ruggieri
Program Derivation = Rules + Strategies
273(37)
Alberto Pettorossi
Maurizio Proietti
III Software Development
Achievements and Prospects of Program Synthesis
310(37)
Pierre Flener
Logic for Component-Based Software Development
347(27)
Kung-Kiu Lau
Mario Ornaghi
Patterns for Prolog Programming
374(28)
Leon Sterling
IV Extensions of Logic Programming
Abduction in Logic Programming
402(35)
Mark Denecker
Antonis Kakas
Learning in Clausal Logic: A Perspective on Inductive Logic Programming
437(35)
Peter Flach
Nada Lavrac
Disjunctive Logic Programming: A Survey and Assessment
472(40)
Jack Minker
Dietmar Seipel
Constraint Logic Programming
512(21)
Mark Wallace
V Applications in Logic
Planning Attacks to Security Protocols: Case Studies in Logic Programming
533(28)
Luigia Carlucci Aiello
Fabio Massacci
Multiagent Compromises, Joint Fixpoints, and Stable Models
561(25)
Francesco Buccafurri
Georg Gottlob
Error-Tolerant Agents
586(40)
Thomas Eiter
Viviana Mascardi
V.S. Subrahmanian
Logic-Based Hybrid Agents
626(29)
Christoph G. Jung
Klaus Fischer
Heterogeneous Scheduling and Rotation
655(22)
Thomas Sjoland
Per Kreuger
Martin Aronsson
Author Index 677
VI Logic in Databases and Information Integration
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
1(40)
Paolo Baldan
Paolo Mancarella
Alessandra Raffaeta
Franco Turini
Description Logics for Information Integration
41(20)
Diego Calvanese
Giuseppe De Giacomo
Maurizio Lenzerini
Search and Optimization Problems in Datalog
61(22)
Sergio Greco
Domenico Sacca
The Declarative Side of Magic
83(26)
Paolo Mascellani
Dino Pedreschi
Key Constraints and Monotonic Aggregates in Deductive Databases
109(26)
Carlo Zaniolo
VII Automated Reasoning
A Decidable CLDS for Some Propositional Resource Logics
135(25)
Krysia Broda
A Critique of Proof Planning
160(18)
Alan Bundy
A Model Generation Based Theorem Prover MGTP for First-Order Logic
178(36)
Ryuzo Hasegawa
Hiroshi Fujita
Miyuki Koshimura
Yasuyuki Shirai
A `Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory
214(17)
Eugenio G. Omodeo
Jacob T. Schwartz
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure
231(22)
Jorg Siekmann
Graham Wrightson
VIII Non-deductive Reasoning
Meta-reasoning: A Survey
253(36)
Stefania Costantini
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
289(22)
Phan Minh Dung
Paolo Mancarella
Francesca Toni
Automated Abduction
311(31)
Katsumi Inoue
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
342(40)
Henry Prakken
Giovanni Sartor
IX Logic for Action and Change
Logic Programming Updating - A Guided Approach
382(31)
Jose Julio Alferes
Luis Moniz Pereira
Representing Knowledge in A-Prolog
413(39)
Michael Gelfond
Some Alternative Formulations of the Event Calculus
452(39)
Rob Miller
Murray Shanahan
X Logic, Language, and Learning
Issues in Learning Language in Logic
491(15)
James Cussens
On Implicit Meanings
506(20)
Veronica Dahl
Data Mining as Constraint Logic Programming
526(22)
Luc De Raedt
DCGs: Parsing as Deduction?
548(19)
Chris Mellish
Statistical Abduction with Tabulation
567(21)
Taisuke Sato
Yoshitaka Kameya
XI Computational Logic and Philosophy
Logicism and the Development of Computer Science
588(17)
Donald Gillies
Simply the Best: A Case for Abduction
605(22)
Stathis Psillos
Author Index 627

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.