J. Delgrande, T. Schaub, and H. Tompits. A compilation of Brewka and Eiter's approach to prioritization. In Proc. JELIA-00, pages 376--390. Springer Verlag, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Compilation of Updates plus Preferences - Alferes, Dell'Acqua, Pereira (2002) (1 citation) (Correct)
....within standard stable model semantics. The encoding consists essentially of two parts: the encoding DLP (s; P ) for updating generalized and priority rules, and the new encoding (r) for taking into consideration preference information. The encoding (r) is based on the encoding developed in [9] for preferences alone. This encoding relies on several predicates that enable us to detect when a rule r has been applied ap(n r ) blocked bl(n r ) unsupported ko(n r ) and a predicate ok(n r ) that enables application of rules. If r is OK, then r can be applied or found to be inapplicable, ....
....been settled for higher ranked rules. If there exists a rule in the program that cannot be proved OK, then the model does not respect the preference information and therefore it is not preferred. In order to combine the (r) encoding with the DLP (s; P ) encoding, we have adapted the encoding in [9] to take into account the language L b K of DLP (s; P ) Thus, we have substituted each default atom not A in a rule r with A . As in the updating phase rules can be rejected, and therefore cannot be used within the preferring phase, we need to consider them not in (r) This is achieved via the ....
[Article contains additional citation context not shown here]
J. Delgrande, T. Schaub, and H. Tompits. A compilation of Brewka and Eiter's approach to prioritization. In M. O. Aciego, I. P. de Guzman, G. Brewka, and L. M. Pereira (eds.), Logics in AI, Procs. JELIA'00, LNAI 1919, pp. 376-390, 2000.
plp: A Generic Compiler for Ordered Logic Programs - Delgrande, Schaub, Tompits (2001) (5 citations) Self-citation (Delgrande Schaub Tompits) (Correct)
No context found.
J. Delgrande, T. Schaub, and H. Tompits. A compilation of Brewka and Eiter's approach to prioritization. In Proc. JELIA-00, pages 376--390. Springer Verlag, 2000.
Using Methods of Declarative Logic Programming for.. - Eiter, Sabbatini.. (2000) (2 citations) Self-citation (Tompits) (Correct)
....expressed outside the program, in the form of meta information. Moreover this formalism can be extended to deal with preferences among sets of rules. Alternative strategies for preference handling can be achieved as well by changing the specifications of the transformed program. For instance, in [52] it is shown that the method of Brewka and Eiter can be encoded within this framework. 6.6 Disjunctive Programs with Inheritance by Buccafurri et al. In [39, 38] a framework for disjunctive logic programs with inheritance (denoted DLP ) on the basis of answer set semantics is introduced. Given ....
J. Delgrande, T. Schaub and H. Tompits. A Compilation of Brewka and Eiter's Approach to Prioritization. Proceedings of the Seventh European Workshop on Logics in Artificial Intelligence (JELIA 2000), pages 376--390, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC