Reasoning About Assumptions in Graphs of Models

Has publishing details pp. 1432-1438, 1989

Has title Reasoning About Assumptions in Graphs of Models

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai89.html#AddankiCP89a

Has where published IJCAI

Has year 1989

Has author Sanjaya Addanki +, Roberto Cremonini +, J. Scott Penberthy +

Has identifier Reasoning About Assumptions in Graphs of Models +

Categories Proceeding Paper +