203 search results - page 11 / 41 » Iterated Logic Program Updates |
118
Voted
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
106
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
139
click to vote
AMAI
2004
Springer
15 years 2 months ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
116
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
137
Voted
WFLP
2000
Springer
15 years 5 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...