Sciweavers

9719 search results - page 54 / 1944
» Answer Set Optimization
Sort
View
CORR
2011
Springer
175views Education» more  CORR 2011»
13 years 5 months ago
Team-building with Answer Set Programming in the Gioia-Tauro Seaport
Francesco Ricca, Giovanni Grasso, Mario Alviano, M...
IJSSE
2011
127views more  IJSSE 2011»
13 years 4 months ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
Sean Policarpio, Yan Zhang
LPNMR
2005
Springer
14 years 3 months ago
Loops: Relevant or Redundant?
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
Martin Gebser, Torsten Schaub
COLT
2008
Springer
13 years 11 months ago
High-Probability Regret Bounds for Bandit Online Linear Optimization
We present a modification of the algorithm of Dani et al. [8] for the online linear optimization problem in the bandit setting, which with high probability has regret at most O ( ...
Peter L. Bartlett, Varsha Dani, Thomas P. Hayes, S...
ICS
1997
Tsinghua U.
14 years 2 months ago
Iteration Space Slicing and Its Application to Communication Optimization
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...
William Pugh, Evan Rosser