DMCA

Uniform Semantic Treatment of Default and Autoepistemic Logics (2000)

by Marc Denecker , Universit'e Libre De Bruxelles , Victor W. Marek
Venue:Artificial Intelligence
Citations:49 - 26 self