16 citations · 16 across the 4 of their papers we have counts for
Showing 1999Show all
2 papers · 1 filter
cs.LO1999
Representation Theory for Default Logic
Victor Marek, Jan Treur, Miroslaw Truszczynski
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…
cs.LO1999
Fixpoint 3-valued semantics for autoepistemic logic
M. Denecker, V. Marek, M. Truszczynski
The paper presents a constructive fixpoint semantics for autoepistemic logic (AEL). This fixpoint characterizes a unique but possibly three-valued belief set of an autoepistemic th…