Sciweavers

3970 search results - page 16 / 794
» A Logic For Causal Reasoning
Sort
View
LOGCOM
2007
97views more  LOGCOM 2007»
13 years 7 months ago
A General Framework for Expressing Preferences in Causal Reasoning and Planning
We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
James P. Delgrande, Torsten Schaub, Hans Tompits
BIOINFORMATICS
2012
11 years 10 months ago
Causal reasoning on biological networks: interpreting transcriptional changes
d Abstract) Leonid Chindelevitch1 , Daniel Ziemek1, , Ahmed Enayetallah2 , Ranjit Randhawa1 , Ben Sidders3 , Christoph Brockel4 , and Enoch Huang1 1 Computational Sciences Center o...
Leonid Chindelevitch, Daniel Ziemek, Ahmed Enayeta...
CADE
2000
Springer
13 years 12 months ago
Reducing Model Checking of the Many to the Few
E. Allen Emerson, Vineet Kahlon
CADE
2000
Springer
13 years 12 months ago
Support Ordered Resolution
Bruce Spencer, Joseph Douglas Horton