Sciweavers

3970 search results - page 144 / 794
» A Logic For Causal Reasoning
Sort
View
CSL
2006
Springer
13 years 11 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets
ICASSP
2009
IEEE
14 years 2 months ago
Real-time dynamic MR image reconstruction using Kalman Filtered Compressed Sensing
In recent work, Kalman Filtered Compressed Sensing (KF-CS) was proposed to causally reconstruct time sequences of sparse signals, from a limited number of “incoherent” measure...
Chenlu Qiu, Wei Lu, Namrata Vaswani
COGSCI
2006
107views more  COGSCI 2006»
13 years 8 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
CONNECTION
2006
101views more  CONNECTION 2006»
13 years 8 months ago
Learning acceptable windows of contingency
By learning a range of possible times over which the effect of an action can take place, a robot can reason more effectively about causal and contingent relationships in the world...
Kevin Gold, Brian Scassellati
JANCL
2006
123views more  JANCL 2006»
13 years 7 months ago
Approximate databases: a support tool for approximate reasoning
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
Patrick Doherty, Martin Magnusson, Andrzej Szalas