J. Rintanen. Prioritized autoepistemic logic. In C. MacNish, D. Pearce, and L. M. Pereira, editors, Proceedings of the European Workshop on Logics in Artificial Intelligence, volume 838 of Lecture Notes in Artificial Intelligence, pages 232--246, Berlin, September 1994. Springer-Verlag. 29 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Framework for Compiling Preferences in Logic Programs - Delgrande, Schaub (2002) (5 citations) (Correct)
....preferences in the context of nonmonotonic rule systems has attracted extensive interest in the past decades. In fact, for almost every nonmonotonic approach there exist prioritised versions designed to handle preference information of some form (see, e.g. Gelfond et al. 1989; Konolige, 1988; Rintanen, 1994; Nebel, 1998; Eiter and Gottlob, 1995; Brewka, 1989; Brewka, 1996] Prioritised versions of default logic and logic programming 33 under the answer set semantics includes [Baader and Hollunder, 1993; Brewka, 1994; Rintanen, 1998b; Sakama and Inoue, 1996; Gelfond and Son, 1997; Zhang and ....
J. Rintanen. Prioritized autoepistemic logic. In C. MacNish, D. Pearce, and L. M. Pereira, editors, Proceedings of the European Workshop on Logics in Artificial Intelligence, volume 838 of Lecture Notes in Artificial Intelligence, pages 232--246, Berlin, September 1994. Springer-Verlag.
On Specificity in Default Logic - Rintanen (1995) (12 citations) Self-citation (Rintanen) (Correct)
....rule about penguins should be used. Reiter and Criscuolo [ 1981 ] suggest that the application of less specic defaults can be explicitly blocked by using semi normal defaults. Others introduce priorities [ Lifschitz, 1985; Konolige, 1988; Brewka, 1989; Baader and Hollunder, 1993; Brewka, 1994; Rintanen, 1994 ] Priorities are given as orderings of predicates, formulae, or default rules: in conAEicting situations preference is given to items with a higher priority. The second kind of weakness shows up in logics based on probability [ Adams, 1975; Pearl, 1988 ] and in logics that are dened directly ....
....conAEicts are resolved without violating specicity, and take their intersection. Such a subset can be selected for example by lexicographic comparison. 3 Priorities in default logic Lexicographic priorities in the context of expressive nonmonotonic logics have been earlier investigated in [ Rintanen, 1994 ] In that paper a denition of preferred stable expansions for autoepistemic logic was given. A similar denition can be devised for default logic. The signi cance of defaults is represented by a strict partial order, that is, a transitive and asymmetric relation P . If defaults ffi and ffi 0 ....
Jussi Rintanen. Prioritized autoepistemic logic. In Logic in Articial Intelligence: Proceedings of the 4th European Workshop JELIA'94, number 838 in Lecture Notes in Articial Intelligence, pages 232246, York, England, 1994. Springer-Verlag.
Complexity of Prioritized Default Logics - Rintanen (1998) (2 citations) Self-citation (Rintanen) (Correct)
....E as p: p 0 = p 0 P:p 0 =p 0 . Hence M j= p and M j= c. Because this holds for all c 2 C, finally M j= C. 2 5. Lexicographic Prioritized Default Logic A definition of prioritized default logic is used by Rintanen (1999) This definition is based on an earlier one for autoepistemic logic (Rintanen, 1994). The priority mechanism uses lexicographic comparison and the preferred extensions in this approach do not in general coincide with the preferred extensions in the prioritized default logics discussed in Section 4. Lexicographic comparison has earlier been used in the context of nonmonotonic ....
Rintanen, J. (1994). Prioritized autoepistemic logic. In MacNish, C., Pearce, D., & Moniz Pereira, L. (Eds.), Logic in Artificial Intelligence: Proceedings of the 4th European Workshop JELIA'94, No. 838 in Lecture Notes in Artificial Intelligence, pp. 232--246 York, England. Springer-Verlag.
A Classification and Survey of Preference Handling.. - Delgrande, Schaub, al. (Correct)
No context found.
J. Rintanen. Prioritized autoepistemic logic. In C. MacNish, D. Pearce, and L. M. Pereira, editors, Proceedings of the European Workshop on Logics in Artificial Intelligence, volume 838 of Lecture Notes in Artificial Intelligence, pages 232--246, Berlin, September 1994. Springer-Verlag. 29
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