Abstract is missing.
- A Decision Procedure for Monotone Functions over LatticesDomenico Cantone, Calogero G. Zarba. 1-12
- Time Equations for Lazy Functional (Logic) LanguagesElvira Albert, Josep Silva, Germán Vidal. 13-24
- Interpreting Abduction in CLPMarco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni. 25-35
- Intensional Sets in CLPAgostino Dovier, Enrico Pontelli, Gianfranco Rossi. 36-49
- A knowledge Transaction Processing Language and Model for Mobile ApplicationJ. Chen, Y. Zhang. 50-62
- Enhancing Disjunctive Logic Programming for Ontology SpecificationFrancesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo. 63-74
- A Logic Programming Approach for Planning Workflows EvolutionsGianluigi Greco, Antonella Guzzo, Domenico Saccà. 75-85
- Exploiting Default Logic to Detect OutliersFabrizio Angiulli, Rachel Ben-Eliyahu-Zohary. 86-96
- Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica DisgiuntivaStefania Galizia. 97-109
- User Preferences VS Minimality in PPDLElisa Bertino, Alessandra Mileo, Alessandro Provetti. 110-122
- Approximate Protein Folding in Oz through Frequency AnalysisS. Bozzoli, Fausto Spoto, Agostino Dovier. 123-134
- Fixpoint Semantics for Query Answering in Data Integration SystemsZoran Majkic. 135-146
- Mappings Between Domain Models in Answer Set ProgrammingStefania Costantini, Andrea Formisano, Eugenio G. Omodeo. 147-158
- A new logic architecture for Intelligent AgentsG. Serban. 159-167
- Agents executable specificationsJ. A. D Vila, M. Y. Uzcategui. 168-179
- Multiagent Compromises and Joint Fixpoint SemanticsFrancesco Buccafurri. 180-192
- Similarity-based SLD Resolution and applications to Mobile AgentsL. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa. 193-204
- An Evolving Agent with EVOLPJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. 205-216
- Using dynamic logic programming to model legal reasoningN. Graca, Paulo Quaresma. 217-225
- Solving Hard Disjunctive Logic Programs Faster (Sometimes)Gerald Pfeifer. 226-237
- Advanced Backjumping Techniques for Rule InstantiationsSimona Perri, Francesco Scarcello. 238-251
- Improving Query Optimization for Disjunctive DatalogChiara Cumbo, Wolfgang Faber, Gianluigi Greco. 252-262
- The DLV Java WrapperFrancesco Ricca. 263-274
- From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute AgentsMaurizio Martelli, Viviana Mascardi. 275-286
- JAVASET: Declarative Programming in Java with SetsE. Poleo, G. Rossi. 287-301
- DL-WBA: Un agente intelligente basato sulla Logica Descrittiva per il supporto delle attivita di Web browsingPasquale De Meo. 302-313
- Local Closed-World Assumptions for reasoning about Semantic Web dataElisa Bertino, Alessandro Provetti, Franco Salvetti. 314-323
- Reasoning about the Semantic Web using Answer Set ProgrammingGiovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia. 324-336
- Operational Semantics of an Imperative Language in Definite ClausesJørgen Villadsen. 337-349
- Some Typesmof Equivalence for Logic Programs and Equilibrium LogicDavid Pearce, Agustín Valverde. 350-361
- An Ordered Choice Logic Programming Front-End for Answer Set SolversMarina De Vos. 362-373
- Ordered Programs as Abductive SystemsDavy Van Nieuwenborgh, Dirk Vermeir. 374-385
- Source-to-Source Transformation for a Class of Expressive RulesThom W. Frühwirth, Christian Holzbaur. 386-397
- Towards automated reformulation of specicationsMarco Cadoli, Toni Mancini. 398-409
- Transforming co-NP Checks to Answer Set Computation by Meta-InterpretationThomas Eiter, Axel Polleres. 410-421
- Abstract Correction of OBJ-like ProgramsMaría Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas. 422-433