Uniform Semantic Treatment of Default and Autoepistemic Logics (2000)

by Marc Denecker , Victor W. Marek , Miroslaw Truszczynski
Venue:ARTIFICIAL INTELLIGENCE
Citations:41 - 23 self