A Proof-Theoretic Approach to Irrelevance: Foundations and Applications

Alon Levy, Richard Fikes, Yehoshua Sagiv

This paper focuses on the foundations of our framework and outlines the space of definitions of irrelevance. The last section outlines the results concerning automatic determination of irrelevance and describes the applications of our framework.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.