3970 search results - page 611 / 794 » A Logic For Causal Reasoning |
141
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
135
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
Developing customers’ initial trust in e-businesses is critical for many online vendors, especially for startup companies. As an effort to understand initial trust in the busine...
177
click to vote
ISDA
2005
IEEE
16 years 3 days ago
2005
IEEE
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
175
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...
174
click to vote
LPNMR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...