Symposium on Abstraction, Reformulation, and Approximation
Eighth Symposium on Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases

Hinrichs, Kao, Genesereth




Search conference