Reflexive autoepistemic logic and logic programming

  title={Reflexive autoepistemic logic and logic programming},
  author={Victor W. Marek and Miros law Truszczyński},
In this paper we show that reflexive autoepistemic logic of Schwarz is a particularly convenient modal formalism for studying properties of answer sets for logic programs with classical negation and disjunctive logic programs. Syntactical properties of logic programs imply that a natural interpretation of default logic in the logic of minimal knowledge (nonmonotonic S4F) provides also a modal representation of logic programs. Moreover, in the case of logic programs one can use reflexive… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
12 Citations
36 References
Similar Papers

Similar Papers

Loading similar papers…