Sciweavers

6599 search results - page 3 / 1320
» Towards a Theory of Information
Sort
View
MKM
2007
Springer
14 years 5 months ago
Towards Constructive Homological Algebra in Type Theory
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
Thierry Coquand, Arnaud Spiwack
KR
1994
Springer
14 years 2 months ago
Toward a Logic for Qualitative Decision Theory
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
Craig Boutilier
HICSS
2009
IEEE
119views Biometrics» more  HICSS 2009»
14 years 5 months ago
Information Sharing at National Borders: Extending the Utility of Border Theory
Research has identified the potential and challenges of information sharing in government settings mostly within the context of a single country. The challenges facing inter-gover...
Celene Navarrete, Sehl Mellouli, Theresa A. Pardo,...
RSCTC
2000
Springer
111views Fuzzy Logic» more  RSCTC 2000»
14 years 2 months ago
Toward a Perception-Based Theory of Probabilistic Reasoning
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
Lotfi A. Zadeh