Abstract is missing.
- Specification and Simulation of Multi-Agent Systems in CaseLPMaurizio Martelli, Viviana Mascardi, Floriano Zini. 13-28
- Designing Ontologies for AgentsFloriano Zini, Leon Sterling. 29-42
- Semantic Definitions for Normal Open ProgramsFernando Orejas, Elvira Pino. 43-58
- Proving the completeness of theory-based variants of resolutionAndrea Formisano. 59-74
- An Incremental Needed Narrowing Calculus for CurryMaría Alpuente, Salvador Lucas, Santiago Escobar. 75-88
- Disequalities May Help to NarrowFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández. 89-104
- Constraint Solving on LatticesAntonio J. Fernández, Patricia M. Hill. 105-120
- Labeling and Partial Arc Consistency for Soft ConstraintsStefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi. 121-136
- Extending clp(FD) by Negative Constraint SolvingAntonio J. Fernández, Patricia M. Hill. 137-150
- Comparing expressiveness of set constructor symbolsAgostino Dovier, Carla Piazza, Alberto Policriti. 151-166
- Transitive Venn diagrams with applications to the decision problem in set theoryDomenico Cantone, Eugenio G. Omodeo, Pietro Ursino. 167-182
- CPOs as Concrete Domains: Lattices of Abstract Domains and ComplementsFrancesco Ranzato. 183-196
- On the verification of finite failureRoberta Gori, Giorgio Levi. 197-212
- Enhancing Sharing for PrecisionRoberto Bagnara, Enea Zaffanella, Patricia M. Hill. 213-228
- A System Prototype for the Optimization of Disjunctive QueriesSergio Flesca, Sergio Greco, P. Lambardi, D. Romeo. 229-242
- Specifying and computing hierarchies of temporal authorizationsElisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino. 243-258
- Preliminary exploration on actions as updatesJosé Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma. 259-272
- Adding sorts to TRSs: a result on modularity of terminationPaola Inverardi, Monica Nesi. 273-288
- Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem proverJosé-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos. 289-304
- ACI1 constraintsAgostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi. 305-320
- Freeness Analysis through Linear RefinementPatricia M. Hill, Fausto Spoto. 321-337
- Diagnosis of CHIP Programs Using Type InformationMarco Comini, Wlodzimierz Drabent, Pawel Pietrzak. 337-350
- Temporal Answer SetsPedro Cabalar. 351-366
- Hypotethical Reasoning: an application to Optical Music RecognitionMiguel Ferrand, João Alexandre Leite, Amílcar Cardoso. 367-382
- Learning Action Theories as Logic ProgramsDavid Lorenzo, Ramón P. Otero. 383-396
- Extension of Logic Programming by SimilarityFerrante Formato, Giangiacomo Gerla, Maria I. Sessa. 397-410
- Domains as First Class Objects in CLP(FD)Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello. 411-424
- The BEAM: A first EAM ImplementationRicardo Lopes, Vítor Santos Costa. 425-440
- The Replacement Operation for CCP ProgramsMarco Bertolino, Sandro Etalle, Catuscia Palamidessi. 441-454
- Contextual Specialization of Constraint Logic ProgramsFabio Fioravanti, Maurizio Proietti. 455-470
- ExpertFinder: A Prolog Recommender System Integrated with the WWWAntonio Brogi, G. Marongiu. 471-484
- Hypothetical Reasoning with Substructural LogicsPablo López, Ernesto Pimentel. 485-496
- The Relative Complement Problem for Higher-Order PatternsAlberto Momigliano, Frank Pfenning. 497-512
- Prototyping ProcessesLuís Soares Barbosa. 513-528
- A fixpoint semantics for reasoning about finite failureRoberta Gori. 529-544
- Some questions about non-termination in DCGsManuel Vilares Ferro, David Cabrero Souto, Miguel Angel Alonso Pardo. 545-558
- Widening SharingEnea Zaffanella, Roberto Bagnara, Patricia M. Hill. 559-574
- Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic ProgramsStefania Costantini, T. Morbidoni. 575-588
- Negation in Transaction ProgramsCarlos Viegas Damásio, V. Beires Nogueira. 589-604
- Querying inductive Databases via Logic-Based user-defined aggregatesFosca Giannotti, Giuseppe Manco. 605-620