16 citations · 16 across the 2 of their papers we have counts for
1 paper · 1 filter
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
We revisit the issue of connections between two leading formalisms in nonmonotonic reasoning: autoepistemic logic and default logic. For each logic we develop a comprehensive seman…