Sciweavers

4617 search results - page 34 / 924
» Automation of Diagrammatic Reasoning
Sort
View
TARK
1998
Springer
15 years 6 months ago
Understanding Common Priors under Incomplete Information
Giacomo Bonanno, Klaus Nehring
TARK
1998
Springer
15 years 6 months ago
Ambiguity Made Precise: A Comparative Foundation
Paolo Ghirardato, Massimo Marinacci
TARK
1998
Springer
15 years 6 months ago
Logic and Choice
Hans Rott
TARK
1998
Springer
15 years 6 months ago
The Modal Logic of Probability
Aviad Heifeitz, Philippe Mongin
LICS
1997
IEEE
15 years 6 months ago
A Kleene Theorem for Timed Automata
Eugene Asarin, Paul Caspi, Oded Maler