736 search results - page 1 / 148 » A Science of Reasoning (Extended Abstract) |
81
Voted
TABLEAUX
1998
Springer
15 years 5 months ago
1998
Springer
79
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
99
Voted
ENTCS
2007
15 years 1 months ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
CCA
2009
Springer
15 years 7 months ago
2009
Springer
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...
108
Voted
TARK
2005
Springer
15 years 6 months ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...