Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at irc.freenode.net port 6667 channel #swig by the chump bot, instructions in the chump user manual. Please use UTF-8 charset on IRC and pastebin for code or data more than 10 lines long.

Nearby: IRC logs (Latest) | semantic-web list | ESW Wiki (Recent changes) | del.icio.us swigbot

last updated at 2001-04-14 18:47
The Unknowable, G.J.Chaitin
posted by danja at 2001-04-14 18:44 (+) tags:
danja: carrys on where Godel & Turing left off & does it in real (Lisp) code
danja: full book online
 
NARS (Non-Axiomatic Reasoning System) is an intelligent reasoning system.
posted by SethR at 2001-04-14 18:19 (+) tags:
 
Son of BirdBrain
posted by danja at 2001-04-14 18:14 (+) tags:
danja: Online theorem provers
danja: Otter & MACE
 
Quoting RDF triples using XPointer extension
posted by jon-laptop at 2001-04-14 03:02 (+) tags:
jon-laptop: can be used to represent triples as URIs
 
Created by the Daily Chump bot. Hosted by PlanetRDF.