Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at Freenode channel #swig 2001-2018 approx by the chump bot.

Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious 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.