165 search results - page 1 / 33 » Computational Logic: Memories of the Past and Challenges for... |
CL
2000
Springer
13 years 9 months ago
2000
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
MOBIHOC
2009
ACM
14 years 5 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...
EXPERT
2006
13 years 4 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
AIR
2004
13 years 4 months ago
2004
This paper reviews the current state of the art in Natural Language Processing for Hebrew, both theoretical and practical. The Hebrew language, like other Semitic languages, poses...