Speaker Name(s): Thomas Russ
Description: ISI has a powerful logic-based reasoning system called PowerLoom. It provides representation and inference services based on first-order logic. This presentation will provide an overview of the PowerLoom language and provide a tutorial in using the language. This tutorial will present the basic framework of PowerLoom and will include the ability to do some hands-on exercises using the PowerLoom language. Some of this will be free-form, so the direction will be determined in part by questions and interests of the participants. PowerLoom software can be obtained at http://www.isi.edu/isd/LOOM/PowerLoom/download.html where you should download the current PowerLoom snapshot.