1078 search results - page 177 / 216 » The Modal Logic of Probability |
116
Voted
AGENTCL
2000
Springer
15 years 4 months ago
2000
Springer
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that tea...
127
Voted
ATAL
2005
Springer
15 years 2 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
89
Voted
ECIS
2003
15 years 2 months ago
2003
This paper claims that in its current use the term ‘network’ represents no more than a suggestive image of organizing in an age of spectacular context-crossing electronic tran...
137
Voted
JAPLL
2010
14 years 11 months ago
2010
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
112
Voted
NDJFL
1998
15 years 12 days ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...