3970 search results - page 372 / 794 » A Logic For Causal Reasoning |
167
click to vote
EWC
2000
15 years 6 months ago
2000
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...
203
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Structural analysis of cellular interaction networks contributes to a deeper understanding of network-wide interdependencies, causal relationships, and basic functiona...
188
click to vote
DLOG
2001
15 years 8 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
167
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...
211
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...