8266 search results - page 268 / 1654 » Information About the Journal |
140
click to vote
CONTEXT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
142
click to vote
JOLLI
2002
15 years 6 months ago
2002
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
194
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The imminent mass deployment of pervasive computing technologies such as sensor networks and RFID tags, together with the increasing participation of the Web community in feeding ...
167
click to vote
ECSCW
2001
15 years 8 months ago
2001
Computer based community support systems can provide powerful support in direct exchange of information and in finding people for information exchange Such applications usually mak...
131
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina...