ontolog-forum
[Top] [All Lists]

[ontolog-forum] SNARK

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Adam Pease <apease@xxxxxxxxxxxxxxxxxx>
Date: Thu, 01 May 2003 12:48:52 -0700
Message-id: <5.2.0.9.0.20030501124754.02959a30@xxxxxxxxxxxxxxxxxx>
Folks,
   Also per today's discussion, the SNARK reasoner can be accessed at 
<http://www.ai.sri.com/~stickel/snark.html>.    (01)

Adam    (02)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config: 
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (03)

<Prev in Thread] Current Thread [Next in Thread>