Model Checking for Nonmonotonic Logics: Algorithms and Complexity.

Riccardo Rosati

Browse the full IJCAI paper archive.