Sciweavers

37 search results - page 1 / 8
» amai 2004
Sort
View
122
Voted
AMAI
2004
Springer
15 years 5 months ago
The Complexity of Symmetry-Breaking Formulas
Eugene M. Luks, Amitabha Roy
101
Voted
AMAI
2004
Springer
15 years 5 months ago
Proving BDI Properties of Agent-Oriented Programming Languages
Rafael H. Bordini, Álvaro F. Moreira