10568 search results - page 704 / 2114 » Computer Intelligence and Formalization |
179
click to vote
NMR
2004
Springer
16 years 17 days ago
2004
Springer
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...
177
click to vote
TPHOL
2003
IEEE
16 years 15 days ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
219
click to vote
AGENTCL
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
198
click to vote
AGENTCL
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...
170
click to vote
ATAL
2003
Springer
16 years 14 days ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...