393 search results - page 40 / 79 » Probabilistic Description Logic Programs |
131
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
89
Voted
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
173
click to vote
BANFF
1995
15 years 4 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
107
click to vote
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
104
click to vote
JSAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...