203 search results - page 4 / 41 » Iterated Logic Program Updates |
60
Voted
IBERAMIA
2004
Springer
15 years 6 months ago
2004
Springer
88
Voted
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
76
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
119
Voted
ENTCS
2002
15 years 12 days 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...
210
Voted
POPL
2005
ACM
16 years 28 days 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...