Electronic Notes in Theoretical Computer Science, Volume 48

Volume 48, 2001

• Agostino Dovier, Maria Chiara Meo, Andrea Omicini:
  Preface.
  
• Andrea Formisano, Eugenio G. Omodeo, Marco Temperini:
  Layered map reasoning: An experimental approach put to trial on sets.
  
• Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier:
  Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.
  
• Gianluca Amato:
  Correct Answers for First Order Logic.
  
• Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
  On the Relations between Disjunctive and Linear Logic Programming.
  
• Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli:
  Refining and Compressing Abstract Model Checking.
  
• Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
  Probabilistic confinement in a declarative framework.
  
• Marco Comini, Roberta Gori, Giorgio Levi:
  Logic programs as specifications in the inductive verification of logic programs.
  
• Thom W. Frühwirth:
  On the number of rule applications in constraint programs.
  
• Lígia Ferreira, Salvador Abreu:
  Design for AJACS, yet another Java constraint programming framework.
  
• Andrea Omicini, Enrico Denti:
  Formal ReSpecT.
  
• Moreno Falaschi, Alberto Policriti, Alicia Villanueva:
  Modeling concurrent systems specified in a temporal concurrent constraint language-I.
  
• Sascha Ossowski:
  Agent coordination by constraint optimisation.
  
• Antonio Brogi:
  Probabilistic behaviours of reactive agents.