736 search results - page 1 / 148 » A Science of Reasoning (Extended Abstract) |
148
Voted
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
159
Voted
LICS
2003
IEEE
16 years 21 days ago
2003
IEEE
180
Voted
ENTCS
2007
15 years 7 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...
154
Voted
CCA
2009
Springer
16 years 2 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...
193
Voted
TARK
2005
Springer
16 years 27 days 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...