Generality and Equivalence Relations in Default Logic.

Katsumi Inoue, Chiaki Sakama

Browse the full AAAI paper archive.