Sciweavers

127 search results - page 6 / 26
» A Calculus for Causal Relevance
Sort
View
CORR
2011
Springer
190views Education» more  CORR 2011»
13 years 1 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin
ICFP
2009
ACM
14 years 10 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak
IAT
2010
IEEE
13 years 7 months ago
Intention Recognition with Event Calculus Graphs
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
Fariba Sadri
BMCBI
2011
13 years 1 months ago
RegNetB: Predicting Relevant Regulator-Gene Relationships in Localized Prostate Tumor Samples
Background: A central question in cancer biology is what changes cause a healthy cell to form a tumor. Gene expression data could provide insight into this question, but it is dif...
Angel Alvarez, Peter J. Woolf
ASP
2001
Springer
14 years 1 months ago
Additive Fluents
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows fo...
Joohyung Lee, Vladimir Lifschitz