Foundations of Mathematics in the Twentieth Century

Autor: Marek, V. Wiktor, Mycielski, Jan

Publikováno v: The American Mathematical Monthly, 2001 May 01. 108(5), 449-468.

Externí odkaz: https://www.jstor.org/stable/2695803

Modal nonmonotonic logics.

Autor: Marek, V. Wiktor, Schwarz, Grigori F., Truszczyński, Mirosław

Publikováno v: Journal of the ACM; Sep1993, Vol. 40 Issue 4, p961-988, 28p

Representation Theory for Default Logic

Autor: Marek, V. Wiktor, Treur, Jan, Truszczynski, Miroslaw

Publikováno v: Annals of Mathematics and Artificial Intelligence, 21(2-4), 343-358. Springer Netherlands
Marek, V W, Treur, J & Truszczynski, M 1997, ' Representation theory for default logic ', Annals of Mathematics and Artificial Intelligence, vol. 21, no. 2-4, pp. 343-358 . https://doi.org/10.1023/A:1018977721624

Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning agent. As such, it is inherently second-order. In this paper, we study the problem of representability of a family of theories as the set of extensions o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28258e847863a85736451a82e5e35fc2

The Pure Logic of Necessitation.

Autor: FITTING, MELVIN C., MAREK, V. WIKTOR, TRUSZCZYŃSKI, MIROSLAW

Publikováno v: Journal of Logic & Computation; Jun1992, Vol. 2 Issue 3, p349-373, 25p

Mechanical proof systems for logic II, consensus programs and their processing

Autor: Rasiowa, Helena, Marek, V. Wiktor

Publikováno v: Journal of Intelligent Information Systems; June 1993, Vol. 2 Issue: 2 p149-164, 16p