Sciweavers

537 search results - page 6 / 108
» A Theory of Inferred Causation
Sort
View
JMLR
2011
187views more  JMLR 2011»
15 years 1 months ago
Robust Statistics for Describing Causality in Multivariate Time Series
A widely agreed upon definition of time series causality inference, established in the seminal 1969 article of Clive Granger (1969), is based on the relative ability of the histor...
Florin Popescu
ITP
2010
165views Mathematics» more  ITP 2010»
15 years 10 months ago
A Mechanized Translation from Higher-Order Logic to Set Theory
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
Alexander Krauss, Andreas Schropp
LOGCOM
2007
180views more  LOGCOM 2007»
15 years 5 months ago
A Causal Theory of Abduction
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
Alexander Bochman
AGI
2008
15 years 7 months ago
Stages of Ethical Development in Artificial General Intelligence Systems
A novel theory of the stages of ethical development in intelligent systems is proposed, incorporating prior related theories by Kohlberg and Gilligan, as well as Piaget's theo...
Ben Goertzel, Stephan Vladimir Bugaj
AMAI
2006
Springer
15 years 6 months ago
Functional and multivalued dependencies in nested databases generated by record and list constructor
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe