Sciweavers

39 search results - page 4 / 8
» A Social Vision of Knowledge Representation and Reasoning
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 4 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
DAGSTUHL
2007
14 years 9 days ago
07431 Executive Summary - Computational Issues in Social Choice
Computational social choice is an interdisciplinary eld of study at the interface of social choice theory and computer science, with knowledge owing in either direction. On the o...
Ulle Endriss, Jérôme Lang, Francesca ...
ATAL
2007
Springer
14 years 5 months ago
Reasoning about judgment and preference aggregation
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
EJC
2000
14 years 6 days ago
KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
Thorsten Liebig, Dieter Finkenzeller, Marko Luther
ICTAI
2009
IEEE
14 years 5 months ago
Preventing Unwanted Social Inferences with Classification Tree Analysis
A serious threat to user privacy in new mobile and web2.0 applications stems from ‘social inferences’. These unwanted inferences are related to the users’ identity, current ...
Sara Motahari, Sotirios G. Ziavras, Quentin Jones