7988 search results - page 377 / 1598 » A Useful Undecidable Theory |
149
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
We study the empirical meaning of randomness with respect to a family of probability distributions P, where is a real parameter, using algorithmic randomness theory. In the case w...
179
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
157
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
182
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminate...
190
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we introduce the concept of valued tolerance as an extension of the usual concept of indiscernibility (which is a crisp equivalence relation) in rough sets theory. So...