2649 search results - page 106 / 530 » Temporal Theories of Reasoning |
191
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
141
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this study, we explore the nature of team interaction and the role of temporal coordination in asynchronously communicating global virtual project teams (GVPTs). Drawing on Tim...
178
click to vote
MKM
2007
Springer
16 years 19 days ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
193
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
125
click to vote
IJCAI
1993
15 years 7 months ago
1993
The situation recognition system, to which this paper is devoted, receives as input a stream of time-stamped events; it performs recognition of instances of occurring situations, ...