925 search results - page 101 / 185 » Probabilistic and Logical Beliefs |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
DLOG
2008
13 years 10 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
ILP
2000
Springer
13 years 11 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
TSMC
2002
13 years 7 months ago
2002
There are a lot of industrial applications that can be solved competitively by hard computing, while still requiring the tolerance for imprecision and uncertainty that can be explo...