887 search results - page 29 / 178 » A Science of Reasoning |
AIR
2006
13 years 9 months ago
2006
Abstract We describe an instance-based reasoning solution to a variety of spatial reasoning problems. The solution centers on identifying an isomorphic mapping between labelled gra...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
A new HR system was introduced into a Dutch hospital. The system implied collaborative work among its users. The project planning seemed to be reasonably
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
134
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...