2530 search results - page 4 / 506 » Dynamic topological logic |
IWFM
1998
13 years 8 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
EUSFLAT
2009
13 years 5 months ago
2009
ENTCS
2002
13 years 7 months ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
AIML
2008
13 years 9 months ago
2008
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...
INFOCOM
2000
IEEE
13 years 12 months ago
2000
IEEE
Abstract— Knowledge of the up-to-date physical topology of an IP network is crucial to a number of critical network management tasks, including reactive and proactive resource ma...