Sciweavers

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