806 search results - page 4 / 162 » SDL in a Changing World |
AMAST
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
AAAI
1994
14 years 6 days ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
AUSAI
2004
Springer
14 years 4 months ago
2004
Springer
One problem many Web users encounter is to keep track of changes of distant Web sources. Push services, informing clients about data changes, are frequently not provided by Web ser...
SIIT
2003
IEEE
14 years 4 months ago
2003
IEEE
ELPUB
2000
ACM
14 years 3 months ago
2000
ACM
This paper describes part of the results of recent research carried out in Brazil and the UK, which investigated the perceptions by academic social scientists of the impact of ele...