Miros{\l}aw Truszczy\'nski
Wiktor Marek and Miroslaw Truszczynski.
Autoepistemic logic.
Journal of the ACM
, 38(3):588-619, July 1991.
Citations, etc.
V. Wiktor Marek, Grigori F. Schwarz, and Miros{\l}aw Truszczy\'nski.
Modal nonmonotonic logics: Ranges, characterization, computation.
Journal of the ACM
, 40(4):963-990, September 1993.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database