I'm back from the RChain Governance Forum in Seattle, which was full of big dreams, just like the first Web conference in Geneva....
Since my Sep 2006 visit to the ACL 2 seminar, I've been trying to get my head around existentials in ACL2. The lightbulb finally...
One my trip to Duke, just after I arrived on Thursday, Pat Hayes gave a talk about IKL; it's a logic with nice Web-like properties...
In #swig discussion, Tim mentioned he did some writing on labels and rules and OWL which prompted me to flesh out some related...
A while back, somebody turned the Monty Python Burn the Witch sketch into an example resolution proof. Bijan and Kendall had some...
In our PAW and TAMI projects, we're making a lot of progress on the practical aspects of proof exchange: in PAW we're working out...
Prompted by a question about RDF schemas for dollars, gallons, and other units, I found myself looking into SUMO again. The...
Back in September, the TAG had this great whiteboard discussion of versioning. TimBL captured an omnigraffle version, which is nice...
I recently took a turn leading discussion in the Notions & Notations class; I presented Issues in Semantic Web Logic, a hasty set...