Sciweavers

1153 search results - page 22 / 231
» The Complexity of Revision, Revised
Sort
View
FOIKS
2006
Springer
13 years 11 months ago
Iterative Modification and Incremental Evaluation of Preference Queries
Abstract. We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: ...
Jan Chomicki
AUSAI
2008
Springer
13 years 9 months ago
A Fixed-Point Property of Logic-Based Bargaining Solution
This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution s...
Dongmo Zhang
LREC
2008
119views Education» more  LREC 2008»
13 years 8 months ago
Enhancing the Arabic Treebank: a Collaborative Effort toward New Annotation Guidelines
The Arabic Treebank team at the Linguistic Data Consortium has significantly revised and enhanced its annotation guidelines and procedure over the past year. Improvements were mad...
Mohamed Maamouri, Ann Bies, Seth Kulick
ACNS
2009
Springer
142views Cryptology» more  ACNS 2009»
14 years 2 months ago
Integrity Protection for Revision Control
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...
Christian Cachin, Martin Geisler
LPNMR
2009
Springer
14 years 1 months ago
Belief Revision with Bounded Treewidth
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
Reinhard Pichler, Stefan Rümmele, Stefan Wolt...