192 search results - page 2 / 39 » Considerations on Updates of Logic Programs |
178
click to vote
EPIA
2009
Springer
16 years 11 days ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
128
Voted
APLAS
2009
ACM
16 years 9 days ago
2009
ACM
159
Voted
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
177
click to vote
IJCAI
2003
15 years 7 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
148
click to vote
IJCAI
2001
15 years 7 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...