Sciweavers

3573 search results - page 66 / 715
» Reasoning about Codata
Sort
View
AMAI
2008
Springer
14 years 11 months ago
Reasoning about temporal properties of rational play
Nils Bulling, Wojciech Jamroga, Jürgen Dix
IJAR
2008
86views more  IJAR 2008»
14 years 11 months ago
Specifying and reasoning about uncertain agents
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe ...
ISCI
2006
68views more  ISCI 2006»
14 years 11 months ago
Qualitative reasoning about consistency in geographic information
Matt Duckham, Jenny Lingham, Keith T. Mason, Micha...