Sciweavers

2519 search results - page 119 / 504
» Reasoning with Textual Cases
Sort
View
COGSCI
2004
120views more  COGSCI 2004»
15 years 4 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
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 4 months ago
Complete Axiomatizations for Reasoning About Knowledge and Time
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...
116
Voted
IJMMS
1998
137views more  IJMMS 1998»
15 years 4 months ago
A context model for knowledge-intensive case-based reasoning
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
Pinar Öztürk, Agnar Aamodt
141
Voted
TPLP
2010
115views more  TPLP 2010»
15 years 2 months ago
Towards closed world reasoning in dynamic open worlds
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
Martin Slota, João Leite
162
Voted
IFIP
2010
Springer
14 years 11 months ago
Reasoning about Probabilistic Security Using Task-PIOAs
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
Aaron D. Jaggard, Catherine Meadows, Michael Mislo...