Sciweavers

1653 search results - page 173 / 331
» Computer science and game theory
Sort
View
ESWS
2007
Springer
15 years 4 months ago
Measuring Inconsistencies in Ontologies
Abstract. In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure c...
Xi Deng, Volker Haarslev, Nematollaah Shiri
FOSSACS
2005
Springer
15 years 4 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
KI
2008
Springer
14 years 9 months ago
Simplest Scenario for Mutual Nested Modeling in Human-Machine-Interaction
The research aim of this paper is to represent everydaylife patterns of thought like "Because I know, what you think I think ..." by a process on a machine, which is inv...
Rustam Tagiew
ATAL
2011
Springer
13 years 10 months ago
Conviviality measures
Conviviality has been introduced as a social science concept for multiagent systems to highlight soft qualitative requirements like user friendliness of systems. In this paper we ...
Patrice Caire, Baptiste Alcalde, Leendert van der ...
FOCS
2007
IEEE
15 years 4 months ago
Towards Sharp Inapproximability For Any 2-CSP
We continue the recent line of work on the connection between semidefinite programming-based approximation algorithms and the Unique Games Conjecture. Given any boolean 2-CSP (or...
Per Austrin