| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Constraint Based Coordination of Autonomous Agents
|
Ossowski, Sascha
|
|
2001
|
48 |
C |
p. 211-226
16 p.
|
artikel
|
| 2 |
Correct Answers for First Order Logic
|
Amato, Gianluca
|
|
2001
|
48 |
C |
p. 45-64
20 p.
|
artikel
|
| 3 |
Design for AJACS, yet another Java constraint programming framework 1 1 The authors would like to thank the anonymous referees for their constructive review of an earlier version of this article. Universidade de Évora, CENTRIA and FundaçLãTo da CiêCncia e Tecnologia (under contract PRAXIS P/EEI/10191/98 “OAR”) are acknowledged for their support of the work described herein.
|
Ferreira, Lígia
|
|
2001
|
48 |
C |
p. 167-178
12 p.
|
artikel
|
| 4 |
Formal ReSpecT
|
Omicini, Andrea
|
|
2001
|
48 |
C |
p. 179-196
18 p.
|
artikel
|
| 5 |
Layered map reasoning
|
Formisano, Andrea
|
|
2001
|
48 |
C |
p. 1-28
28 p.
|
artikel
|
| 6 |
Logic programs as specifications in the inductive verification of logic programs
|
Comini, Marco
|
|
2001
|
48 |
C |
p. 131-146
16 p.
|
artikel
|
| 7 |
Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
|
Falaschi, Moreno
|
|
2001
|
48 |
C |
p. 197-210
14 p.
|
artikel
|
| 8 |
On the Number of Rule Applications in Constraint Programs
|
Frühwirth, Thom
|
|
2001
|
48 |
C |
p. 147-166
20 p.
|
artikel
|
| 9 |
On the Relations between Disjunctive and Linear Logic Programming
|
Bozzano, Marco
|
|
2001
|
48 |
C |
p. 65-89
25 p.
|
artikel
|
| 10 |
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations
|
Cortesi, Agostino
|
|
2001
|
48 |
C |
p. 29-44
16 p.
|
artikel
|
| 11 |
Preface
|
Dovier, Agostino
|
|
2001
|
48 |
C |
p. 253-254
2 p.
|
artikel
|
| 12 |
Probabilistic behaviours of reactive agents
|
Brogi, Antonio
|
|
2001
|
48 |
C |
p. 227-252
26 p.
|
artikel
|
| 13 |
Probabilistic Confinement in a Declarative Framework
|
Di Pierro, Alessandra
|
|
2001
|
48 |
C |
p. 108-130
23 p.
|
artikel
|
| 14 |
Refining and Compressing Abstract Model Checking 1 1 The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.
|
Dovier, Agostino
|
|
2001
|
48 |
C |
p. 90-107
18 p.
|
artikel
|
Tijdschrift beschrijving