Sciweavers

3970 search results - page 181 / 794
» A Logic For Causal Reasoning
Sort
View
SARA
2007
Springer
14 years 2 months ago
Reformulation for Extensional Reasoning
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
Timothy L. Hinrichs, Michael R. Genesereth
PSB
2010
13 years 5 months ago
Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
Luis Tari, Saadat Anwar, Shanshan Liang, Jörg...
EUSFLAT
2009
121views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
A New Conditioning Rule, Its Generalization and Evidential Reasoning
- In Evidence theory, several conditioning rules for updating belief have been proposed, including Dempster's rule of conditioning. The paper views the conditioning rules prop...
Koichi Yamada, Vilany Kimala, Muneyuki Unehara
FSKD
2011
Springer
313views Fuzzy Logic» more  FSKD 2011»
12 years 7 months ago
Robust initialization for reasoning procedures in a hierarchical heterogeneous knowledge-base
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
Slobodan Ribaric, Darijan Marcetic, Zongmin Ma
FOSSACS
2000
Springer
13 years 11 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses