G. F. Shvarts. Fixed points in the propositional nonmonotonic logic. Artificial Intelligence, 38:199--206, 1989. 12  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On the existence of fixpoints in Moore's autoepistemic logic and.. - Stärk (1990) (4 citations) (Correct)
....the algorithm above. 8 6 The non monotonic logic of McDermott and Doyle In this section we shall show that the methods developed in the previous sections are applicable to the propositional non monotonic logic of McDermott and Doyle in [4] Some of our results were already proved by Shvarts in [8] but the point of this section are not the theorems but the uniform transformation of notions like extension and labeling and the correspondence of extensions and admissible labelings. McDermott and Doyle use a language with a modal operator M and their non monotonic logic is concerned with ....
G. F. Shvarts. Fixed points in the propositional nonmonotonic logic. Artificial Intelligence, 38:199--206, 1989. 12
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