All posts published during .
I read CS papers by turning notation into (@idrislang) code. Slow going, but the only way I really grok. e.g....
My quest to to find a good digital preservation technique for my college math and computer science notebooks has been rekindled most recently by idris and earlier by metamath and proofcheck.
A quote from Gruber, via Norvig in 2009, on the sociology of developing ontologies: In some domains, competing factions each want...
I'm purging another box of files today: college math & C.S. notes, including a few dozen transparencies I prepared for classes on...
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...