Reasoning About Assumptions in Graphs of Models.

Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy

Browse the full IJCAI paper archive.