167 search results - page 20 / 34 » The central role of mathematical logic in computer science |
CCA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
ILP
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
ENC
2006
IEEE
13 years 11 months ago
2006
IEEE
Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and Artificial Intelligence (AI). Based on a proper repres...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Information technology has been a central enabler in the process toward network society. Despite the critical role of computers in inter-organizational arrangements, coordination ...
STOC
2003
ACM
14 years 7 months ago
2003
ACM
Random regular graphs play a central role in combinatorics and theoretical computer science. In this paper, we analyze a simple algorithm introduced by Steger and Wormald [10] and...