2649 search results - page 227 / 530 » Temporal Theories of Reasoning |
172
click to vote
TVCG
2012
13 years 9 months ago
2012
—Time is a universal and essential aspect of data in any investigative analysis. It helps analysts establish causality, build storylines from evidence, and reject infeasible hypo...
165
click to vote
ICTAC
2004
Springer
16 years 2 days ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
181
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
178
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
156
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper provides an intelligent multiagent approach to incorporate human temperaments into the filtering process of an information recommendation service. Our approach is to de...