Sciweavers

680 search results - page 5 / 136
» Complexity of Strict Implication
Sort
View
79
Voted
AMAI
2007
Springer
14 years 11 months ago
Complexity results for answer set programming with bounded predicate arities and implications
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan...
AI
2010
Springer
14 years 10 months ago
Learning complex action models with quantifiers and logical implications
Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu, Lei L...
85
Voted
SIGECOM
2005
ACM
97views ECommerce» more  SIGECOM 2005»
15 years 5 months ago
Complexity of (iterated) dominance
We study various computational aspects of solving games using dominance and iterated dominance. We first study both strict and weak dominance (not iterated), and show that checki...
Vincent Conitzer, Tuomas Sandholm
86
Voted
SIGMETRICS
2010
ACM
150views Hardware» more  SIGMETRICS 2010»
15 years 4 months ago
Incentive compatibility and dynamics of congestion control
This paper studies under what conditions congestion control schemes can be both efficient, so that capacity is not wasted, and incentive compatible, so that each participant can m...
Brighten Godfrey, Michael Schapira, Aviv Zohar, Sc...