adamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agoProlog used in smart contract system for real estate transactionsplus-squaretwitter.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProlog used in smart contract system for real estate transactionsplus-squaretwitter.comadamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
adamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agoProlog Day Symposiumplus-squareprologyear.logicprogramming.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProlog Day Symposiumplus-squareprologyear.logicprogramming.orgadamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
adamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agoInterview with Pascal Hitzler: The Rise of NSAI, Explainability, Concept Induction, and moreplus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkInterview with Pascal Hitzler: The Rise of NSAI, Explainability, Concept Induction, and moreplus-squarewww.youtube.comadamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
adamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agoAutomatic Differentiation in Prologplus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAutomatic Differentiation in Prologplus-squarearxiv.orgadamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
adamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agoParsing AsciiDoc in Prologplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkParsing AsciiDoc in Prologplus-squaregithub.comadamcrussell@lemmy.sdf.orgM to Prolog@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
