Caroprese, Luciano; Truszczyński, Mirosław Active integrity constraints and revision programming. (English) Zbl 1242.68049 Theory Pract. Log. Program. 11, No. 6, 905-952 (2011). MSC: 68N17 68P15 68Q55 PDFBibTeX XMLCite \textit{L. Caroprese} and \textit{M. Truszczyński}, Theory Pract. Log. Program. 11, No. 6, 905--952 (2011; Zbl 1242.68049) Full Text: DOI arXiv
Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław Annotated revision programs. (English) Zbl 0995.68106 Artif. Intell. 138, No. 1-2, 149-180 (2002). MSC: 68T30 68P15 PDFBibTeX XMLCite \textit{V. Marek} et al., Artif. Intell. 138, No. 1--2, 149--180 (2002; Zbl 0995.68106) Full Text: DOI
Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław Annotated revision programs. (English) Zbl 0952.68034 Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 49-62 (1999). MSC: 68N19 68P15 68T30 PDFBibTeX XMLCite \textit{V. Marek} et al., Lect. Notes Comput. Sci. 1730, 49--62 (1999; Zbl 0952.68034)
Marek, Victor W.; Truszczyński, Mirosław Revision programming. (English) Zbl 0893.68054 Theor. Comput. Sci. 190, No. 2, 241-277 (1998). MSC: 68P15 PDFBibTeX XMLCite \textit{V. W. Marek} and \textit{M. Truszczyński}, Theor. Comput. Sci. 190, No. 2, 241--277 (1998; Zbl 0893.68054) Full Text: DOI
Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław Modal nonmonotonic logics: Ranges, characterization, computation. (English) Zbl 0783.68121 J. Assoc. Comput. Mach. 40, No. 4, 963-990 (1993). MSC: 68T30 68T15 PDFBibTeX XMLCite \textit{V. W. Marek} et al., J. Assoc. Comput. Mach. 40, No. 4, 963--990 (1993; Zbl 0783.68121) Full Text: DOI
Marek, Wiktor; Truszczynski, Miroslaw Autoepistemic logic. (English) Zbl 0799.68176 J. Assoc. Comput. Mach. 38, No. 3, 588-619 (1991). MSC: 68T27 68N17 03B45 68T15 68Q25 PDFBibTeX XMLCite \textit{W. Marek} and \textit{M. Truszczynski}, J. Assoc. Comput. Mach. 38, No. 3, 588--619 (1991; Zbl 0799.68176) Full Text: DOI