3571 search results - page 83 / 715 » Cohen and Set Theory |
IJCAI
1997
13 years 9 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
TSP
2008
13 years 7 months ago
2008
This paper presents a novel and mathematically rigorous Bayes recursion for tracking a target that generates multiple measurements with state dependent sensor field of view and clu...
STANDARDVIEW
1998
13 years 7 months ago
1998
Voluntary standardisation bodies regularly issue calls for increased user participation in their work groups. This paper challenges such calls. It suggests that users are not norm...
IAT
2009
IEEE
13 years 5 months ago
2009
IEEE
Patrolling environments by means of autonomous mobile robots has received an increasing attention in the last few years. The interest of the agent community is mainly in the develo...
AMAI
2006
Springer
13 years 7 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...