Volume 48, 2001

Declarative Programming - Selected Papers from AGP 2000
La Habana (CUBA), December 4-6, 2000

• 
  Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Layered map reasoning: An experimental approach put to trial on sets. 1-28
• 
  Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier: Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. 29-44
• 
  Gianluca Amato: Correct Answers for First Order Logic. 45-64
• 
  Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: On the Relations between Disjunctive and Linear Logic Programming. 65-89
• 
  Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli: Refining and Compressing Abstract Model Checking. 90-107
• 
  Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic confinement in a declarative framework. 108-130
• 
  Marco Comini, Roberta Gori, Giorgio Levi: Logic programs as specifications in the inductive verification of logic programs. 131-146
• 
  Thom W. Frühwirth: On the number of rule applications in constraint programs. 147-166
• 
  Lígia Ferreira, Salvador Abreu: Design for AJACS, yet another Java constraint programming framework. 167-178
• 
  Andrea Omicini, Enrico Denti: Formal ReSpecT. 179-196
• 
  Moreno Falaschi, Alberto Policriti, Alicia Villanueva: Modeling concurrent systems specified in a temporal concurrent constraint language-I. 197-210
• 
  Sascha Ossowski: Constraint Based Coordination of Autonomous Agents. 211-226
• 
  Antonio Brogi: Probabilistic behaviours of reactive agents. 227-252
• 
  Agostino Dovier, Maria Chiara Meo, Andrea Omicini: Preface. 253-254