Sciweavers

6 search results - page 1 / 2
» jelia 2000
Sort
View
JELIA
2000
Springer
13 years 8 months ago
A Framework for Belief Update
Paolo Liberatore
JELIA
2000
Springer
13 years 8 months ago
A Compilation of Brewka and Eiter's Approach to Prioritization
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...
James P. Delgrande, Torsten Schaub, Hans Tompits
JELIA
2000
Springer
13 years 8 months ago
Considerations on Updates of Logic Programs
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...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
JELIA
2000
Springer
13 years 8 months ago
A Logic for Modeling Decision Making with Dynamic Preferences
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
Marina De Vos, Dirk Vermeir