Sciweavers

37 search results - page 1 / 8
» amai 2004
Sort
View
74
Voted
AMAI
2004
Springer
15 years 9 months ago
Modeling and Reasoning with Star Calculus
Debasis Mitra
104
Voted
AMAI
2004
Springer
15 years 3 months ago
The Complexity of Symmetry-Breaking Formulas
Eugene M. Luks, Amitabha Roy
87
Voted
AMAI
2004
Springer
15 years 3 months ago
Proving BDI Properties of Agent-Oriented Programming Languages
Rafael H. Bordini, Álvaro F. Moreira