Sciweavers

49 search results - page 5 / 10
» Explaining Counterexamples Using Causality
Sort
View
AAAI
2011
13 years 9 months ago
Relational Blocking for Causal Discovery
Blocking is a technique commonly used in manual statistical analysis to account for confounding variables. However, blocking is not currently used in automated learning algorithms...
Matthew J. Rattigan, Marc E. Maier, David Jensen
EAAI
2007
135views more  EAAI 2007»
14 years 9 months ago
Automatic generation of explanations: AGE
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
Silvia B. González-Brambila, Eduardo F. Mor...
COGSCI
2006
107views more  COGSCI 2006»
14 years 9 months ago
Arrows in Comprehending and Producing Mechanical Diagrams
Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...
Julie Heiser, Barbara Tversky
SYNTHESE
2010
101views more  SYNTHESE 2010»
14 years 7 months ago
Actual causation: a stone soup essay
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
Clark Glymour, David Danks, Bruce Glymour, Frederi...
ERSHOV
2006
Springer
14 years 11 months ago
Verifying Generalized Soundness of Workflow Nets
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova, M...