DAML Background
by Lynn Andrea Stein

Table of contents

• Logic history in 3 points
• Attempts to reason
• AI tries a number of fixes
• DAML-O
• DAML-O