| A Portrait of a Scientist as a Computational Logician / Maurice Bruynooghe ; Luís Moniz Pereira ; Jörg H. Siekmann ; Maarten van Emden |
| Bob Kowalski: A Portrait / Marek Sergot |
| Directions for Logic Programming / Robert A. Kowalski |
| Logic Programming Languages / I： |
| Agents as Multi-threaded Logical Objects / Keith Clark ; Peter J. Robinson |
| Logic Programming Languages for the Internet / Andrew Davison |
| Higher-Order Computational Logic / John W. Lloyd |
| A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language / Kazunori Ueda |
| Program Derivation and Properties / II： |
| Transformation Systems and Nondeclarative Properties / Annalisa Bossi ; Nicoletta Cocco ; Sandro Etalle |
| Acceptability with General Orderings / Danny De Schreye ; Alexander Serebrenik |
| Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach / Gopal Gupta ; Enrico Pontelli |
| Negation as Failure through Abduction: Reasoning about Termination / Paolo Mancarella ; Dino Pedreschi ; Salvatore Ruggieri |
| Program Derivation = Rules + Strategies / Alberto Pettorossi ; Maurizio Proietti |
| Software Development / III： |
| Achievements and Prospects of Program Synthesis / Pierre Flener |
| Logic for Component-Based Software Development / Kung-Kiu Lau ; Mario Ornaghi |
| Patterns for Prolog Programming / Leon Sterling |
| Extensions of Logic Programming / IV： |
| Abduction in Logic Programming / Mark Denecker ; Antonis Kakas |
| Learning in Clausal Logic: A Perspective on Inductive Logic Programming / Peter Flach ; Nada Lavrač |
| Disjunctive Logic Programming: A Survey and Assessment / Jack Minker ; Dietmar Seipel |
| Constraint Logic Programming / Mark Wallace |
| Applications in Logic / V： |
| Planning Attacks to Security Protocols: Case Studies in Logic Programming / Luigia Carlucci Aiello ; Fabio Massacci |
| Multiagent Compromises, Joint Fixpoints, and Stable Models / Francesco Buccafurri ; Georg Gottlob |
| Error-Tolerant Agents / Thomas Eiter ; Viviana Mascardi ; V.S. Subrahmanian |
| Logic-Based Hybrid Agents / Christoph G. Jung ; Klaus Fischer |
| Heterogeneous Scheduling and Rotation / Thomas Sjöland ; Per Kreuger ; Martin Aronsson |
| Author Index |
| Logic in Databases and Information Integration / VI： |
| MuTACLP: A Language for Temporal Reasoning with Multiple Theories / Paolo Baldan ; Alessandra Raffaetà ; Franco Turini |
| Description Logics for Information Integration / Diego Calvanese ; Giuseppe De Giacomo ; Maurizio Lenzerini |
| Search and Optimization Problems in Datalog / Sergio Greco ; Domenico Saccà |
| The Declarative Side of Magic / Paolo Mascellani |
| Key Constraints and Monotonic Aggregates in Deductive Databases / Carlo Zaniolo |
| Automated Reasoning / VII： |
| A Decidable CLDS for Some Propositional Resource Logics / Krysia Broda |
| A Critique of Proof Planning / Alan Bundy |
| A Model Generation Based Theorem Prover MGTP for First-Order Logic / Ryuzo Hasegawa ; Hiroshi Fujita ; Miyuki Koshimura ; Yasuyuki Shirai |
| A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory / Eugenio G. Omodeo ; Jacob T. Schwartz |
| An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure / Jörg Siekmann ; Graham Wrightson |
| Non-deductive Reasoning / VIII： |
| Meta-reasoning: A Survey / Stefania Costantini |
| Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning / Phan Minh Dung ; Francesca Toni |
| Automated Abduction / Katsumi Inoue |
| The Role of Logic in Computational Models of Legal Argument: A Critical Survey / Henry Prakken ; Giovanni Sartor |
| Logic for Action and Change / IX： |
| Logic Programming Updating - A Guided Approach / José Júlio Alferes |
| Representing Knowledge in A-Prolog / Michael Gelfond |
| Some Alternative Formulations of the Event Calculus / Rob Miller ; Murray Shanahan |
| Logic, Language, and Learning / X： |
| Issues in Learning Language in Logic / James Cussens |
| On Implicit Meanings / Veronica Dahl |
| Data Mining as Constraint Logic Programming / Luc De Raedt |
| DCGs: Parsing as Deduction? / Chris Mellish |
| Statistical Abduction with Tabulation / Taisuke Sato ; Yoshitaka Kameya |
| Computational Logic and Philosophy / XI： |
| Logicism and the Development of Computer Science / Donald Gillies |
| Simply the Best: A Case for Abduction / Stathis Psillos |
| A Portrait of a Scientist as a Computational Logician / Maurice Bruynooghe ; Luís Moniz Pereira ; Jörg H. Siekmann ; Maarten van Emden |
| Bob Kowalski: A Portrait / Marek Sergot |
| Directions for Logic Programming / Robert A. Kowalski |
| Logic Programming Languages / I： |
| Agents as Multi-threaded Logical Objects / Keith Clark ; Peter J. Robinson |
| Logic Programming Languages for the Internet / Andrew Davison |
