Article View: sci.logic
Article #474Re: Narrowing systems
From: Bj Krawchuk
Date: Tue, 28 May 1991 17:59
Date: Tue, 28 May 1991 17:59
28 lines
1649 bytes
1649 bytes
(Erik Hamoen) wrote: _________ eh> Could anyone please mail me names and creation sites of narrowing eh> systems? There seem to be lots of term rewrite systems around, but only eh> few of them have a narrowing option. I have an experimental system that might be released soon called BALOG which has several features including narrowing, conditional rewriting systems, and various types of inductive theorem proving and theorem generation methods. (The system is primarily intended for machine learning applications). I'll send a note to anyone who is interested when the system becomes available sometime this summer. -- Bj ------------------------------------------------------------------------------ Brent J. Krawchuk Knowledge Sciences Laboratory krawchuk@cpsc.ucalgary.ca University of Calgary 2500 University Drive NW (403) 281-5427 Calgary, AB, Canada T2N 1N4 ------------------------------------------------------------------------------ Cheer up, the worst is yet to come. -- P.C. Johnson ------------------------------------------------------------------------------
Technical Details
Message-ID:
<KRAWCHUK.91May28115950@fsd.cpsc.UCalgary.ca>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!mips!atha!aunro!alberta!cpsc.ucalgary.ca!krawchukReferences:
<10042@star.cs.vu.nl>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!mips!atha!aunro!alberta!cpsc.ucalgary.ca!krawchuk From: krawchuk@cpsc.UCalgary.ca (Bj Krawchuk) Newsgroups: sci.logic,comp.theory Subject: Re: Narrowing systems Message-ID: <KRAWCHUK.91May28115950@fsd.cpsc.UCalgary.ca> Date: 28 May 91 17:59:50 GMT Article-I.D.: fsd.KRAWCHUK.91May28115950 References: <10042@star.cs.vu.nl> Organization: The University of Calgary Lines: 28 In-Reply-To: erik@cs.vu.nl's message of 23 May 91 13:21:47 GMT