3793 search results - page 455 / 759 » Expressive Description Logics |
234
click to vote
IDA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
189
click to vote
DIAGRAMS
2004
Springer
16 years 2 days ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
172
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
190
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
177
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...