Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too.

Charles Rich

Browse the full AAAI paper archive.