Sciweavers

356 search results - page 7 / 72
» Axiomatizing Causal Reasoning
Sort
View
COGSCI
2004
120views more  COGSCI 2004»
14 years 11 months ago
Children's causal inferences from indirect evidence: Backwards blocking and Bayesian reasoning in preschoolers
Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children rec...
David M. Sobel, Joshua B. Tenenbaum, Alison Gopnik
TPHOL
2008
IEEE
15 years 6 months ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
ENTCS
2007
126views more  ENTCS 2007»
14 years 11 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
96
Voted
LREC
2010
156views Education» more  LREC 2010»
15 years 1 months ago
Data-Driven and Ontological Analysis of FrameNet for Natural Language Reasoning
This paper focuses on the improvement of the conceptual structure of FrameNet for the sake of applying this resource to knowledgeintensive NLP tasks requiring reasoning, such as q...
Ekaterina Ovchinnikova, Laure Vieu, Alessandro Olt...
84
Voted
FSEN
2009
Springer
15 years 6 months ago
Equational Reasoning on Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar