XII. IV APPIA-GULP-PRODE (1997) Joint Conference on Declarative Programming
Grado (Italy), June 16-19 1997.
OPAC number (OPAC) and DBLP Link
Program Chairs: Moreno Falaschi, Marisa Navarro and Alberto Policriti.
Organized by
- Dipartimento di Matematica e Informatica, Università di Udine
- Gruppo ricercatori e Utenti di Logic Programming
Preface (by Moreno Falaschi, Marisa Navarro and Alberto Policriti) 000_Preface.pdf
Papers
- Roberto Giacobazzi:
Systematic design of abstract interpretations. 1-4 001_Giacobazzi.pdf - Narciso Martí-Oliet:
Rewriting logic and its applications. 5-8 005_Oliet - Michael Hanus:
A Unified Computation Model for Declarative Programming. 9-24 009_Hanus.pdf - Gopal Gupta, Enrico Pontelli:
High Performance Parallel Logic Programming: The ACE Parallel Prolog System. 25-32 025_Gupta.pdf - Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation. 33-44 033_Giacobazzi.pdf - Federico Crazzolara:
Quasi-metric Spaces as Domains for Abstract Interpretation. 45-56 045_Crazzolara.pdf - R. Moreno:
A Semantic Framework for the Analysis of Concurrent Constraint Programming. 57-68 057_Moreno.pdf - Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Sharing Revisited. 69-80 069_Bagnara,pdf - Roberto Bagnara:
Structural Information Analysis for CLP Languages. 81-92 081_Bagnara.pdf - Agostino Dovier, Alberto Policriti:
Set domains for structural properties of terms. 93-104 093_Dovier.pdf - Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. 105-116 105_Bozzano.pdf - Vincenzo Gervasi, Alessandra Raffaetà:
Integrating Active Rules in U-Datalog. 117-128 117_Gervasi.pdf - Fosca Giannotti, Giuseppe Manco, Dino Pedreschi:
A Deductive Data Model for Representing and Querying Semistructured Data. 129-140 129_Giannotti.pdf - Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The Architecture of a Disjunctive Deductive Database System. 141-152 141_Eiter.pdf - Lidia Moreno, Manuel Palomar, Antonio Molina:
Gramáticas Datalog Extendidas: Una Nueva Aproximación. 153-162 153_Moreno.pdf - José Francisco Aldana Montes, José M. Troya:
Concurrent Smart Evaluation of Datalog Queries. 163-174 163_Aldana.pdf - Gianluca Amato, Giorgio Levi:
Properties of the Lattice of Observables in Logic Programming. 175-188 175_Amato.pdf - Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi:
Automated Behavioural Verification of Prolog Programs. 189-200 189_LeCharlier.pdf - Fausto Spoto, Giorgio Levi:
A Denotational Semantics for Prolog. 201-212 201_Spoto.pdf - Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
High-level Parallel and Concurrent Programming in Eden. 213-224 213_Breitinger.pdf - Alessandra Di Pierro, Herbert Wiklicky:
On Probabilistic CCP. 225-234 225_DiPierro.pdf - Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Semantics and Expressive Power of a Timed Concurrent Constraint Language. 235-246 235_DeBoer.pdf - Pablo López, Ernesto Pimentel:
A Lazy Splitting System for Forum. 247-258 247_Lopez.pdf - Juan M. Molina-Bravo, Ernesto Pimentel:
Semantics for Modules in Functional-Logic Programming. 259-270 259_Molina.pdf - Paqui Lucio, Fernando Orejas, Elvira Pino:
A Monotonic Declarative Semantics for Normal Logic Programs. 271-282 271_Lucio.pdf - Piero A. Bonatti:
A Constructive Negation for Transition System Specifications. 283-294 283_Bonatti.pdf - Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
An Algorithm for Learning Abductive Rules. 295-306 295_Lamma.pdf - Manuel Vilares Ferro, David Cabrero Souto, Miguel Angel Alonso Pardo:
An Approach to Infinite Terms Traversal in DCGs. 307-318 307_VilaresFerro.pdf - Francesca Arcelli Fontana, Ferrante Formato:
A Fuzzy Logic Programming Language. 319-332 319_Fontana.pdf - Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power. 333-344 333_Cadoli.pdf - Zohar Manna:
Verification of Progress Properties. 345-346 - María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing. 347-358 347_Alpuente.pdf - Víctor J. Díaz Madrigal, M. Toro Bonilla:
Parsing TAGs with Prolog. 359-368 359_Diaz.pdf - Isabel Pita, Narciso Martí-Oliet:
Using Reflection to Specify Transaction Sequences in Rewriting Logic. 369-380 369_Pita.pdf - Alessandro Provetti, G. Rossi:
Action Specifications in {log}. 381-392 381_Provetti.pdf - Salvador Lucas:
Computational Properties of Term Rewriting with Replacement Restrictions. 393-404 393_Lucas.pdf - Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo:
Global Skolemization with Grouped Quantifiers. 405-414 405_Cantone.pdf - Kent E. Seamons, William H. Winsborough, Marianne Winslett:
Internet Credential Acceptance Policies. 415-432 415_Seamons.pdf - Kung-Kiu Lau, Mario Ornaghi:
On the Relationship between Logic Programs and Specifications. 433-444 433_Lau.pdf - Alain Miniussi, Robert Strandh:
An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems. 445-456 445_Miniussi.pdf - Agostino Dovier, Andrea Formisano, Alberto Policriti:
On T Logic Programming. 457-466 457_Dovier.pdf - Roberta Carmona, Agostino Dovier, Gianfranco Rossi:
Dealing with Infinite Intensional Sets in CLP. 465-478 467_Carmona.pdf - Gilles Richard, Frédéric Saubion, A. Tellez-Arenas:
Intensional Set Constraints. 479-490 479_Richard.pdf - Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Applying Logic Programming to the Specification of Complex Applications. 491-500 491_martelli.pdf - Víctor M. Gulías, Juan J. Quintela, José Luis Freire:
Transport Primitives for Functional Agents. 501-510 501_Gulias.pdf - Joaquín Nicolás, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas:
Formal Specification of a Scanning Tunnelling Microscope. 511-522 511_Nicolas.pdf - Antonio Ferrández, Manuel Palomar, Lidia Moreno:
Slot Unification Grammar. 523-532 523_Ferrandez.pdf - Antonio J. Fernández, Patricia M. Hill:
Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes. 533-544 533_Fernandez.pdf - Michael Codish, Cohavit Taboch:
A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints. 545-556 545_Codish.pdf - Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Adding Weak Constraints to Disjunctive Datalog. 557-568 557_Buccafurri.pdf