1902 search results - page 80 / 381 » Differential Dynamic Logics |
148
click to vote
DEXAW
2004
IEEE
15 years 9 months ago
2004
IEEE
The concept of automating Web services, specifically the brokering activities, is an active research topic. We need a comprehensive and overarching framework that handles the disc...
200
click to vote
ICRA
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper describes an approach to surface identification in the context of mobile robotics, applicable to supervised and unsupervised learning. The identification is based on ana...
161
click to vote
JCSS
2008
15 years 5 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
184
click to vote
JELIA
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
184
Voted
AMAST
2010
Springer
15 years 13 days 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...