Abstract is missing.
- A Portrait of a Scientist as a Computational LogicianMaurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden. 1-4 [doi]
- Bob Kowalski: A PortraitMarek J. Sergot. 5-25 [doi]
- Directions for Logic ProgrammingRobert A. Kowalski. 26-32 [doi]
- Agents as Multi-threaded Logical ObjectsKeith L. Clark, Peter J. Robinson. 33-65 [doi]
- Logic Programming Languages for the InternetAndrew Davison. 66-104 [doi]
- Higher-Order Computational LogicJohn W. Lloyd. 105-137 [doi]
- A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint LanguageKazunori Ueda. 138-161 [doi]
- Transformation Systems and Nondeclarative PropertiesAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. 162-186 [doi]
- Acceptability with General OrderingsDanny De Schreye, Alexander Serebrenik. 187-210 [doi]
- Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based ApproachGopal Gupta, Enrico Pontelli. 211-239 [doi]
- Negation as Failure through Abduction: Reasoning about TerminationPaolo Mancarella, Dino Pedreschi, Salvatore Ruggieri. 240-272 [doi]
- Program Derivation = Rules + StrategiesAlberto Pettorossi, Maurizio Proietti. 273-309 [doi]
- Achievements and Prospects of Program SynthesisPierre Flener. 310-346 [doi]
- Logic for Component-Based Software DevelopmentKung-Kiu Lau, Mario Ornaghi. 347-373 [doi]
- Patterns for Prolog ProgrammingLeon Sterling. 374-401 [doi]
- Abduction in Logic ProgrammingMarc Denecker, Antonis C. Kakas. 402-436 [doi]
- Learning in Clausal Logic: A Perspective on Inductive Logic ProgrammingPeter A. Flach, Nada Lavrac. 437-471 [doi]
- Disjunctive Logic Programming: A Survey and AssessmentJack Minker, Dietmar Seipel. 472-511 [doi]
- Constraint Logic ProgrammingMark Wallace. 512-532 [doi]
- Planning Attacks to Security Protocols: Case Studies in Logic ProgrammingLuigia Carlucci Aiello, Fabio Massacci. 533-560 [doi]
- Multiagent Compromises, Joint Fixpoints, and Stable ModelsFrancesco Buccafurri, Georg Gottlob. 561-585 [doi]
- Error-Tolerant AgentsThomas Eiter, Viviana Mascardi, V. S. Subrahmanian. 586-625 [doi]
- Logic-Based Hybrid AgentsChristoph G. Jung, Klaus Fischer. 626-654 [doi]
- Heterogeneous Scheduling and RotationThomas Sjöland, Per Kreuger, Martin Aronsson. 655-676 [doi]