Sciweavers

11160 search results - page 88 / 2232
» Incompleteness in a General Setting
Sort
View
CORR
2004
Springer
111views Education» more  CORR 2004»
13 years 9 months 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
FS
2011
95views more  FS 2011»
13 years 5 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
IJAR
2011
88views more  IJAR 2011»
13 years 5 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
DCG
2006
97views more  DCG 2006»
13 years 10 months 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...
COMGEO
2004
ACM
13 years 9 months 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