3573 search results - page 373 / 715 » Reasoning about Codata |
157
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
The paper brings a discussion about the source of the inaccuracy in observations of objects and demonstrates that the essential reason of the lack of precision is changeability, a...
173
click to vote
IJCAI
2007
15 years 7 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
152
click to vote
IJCAI
2007
15 years 7 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
149
click to vote
IQ
2007
15 years 7 months ago
2007
: To manage information quality (IQ) effectively, one needs to know how IQ changes over time, what causes it to change, and whether the changes can be predicted. In this paper we a...
144
click to vote
OWLED
2008
15 years 7 months ago
2008
: One of users' most frequent questions about OWL is "how do I say `may'?", as in "Bacteria may cause pneumonia." In many fields, particularly biomedi...