25538 search results - page 26 / 5108 » Explanation in Information Systems |
RWEB
2010
Springer
13 years 6 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
TACAS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes a novel method for explaining Bayesian network (BN) inference when the network is modeling a population of conditionally independent agents, each of which is m...
IJCAI
2003
13 years 9 months ago
2003
This paper reconsiders the notions of actual cause and explanation in functional causal models. We demonstrate that isomorphic causal models can generate intuitively different cau...
NIPS
1992
13 years 8 months ago
1992
How can artificial neural nets generalize better from fewer examples? In order to generalize successfully, neural network learning methods typically require large training data se...