XIII. V APPIA-GULP-PRODE (1998), La Coruña (Spain)

XIII. V APPIA-GULP-PRODE (1998),

La Coruña (Spain) 20-23 Luglio 1998

Program chairs: José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro

Conference Proceedings:

AGP_98

Invited Speakers

  • Xavier Leroy (INRIA, France)
  • Jaume Augustì (CSIC, Spain)
  • Veronica Dahl (Simon Fraser University, Canada)
  • Josè Luis Alferes (Universidade de Evora, Portugal)

Regular papers

  1. Arnaud Lallouet: Semantics of a Data-Parallel Logic Language using the BSP Execution Model. 1-14 (PDF)
  2. Alessandra Di Pierro, Herbert Wiklicky: A Markov Model for Probabilistic Concurrent Constraint Programming. 15-28 (PDF)
  3. Jorge Puente, Ramiro Varela, Camino R. Vela, César Luis Alonso: A Parallel Programming Approach to Job Shop Scheduling Constrain Satisfaction Problems. 29-42 (PDF)
  4. Agostino Dovier, Carla Piazza, Gianfranco Rossi: Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. 43-56 (PDF)
  5. Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi: Interactive Constraint Satisfaction and its Application to Visual Object Recognition. 57-70 (PDF)
  6. Manuel Carro, Manuel V. Hermenegildo: Some Design Issues in the Visualization of Constraint Logic Program Execution. 71-86 (PDF)
  7. Rafael Caballero, Francisco Javier López-Fraguas: Parsing with Non-Deterministic Functions. 87-100  (PDF)
  8. J. Ángel Velázquez-Iturbide: Automatic Simplification of the Visualization of Functional Expressions by Means of Fisheyes Views. 101-112 (PDF)
  9. Manuel Vilares Ferro, Miguel Angel Alonso Pardo, David Cabrero Souto: A Comparison for Unification-Based Parsers. 113-124
    (PDF)
  10. Francisco José Galán Morillo, M. Toro Bonilla: Object Oriented Software Systems Defined by Constructive Logical Methods. 125-136  (PDF)
  11. Julio Mariño, Juan José Moreno-Navarro: Recovering Sequentiality in Functional-Logic Programs. 137-150  (PDF)
  12. Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Polygenetic Partial Evaluation of Lazy Functional Logic Programs. 151-164  (PDF)
  13. Stefano Basta, Sergio Flesca, Sergio Greco: Extending Datalog to Express Functional Queries: A Language and its Implementation. 165-174  (PDF)
  14. Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and Abstract Semantics of a Query Language for Semi-Structured Information. 175-188  (PDF)
  15. R. Castro, Xesús M. López, Víctor M. Gulías: An ODBC Interface for Objective Caml. 189-200 (PDF)
  16. Gaetano Aurelio Lanzarone, Alessandro Provetti: Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. 201-214  (PDF)
  17. Paul Tarau, Verónica Dahl: Code Migration with First Order Continuations. 215-226 (PDF)
  18. Roberto Bagnara, Peter Schachte: Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. 227-240  (PDF)
  19. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. 241-254 (PDF)
  20. Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: The Correctness of Set-Sharing. 255-268  (PDF)
  21. Fausto Spoto, Giorgio Levi: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. 269-282  (PDF)
  22. Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. 283-292 (PDF)
  23. Paolo Volpe: A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. 293-302  (PDF)
  24. Giorgio Levi, W. Volpi: Set Based-Analysis of Logic Programs via Abstract Interpretation. 303-310  (PDF)
  25. Jordi Puigsegur, Jaume Agustí-Cullell: Visual Logic Programming by Means of Diagram Transformations. 311-328  (PDF)
  26. D. Pearce: Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs. 329-342  (PDF)
  27. Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Plan of Activities on the Map Calculus. 343-356  (PDF)
  28. Miguel A. Gutiérrez-Naranjo: The Immediate Consequence Operator and Robinson’s Operator. 357-354 (PDF)
  29. M. Teresa Escrig, Francisco Toledo: The Use of CLP(FD) Extended with CHRs for Qualitative Spatial Reasoning and Qualitative Robot Navigation. 365-378  (PDF)
  30. José Hernández-Orallo, M. José Ramírez-Quintana: Inverse Narrowing for the Induction of Functional Logic Programs. 379-392  (PDF)
  31. José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. 393-408  (PDF)
  32. Marco Comini, Giorgio Levi, Giuliana Vitiello: Modular Abstract Diagnosis. 409-420  (PDF)
  33. E. Lastres, R. Moreno: A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas. 421-432  (PDF)
  34. Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto: Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. 433-442  (PDF)
  35. Kung-Kiu Lau, Mario Ornaghi: Isoinitial Models for Logic Programs: A Preliminary Study. 443-456  (PDF)
  36. Juan José Moreno-Navarro, Susana Muñoz-Hernández: On the Practical Use of Negation in a Prolog Compiler. 457-469  (PDF)

PROGRAM COMMITTEE

  1. José J. Alferes (U. Évora, Pt.)
  2. Joaquim Aparicio (U. Nova de Lisboa, Pt.)
  3. Lourdes Araujo (U. Complutense de Madrid, Es.)
  4. Mario R. Artalejo (U. Complutense de Madrid, Es.)
  5. Pedro Barahona (U. Nova de Lisboa, Pt.)
  6. José M. Barja (U. da Coruña, Es.)
  7. Leopoldo Bertossi (Pontificia U. Católica de Chile, Cl.)
  8. Piero Bonatti (U. Torino, It.)
  9. Antonio Brogi (U. Pisa, It.)
  10. Francisco Bueno (U. Politécnica de Madrid, Es.)
  11. Agostino Cortesi (U. Venezia, It.)
  12. Manuel Díaz (U. Málaga, Es.)
  13. Sandro Etalle (U. Amsterdam, Nl.)
  14. Roberto Giacobazzi (U. Pisa, It.)
  15. Fosca Giannotti (CNUCE-CNR, It.)
  16. Evelina Lamma (U. Bologna, It.)
  17. Gaetano Lanzarone (U. Milano, It.)
  18. Jordy Levy (IIIA Barcelona, Es.)
  19. Paqui Lucio (U. Pais Vasco, Es.)
  20. Maria Chiara Meo (U. Aquila, It.)
  21. Angelo Montanari (U. Udine, It.)
  22. Fernando Orejas (U. Politècnica de Catalunya, Es.)
  23. Luigi Palopoli (U. Calabria, It.)
  24. Ricardo Pena (U.C. Madrid, Es.)
  25. Luis Moniz Pereira (U. Nova de Lisboa, Pt.)
  26. David Rosenblueth (IIMAS, Mx.)
  27. Gianfranco Rossi (U. Parma, It.)
  28. Vitor Santos Costa (U. Porto, Pt.)
  29. Ambrosio Toval (U. Murcia, Es.)
  30. Germán Vidal (U. Politécnica de Valencia, Es.)
  31. Manuel Vilares (U. da Coruña, Es.)

ORGANIZING COMMITTEE

  1. Miguel A. Alonso
  2.  David Cabrero
  3. Víctor M. Gulías
  4. Juan J. Quintela
  5. Alberto Valderruten
  6. Manuel Vilares