All posts published during .
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...
A while back, somebody turned the Monty Python Burn the Witch sketch into an example resolution proof. Bijan and Kendall had some...
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...