203 search results - page 6 / 41 » Iterated Logic Program Updates |
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
LPKR
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
PRICAI
2004
Springer
14 years 27 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
LPNMR
2004
Springer
14 years 27 days ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...