Sciweavers

11160 search results - page 88 / 2232
» Incompleteness in a General Setting
Sort
View
95
Voted
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 16 days ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
96
Voted
FS
2011
95views more  FS 2011»
14 years 7 months ago
A note on the existence of the power investor's optimizer
[KLSX91] ensure the existence of the expected utility maximizer for investors with constant relative risk aversion coefficients less than one. In this note, we explain a simple tr...
Kasper Larsen
93
Voted
IJAR
2011
88views more  IJAR 2011»
14 years 7 months ago
A framework for reasoning under uncertainty based on non-deterministic distance semantics
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
Ofer Arieli, Anna Zamansky
108
Voted
DCG
2006
97views more  DCG 2006»
15 years 21 days ago
k-Sets in Four Dimensions
We show, with an elementary proof, that the number of halving simplices in a set of n points in R4 in general position is O(n4-2/45). This improves the previous bound of O(n4-1/13...
Jirí Matousek, Micha Sharir, Shakhar Smorod...
105
Voted
COMGEO
2004
ACM
15 years 16 days ago
A lower bound on the number of triangulations of planar point sets
We show that the number of straight-edge triangulations exhibited by any set of n points in general position in the plane is bounded from below by (2.33n). 2004 Elsevier B.V. All ...
Oswin Aichholzer, Ferran Hurtado, Marc Noy