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
Last update Tue Feb 14 04:17:29 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
