Search Sciweavers | Sciweavers

356 search results - page 8 / 72

» Axiomatizing Causal Reasoning

122

click to vote

FUIN
2010

163views more FUIN 2010»

Equational Reasoning on Mobile Ad Hoc Networks

14 years 9 months ago

Download www.cs.vu.nl

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

claim paper

Read More »

Voted

ECSQARU
2001
Springer

113views Automated Reasoning» more ECSQARU 2001»

Ramification in the Normative Method of Causality

15 years 4 months ago

Download www.cmi.univ-mrs.fr

Mahat Khelfallah, Aïcha Mokhtari

claim paper

Read More »

click to vote

RUR
1995

224views Automated Reasoning» more RUR 1995»

Causal Relevance

15 years 3 months ago

Download www.mit.edu

Glenn Shafer

claim paper

Read More »

click to vote

DLOG
2007

92views Automated Reasoning» more DLOG 2007»

Integrating Semantic Annotations in Bayesian Causal Models

15 years 2 months ago

Download dl.kr.org

Hector G. Ceballos, Francisco J. Cantú Orti...

claim paper

Read More »

click to vote

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers