1419 search results - page 159 / 284 » A Characterization of Constructive Dimension |
190
click to vote
ICLP
2004
Springer
16 years 9 days 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...
158
Voted
KR
2004
Springer
16 years 9 days 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...
190
click to vote
KR
2004
Springer
16 years 9 days 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...
193
click to vote
MICAI
2004
Springer
16 years 9 days 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...
169
Voted
TSD
2004
Springer
16 years 9 days 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...