Sciweavers

7289 search results - page 294 / 1458
» A Dependent Set Theory
Sort
View
152
Voted
ALDT
2009
Springer
144views Algorithms» more  ALDT 2009»
16 years 1 months ago
A Complete Conclusion-Based Procedure for Judgment Aggregation
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same pr...
Gabriella Pigozzi, Marija Slavkovik, Leendert van ...
AML
2008
66views more  AML 2008»
15 years 6 months ago
Register computations on ordinals
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...
Peter Koepke, Ryan Siders
AAAI
2007
15 years 9 months ago
Computational Aspects of Covering in Dominance Graphs
Various problems in AI and multiagent systems can be tackled by finding the “most desirable” elements of a set given some binary relation. Examples can be found in areas as d...
Felix Brandt, Felix A. Fischer
LATA
2009
Springer
16 years 1 months ago
Tiling the Plane with a Fixed Number of Polyominoes
Deciding whether a finite set of polyominoes tiles the plane is undecidable by reduction from the Domino problem. In this paper, we prove that the problem remains undecidable if t...
Nicolas Ollinger
MAAMAW
1999
Springer
15 years 11 months ago
Extending Social Reasoning to Cope with Multiple Partner Coalitions
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instru...
Nuno David, Jaime Simão Sichman, Helder Coe...