95 search results - page 3 / 19 » From Logic Programs Updates to Action Description Updates |
JELIA
2000
Springer
13 years 9 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...
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
JANCL
2007
13 years 5 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...