Sciweavers

179 search results - page 8 / 36
» Deadline-Constrained Causal Order
Sort
View
IJCAI
1989
13 years 10 months ago
A Theory of Diagnosis for Incomplete Causal Models
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
Luca Console, Daniele Theseider Dupré, Piet...
ENTCS
2002
91views more  ENTCS 2002»
13 years 8 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
ACL
1998
13 years 10 months ago
Tense and Connective Constraints on the Expression of Causality
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...
Pascal Amsili, Corinne Rossari
AAAI
2004
13 years 10 months ago
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
Vincent Vidal, Hector Geffner
AIME
2005
Springer
13 years 10 months ago
An Algorithm to Learn Causal Relations Between Genes from Steady State Data: Simulation and Its Application to Melanoma Dataset
In recent years, a few researchers have challenged past dogma and suggested methods (such as the IC algorithm) for inferring causal relationship among variables using steady state ...
Xin Zhang, Chitta Baral, Seungchan Kim