Sciweavers

5624 search results - page 57 / 1125
» On Conditional Covering Problem
Sort
View
ENTCS
2010
96views more  ENTCS 2010»
15 years 6 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder
CORR
2006
Springer
160views Education» more  CORR 2006»
15 years 6 months ago
Frugality ratios and improved truthful mechanisms for vertex cover
In set-system auctions, there are several overlapping teams of agents, and a task that can be completed by any of these teams. The auctioneer's goal is to hire a team and pay...
Edith Elkind, Leslie Ann Goldberg, Paul W. Goldber...
LPNMR
2004
Springer
15 years 11 months ago
Planning with Sensing Actions and Incomplete Information Using Logic Programming
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
Tran Cao Son, Phan Huy Tu, Chitta Baral
DAM
2008
102views more  DAM 2008»
15 years 6 months ago
On the computational complexity of partial covers of Theta graphs
By use of elementary geometric arguments we prove the existence of a special integral solution of a certain system of linear equations. The existence of such a solution yields the...
Jirí Fiala, Jan Kratochvíl, Attila P...
WEA
2005
Springer
100views Algorithms» more  WEA 2005»
15 years 11 months ago
Rounding to an Integral Program
We present a general framework for approximating several NP-hard problems that have two underlying properties in common. First, the problems we consider can be formulated as intege...
Refael Hassin, Danny Segev