16 citations · 16 across the 2 of their papers we have counts for
4 papers · 1 filter
Logic programs with monotone cardinality atoms
Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of pro…
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…
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…
Stable models and an alternative logic programming paradigm
Victor W. Marek, Miroslaw Truszczynski
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate t…