Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!husc6!necntc!ames!sdcsvax!ucsdhub!esosun!seismo!uunet!mcvax!ukc!eagle!icdoc!qmc-cs!flash
From: flash@qmc-cs.UUCP
Newsgroups: comp.ai
Subject: Using the ATMS to Scan Homeric Verse
Message-ID: <297@sequent.cs.qmc.ac.uk>
Date: Tue, 29-Sep-87 11:18:35 EDT
Article-I.D.: sequent.297
Posted: Tue Sep 29 11:18:35 1987
Date-Received: Sat, 3-Oct-87 04:41:32 EDT
Sender: root@cs.qmc.ac.uk
Reply-To: flash@cs.qmc.ac.uk
Organization: EE Dept, Queen Mary College, University of London, UK.
Lines: 4
Keywords: hexameters, Greek poetry, deKleer, Truth Maintenance
Summary: Anybody doing anything similar?

As a toy demo, I'm trying to use Johan deKleer's Assumption Based
Truth Maintenance System to scan Homer.  I'd appreciate comments.
I'd also appreciate it if somebody could email me a hundred or so
lines, so I don't have to type in any more.