11160 search results - page 390 / 2232 » Incompleteness in a General Setting |
158
click to vote
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
214
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
Kolmogorov’s setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role ...
165
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a new approach to cope with unknown redundant systems. For this we present i) an online algorithm that learns general input-output restrictions and, ii) a method tha...
136
click to vote
MM
2003
ACM
16 years 3 days ago
2003
ACM
Cameras with story understanding can help videographers reflect on their process of content capture during documentary construction. This paper describes a set of tools that use c...
180
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...