Stop the war!
Остановите войну!
for scientists:
default search action
APPIA-GULP-PRODE 2000, La Habana, Cuba
- Agostino Dovier, Maria Chiara Meo, Andrea Omicini:
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000. Electronic Notes in Theoretical Computer Science 48, Elsevier 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.