DMCA

The complexity of reasoning for fragments of autoepistemic logic (2010)

Cached

Download Links

by Nadia Creignou , Arne Meier , Michael Thomas , Heribert Vollmer
Venue:In Circuits, Logic, and Games, volume 10061 of Dagstuhl Seminar Proceedings
Citations:5 - 4 self