Sciweavers

747 search results - page 49 / 150
» Consequence Relations In DRT
Sort
View
APPROX
2010
Springer
138views Algorithms» more  APPROX 2010»
13 years 9 months ago
Improved Rounding for Parallel Repeated Unique Games
We show a tight relation between the behavior of unique games under parallel repetition and their semidefinite value. Let G be a unique game with alphabet size k. Suppose the semid...
David Steurer
APAL
2008
87views more  APAL 2008»
13 years 8 months ago
Characterising nested database dependencies by fragments of propositional logic
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
Sven Hartmann, Sebastian Link
IJCGA
2008
77views more  IJCGA 2008»
13 years 7 months ago
Bounded-Velocity Approximation of Mobile Euclidean 2-Centres
Given a set P of points (clients) in the plane, a Euclidean 2-centre of P is a set of two points (facilities) in the plane such that the maximum distance from any client to its ne...
Stephane Durocher, David G. Kirkpatrick
JAPLL
2008
121views more  JAPLL 2008»
13 years 7 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli
SYNTHESE
2008
102views more  SYNTHESE 2008»
13 years 7 months ago
Epistemic comparative conditionals
The interest of epistemic comparative conditionals comes from the fact that they represent genuine `comparative epistemic relations' between propositions, situations, evidence...
Linton Wang