1419 search results - page 159 / 284 » A Characterization of Constructive Dimension |
178
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
148
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
183
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
177
click to vote
MICAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
148
click to vote
TSD
2004
Springer
15 years 12 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...