Sciweavers

127 search results - page 8 / 26
» A Calculus for Causal Relevance
Sort
View
AAAI
2008
15 years 2 months ago
Loop Calculus for Satisfiability
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
Lukas Kroc, Michael Chertkov
APLAS
2008
ACM
15 years 1 months ago
Extensional Universal Types for Call-by-Value
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
Kazuyuki Asada
COLING
1992
15 years 26 days ago
A Tense And Aspect Calculus
This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formM representation of the relevant liltguistic devices as imp...
Diana Santos
QEST
2006
IEEE
15 years 5 months ago
Causality, Responsibility, and Blame: A Structural-Model Approach
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
Joseph Y. Halpern
FLAIRS
2010
15 years 2 months ago
Commonsense Inference in Dynamic Spatial Systems: Epistemological Requirements
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
Mehul Bhatt