5198 search results - page 771 / 1040 » A Logic of Agent Programs |
171
click to vote
AI
2005
Springer
15 years 6 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...
207
click to vote
LOGCOM
2007
15 years 6 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
183
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
154
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
179
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...