203 search results - page 4 / 41 » Iterated Logic Program Updates |
IBERAMIA
2004
Springer
14 years 28 days ago
2004
Springer
JELIA
2004
Springer
14 years 27 days ago
2004
Springer
LPNMR
2001
Springer
13 years 12 months ago
2001
Springer
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...
POPL
2005
ACM
14 years 7 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...