3926 search results - page 431 / 786 » A Logic of Object-Oriented Programs |
184
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
182
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
179
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
202
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
153
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...