2920 search results - page 217 / 584 » Finite information logic |
189
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
To solve this problem, we devised the HS-bitmap index, which is hierarchically comprised of compressed data of summary bits. A summary bit in an upper matrix is obtained by logical...
177
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
184
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
171
click to vote
HT
2005
ACM
16 years 6 days ago
2005
ACM
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...
164
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...