Sciweavers

9490 search results - page 103 / 1898
» Slow Intelligence Systems
Sort
View
LFCS
1994
Springer
15 years 11 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen
144
Voted
JELIA
1990
Springer
15 years 11 months ago
Systems for Knowledge and Beliefs
Wiebe van der Hoek
129
Voted
ATAL
2009
Springer
15 years 11 months ago
Temporal dependence networks for the design of convivial multiagent systems
Patrice Caire, Leendert van der Torre