192 search results - page 1 / 39 » Considerations on Updates of Logic Programs |
JELIA
2000
Springer
13 years 8 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...
LOGCOM
2011
12 years 7 months ago
2011
CLIMA
2004
13 years 6 months ago
2004
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
ICLP
1998
Springer
13 years 8 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
JLP
2000
13 years 4 months ago
2000
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...