Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2003

AGP_2003

Proceedings, split paper per paper, are the following:

  • Preface by  Francesco Buccafurri. agp2003-000_Buccafurri
  • Domenico Cantone, Calogero G. Zarba: A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003: 1-12 agp2003-001_Cantone
  • Elvira Albert, Josep Silva, Germán Vidal: Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE 2003: 13-24 agp2003-013_Albert
  • Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35 agp2003-025_Gavanelli
  • Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49 agp2003-036_Dovier
  • J. Chen, Y. Zhang: A knowledge Transaction Processing Language and Model for Mobile Application. APPIA-GULP-PRODE 2003: 50-62 agp2003-050_Chen
  • Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo: Enhancing Disjunctive Logic Programming for Ontology Specification. APPIA-GULP-PRODE 2003: 63-74 agp2003-036_Dovier
  • Gianluigi Greco, Antonella Guzzo, Domenico Saccà: A Logic Programming Approach for Planning Workflows Evolutions. APPIA-GULP-PRODE 2003: 75-85 agp2003-075_Greco
  • Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary: APPIA-GULP-PRODE 2003: 86-96 agp2003-086_Angiulli
  • Stefania Galizia: Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva. APPIA-GULP-PRODE 2003: 97-109 agp2003-097_Galizia
  • Elisa Bertino, Alessandra Mileo, Alessandro Provetti: User Preferences VS Minimality in PPDL. APPIA-GULP-PRODE 2003: 110-122 agp2003-110_Bertino
  • S. Bozzoli, Fausto Spoto, Agostino Dovier: Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE 2003: 123-134 agp2003-123_Bozzoli
  • Zoran Majkic: Fixpoint Semantics for Query Answering in Data Integration Systems. APPIA-GULP-PRODE 2003: 135-146 agp2003-135_Majkic
  • Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo: Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158 agp2003-147_Formisano
  • Gabriela Serban: A new logic architecture for Intelligent Agents. APPIA-GULP-PRODE 2003: 159-167 agp2003-159_Serban
  • J. A. Dàvila, M. Y. Uzcategui: Agents’ executable specifications. APPIA-GULP-PRODE 2003: 168-179 agp2003-168_Vila
  • Francesco Buccafurri: Multiagent Compromises and Joint Fixpoint Semantics. APPIA-GULP-PRODE 2003: 180-192 agp2003-180_Buccafurri
  • L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa: Similarity-based SLD Resolution and applications to Mobile Agents. APPIA-GULP-PRODE 2003: 193-204 agp2003-193_Blandi
  • José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216 agp2003-205_Alferes
  • N. Graca, Paulo Quaresma: Using dynamic logic programming to model legal reasoning. APPIA-GULP-PRODE 2003: 217-225 agp2003-217_Graca
  • Gerald Pfeifer: Solving Hard Disjunctive Logic Programs Faster (Sometimes). APPIA-GULP-PRODE 2003: 226-237 agp2003-226_Pfeifer
  • Simona Perri, Francesco Scarcello: Advanced Backjumping Techniques for Rule Instantiations. APPIA-GULP-PRODE 2003: 238-251 agp2003-238_Perri
  • Chiara Cumbo, Wolfgang Faber, Gianluigi Greco: Improving Query Optimization for Disjunctive Datalog. APPIA-GULP-PRODE 2003: 252-262 agp2003-252_Cumbo
  • Francesco Ricca: The DLV Java Wrapper. APPIA-GULP-PRODE 2003: 263-274 agp2003-263_Ricca
  • Maurizio Martelli, Viviana Mascardi: From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. APPIA-GULP-PRODE 2003: 275-286 agp2003-275_Martelli
  • E. Poleo, G. Rossi: JAVASET: Declarative Programming in Java with Sets. APPIA-GULP-PRODE 2003: 287-301 agp2003-287_Poleo
  • Pasquale De Meo: DL-WBA: Un agente intelligente basato sulla Logica Descrittiva per il supporto delle attivita di Web browsing. APPIA-GULP-PRODE 2003: 302-313 agp2003-302_DeMeo
  • Elisa Bertino, Alessandro Provetti, Franco Salvetti: Local Closed-World Assumptions for reasoning about Semantic Web data. APPIA-GULP-PRODE 2003: 314-323 agp2003-314_Bertino
  • Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia: Reasoning about the Semantic Web using Answer Set Programming. APPIA-GULP-PRODE 2003: 324-336 agp2003-324_Ianni
  • Jørgen Villadsen: Operational Semantics of an Imperative Language in Definite Clauses. APPIA-GULP-PRODE 2003: 337-349 agp2003-337_Villadsen
  • David Pearce, Agustín Valverde: Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE 2003: 350-361 agp2003-350_Valverde
  • Marina De Vos: An Ordered Choice Logic Programming Front-End for Answer Set Solvers. APPIA-GULP-PRODE 2003: 362-373 agp2003-362_DeVos
  • Davy Van Nieuwenborgh, Dirk Vermeir: Ordered Programs as Abductive Systems. APPIA-GULP-PRODE 2003: 374-385 agp2003-374_VanNieuwenborgh
  • Thom W. Frühwirth, Christian Holzbaur: Source-to-Source Transformation for a Class of Expressive Rules. APPIA-GULP-PRODE 2003: 386-397 agp2003-386_Fruhwirth
  • Marco Cadoli, Toni Mancini: Towards automated reformulation of specications. APPIA-GULP-PRODE 2003: 398-409 agp2003-398_Cadoli
  • Thomas Eiter, Axel Polleres: Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. APPIA-GULP-PRODE 2003: 410-421 agp2003-410_Eiter
  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433 agp2003-422_Ballis