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

by Kakas, Antonis C.; Sadri, Fariba

• ISBN13: 9783540439592
• ISBN10: 3540439595
• Format: Paperback
• Copyright: 2002-08-01
• Publisher: Springer Verlag

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