2 search results - page 1 / 1 » The Logical Role of the Four-Valued Bilattice |
LICS
1998
IEEE
13 years 9 months ago
1998
IEEE
In his well-known paper \How computer should think" ( Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we...
SIGIR
1996
ACM
13 years 9 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...