Abstract is missing.
- Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic ProgrammingKrzysztof R. Apt. 19-36
- Completeness in Abstract InterpretationPatrick Cousot. 37-38
- Logical Foundations for Multi-agent SystemsRobert A. Kowalski. 39-40
- On the Abstract Diagnosis of Logic ProgramsGiorgio Levi, Marco Comini, Giuliana Vitiello. 41-60
- Observations about Using Logic as a Specification LanguageDale Miller. 61-70
- Parallel Logic Programming with ExtensionsLuís Moniz Pereira. 71-88
- Domain Independent Ask Approximation in CCPEnea Zaffanella. 89-100
- Modeling Real-Time in Concurrent Constraint ProgrammingFrank S. de Boer, Maurizio Gabbrielli. 101-112
- Extending CAML Light to Perform Distributed ComputationJosé Luis Freire, Basilio B. Fraguela, Víctor M. Gulías. 113-124
- A Logic Language Based on GAMMA-Like Multiset RewritingPaolo Ciancarini, Daniela Fogli, Mauro Gaspari. 125-138
- Side Effect Analysis for Logic-Based PlanningKave Eshghi, M. Mowbray. 139-147
- Downward Refinement of Hierarchical Datalog TheoriesFloriana Esposito, Nicola Fanizzi, Donato Malerba, Giovanni Semeraro. 148-159
- Integrity Constraints Evolution in Deductive DatabasesDanilo Montesi, Franco Turini. 160-168
- Declarative Reconstruction of Updates in Logic Databases: a Compilative ApproachMarilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi. 169-182
- An Introduction to Regular Search SpacesAlberto Momigliano, Mario Ornaghi. 183-194
- A Framework for a Transformational Approach to NegationJ. Humet. 195-206
- Ordered Logic and its Relationships to other Logic Programming FormalismsFrancesco Buccafurri. 207-218
- Analysis of SLDNF for Local CLPAlberto Bottoni. 219-230
- A Semantics for the Kakas-Mancarella Procedure for Abductive Logic ProgrammingFrancesca Toni. 231-244
- Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaPrologFrancesca Arcelli Fontana, Ferrante Formato. 245-256
- The Undefined Function Differs from the Pointwise Undefined FunctionWalter Dosch. 257-270
- LOO: An Object Oriented Logic Programming LanguagePaolo Mancarella, Alessandra Raffaetà, Franco Turini. 271-282
- Forum ObjectsGiorgio Delzanno, Maurizio Martelli. 283-294
- Three-Valued Semantics for Extended Logic ProgramsPiero A. Bonatti, Laura Giordano. 295-306
- Constructing Logic Programs with Higher-Order PredicatesJørgen Fischer Nilsson, Andreas Hamfelt. 307-312
- Petri Nets and Linear Logic: a Case Study for Logic ProgrammingIliano Cervesato. 313-320
- GRAMPAL: A Morphological Processor for Spanish Implemented in PrologA. Moreno, J. M. Goni. 321-331
- A Declarative Approach to the Design and Realization of Graphic InterfacesDomenico Aquilino, D. Apuzzo, Patrizia Asirelli. 332-346
- Improving the Efficiency of Dynamic Modular Logic LanguagesAnna Ciampolini, Evelina Lamma, Paola Mello. 347-358
- Lazy Narrowing on an Abstract Machine by Means of ExamplesEva Ullán. 359-370
- Exploiting Expression- and Or-Parallelism for a Functional Logic LanguageWerner Hans, Stephan Winkler, Fernando Sáenz. 371-382
- An Effective Algorithm for Compiling Pattern Matching Keeping LazinessPedro Palao, Manuel Núñez. 383-394
- A Prolog Implementation of KemAlberto Artosi, Paola Cattabriga, Guido Governatori. 395-400
- Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming SystemPatrick Bellot, Olivier Camp, Christophe Matiachoff. 401-408
- A Linear Logic Programming Language with Parallel and Sequential ConjunctionPaola Bruscoli, Alessio Guglielmi. 409-420
- A Structural (Meta-Logical) Semantics for Linear ObjectsGiuseppe Manco, Franco Turini. 421-434
- Computational Properties in Context-Sensitive RewritingSalvador Lucas. 435-446
- Minimal Set UnificationPuri Arenas-Sánchez, Agostino Dovier. 447-458
- A Model Tree Computation of the Strong Well-Founded SemanticsCristian Papp. 459-470
- Monadas para la Comunicacion de Objetos FuncionalesJosé E. Gallardo, P. Guerrero, Blas C. Ruiz. 471-476
- La Potencia Expresiva de los CatamorfismosCarlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza. 477-484
- A Tabulation Transformation Tactic Using Haskell ArraysCristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide. 485-496
- Sintesis de Programas Logicos: Marco ConstructivoFrancisco José Galán Morillo, M. Toro Bonilla. 497-510
- A Transitional Semantics of Full PrologPierpaolo Degano, Corrado Priami. 511-520
- Analysis of Pure PROLOG ProgramsGiorgio Levi, Daniele Micciancio. 521-532
- Compositionality in SLD-derivations and their AbstractionsMarco Comini, Giorgio Levi, Maria Chiara Meo. 533-544
- Curbing Theories: Fixpoint Semantics and Complexity IssuesFrancesco Scarcello, Nicola Leone, Luigi Palopoli. 545-556
- A Dataflow Semantics for Constraint Logic ProgramsLivio Colussi, Elena Marchiori, Massimo Marchiori. 557-568
- Labeling in CLP(FD) with Evolutionary ProgrammingRuiz-Andino Illera, J. J. Ruz Ortiz. 569-580
- Constraint Systems for Pattern Analysis of Constraint Logic-Based LanguagesRoberto Bagnara. 581-592
- Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic ProgrammingJuan José Moreno-Navarro, Julio García-Martín, A. del Pozo-Pietro. 593-606
- Declarative Diagnosis RevisitedMarco Comini, Giorgio Levi, Giuliana Vitiello. 607-618
- Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program SemanticsRoberto Giacobazzi. 619-630
- Contributions to a Theory of Existential Termination for Definite Logic ProgramsGiorgio Levi, Francesca Scozzari. 631-642
- A Case Study in Logic Program Verification: the Vanilla MetainterpreterDino Pedreschi, Salvatore Ruggieri. 643-654