3907 search results - page 118 / 782 » Time, Knowledge, and Choice |
114
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
126
click to vote
KI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
148
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we present a noise level estimator using minimal values of the Short Time Fourier Transform of a signal embedded in a white Gaussian noise. The spectral kurtosis of ...
137
click to vote
WETICE
2008
IEEE
15 years 11 months ago
2008
IEEE
The “amount” of knowledge is constantly growing. Technological advances more and more facilitate an access to knowledge in an anytime, anywhere, and anyhow manner. The provisi...
125
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...