Sciweavers

237 search results - page 7 / 48
» Towards a Theory of Epistemic Information
Sort
View
AAMAS
2008
Springer
13 years 7 months ago
Norms and plans as unification criteria for social collectives
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
Aldo Gangemi
MKM
2007
Springer
14 years 1 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
13 years 11 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
IJCAI
1997
13 years 9 months ago
Qualitative Relevance and Independence: A Roadmap
Several qualitative notions of epistemic dependence between propositions are studied. They are closely related to the ordinal notion of conditional possibility. What this paper pr...
Didier Dubois, Luis Fariñas del Cerro, Andr...
HICSS
2009
IEEE
119views Biometrics» more  HICSS 2009»
14 years 2 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,...