DanC: congrats, Boris!
DanC: Jared Davis dissertation proposal
DanC: "We will also add a rule of computational reflection as described by Harrison [Har95], to allow the use of metatheorems during proofs, e.g., “A accepts φ, so φ must be true.”"
DanC: "We will also add a rule of computational reflection as described by Harrison [Har95], to allow the use of metatheorems during proofs, e.g., “A accepts φ, so φ must be true.”"
danja: "Educational establishments which cover Semantic Web technologies as taught courses or research programmes."
danja: (I got a mail asking if there was any research going on in the NY area - suggestions?)
danja: (I got a mail asking if there was any research going on in the NY area - suggestions?)