Entries:
Comments:
Posts:

Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

Guido de Caso - Distributed Knowledge Authorization Language

Download

Right click “Save as…”

In this video, Guido de Caso talks about Distributed Knowledge Authorization Language (DKAL). Guido finished his internship at the Research in Software Engineering group (RiSE) under the mentoring of Yuri Gurevich, a Principal Researcher at Microsoft Research.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

 

Tags:

Follow the Discussion

  • How is this related to logic programming? It seems like this is logic programming where variables can appear in more positions: in positions where a predicate can appear, but it cannot have arguments. 

     

    X :- said(alice,X).
    said(alice,workshere(bob)).
    
    hasaccess(P) :- workshere(P).

    This makes me wonder if it would be possible to implement a system where the "variable predicates" could also have arguments, like:

    X(Y) :- foo(X,Y).

    And whether you can also add predicate applications on the right hand side that are variables:

    foo(P) :- P.

    You can do this in Prolog with call/apply but perhaps it would not interact well with having the variables on the left hand side.

     

  • @Jules.dot: Logic programming with functors (a la Prolog) is extremely powerful. For DKAL we considered solving the underlying logic (i.e., infon logic) by reducing it to Datalog, which can be seen as logic programming with no functors.

    The details of the translation can be seen in http://research.microsoft.com/apps/pubs/?id=151514. You can find an implementation of this reduction in our CodePlex project (http://dkal.codeplex.com/">http://dkal.codeplex.com) under "DkalBackends\DatalogBackend". 

    Regarding logic programming with higher order variables, I've never seen it before, I will look into it Smiley

  • visual guardvisual guard

    Hi,
    Selection of article was fantastic and good explanation.Authorization is the process of giving someone permission to do or have something...
    Thanks

  • It was really useful topic. Video on DKAL one of best video on the topic i saw.  thank you.

  • @gorgerok:Thanks! Don't hesitate to drop a line if you have a question or if you need any help with the tools.

  • visual guardvisual guard

    Hi,
    Selection of article was fantastic and good explanation.Authorization is the process of giving someone permission to do or have something...

  • Auto Signals ProAuto Signals Pro

    vale la pena leggere. L'ho trovato molto istruttivo, come ho fatto ricerche molto ultimamente sulle questioni pratiche, come si parla di ...

  • autotradefxautotradefx

    Potrebbe essere bene che cosa mettere nel mio piccolo weblog personale, se inserisco un riferimento alla presente pagina web?

  • forex signalforex signal

    Si dovrà considerare aspetto all'interno di una sfida importante per uno da tutti i siti blog più vantaggioso per tutta la rete. Io in realtà può suggerire che il sito web!

  • forexultimatumsystemforexultima​tumsystem

    Apprezzo molto ognuno di lettura informativa qui. Io sicuramente si diffonderà la frase sul tuo sito con le persone. Applausi.

  • MaxEDDMaxEDD

    Grandi cose da te, amico. Ho letto le tue cose prima e youre troppo impressionante. Amo quello youve ha ottenuto qui, l'amore quello che stai dicendo e il modo in cui lo dite. Si rendono divertente e si riescono ancora a tenerlo intelligente. Non vedo l'ora di leggere di più da voi. Questo è davvero un grande blog.

  • lighting from manufacturerlighting from manufacturer

    Ciao grande perché si ha la webblog schцner . ABOUT've appena imbattuto nel darьber ricerca di Google. Gefдllt'm buona davvero super. rende il buon lavoro . MFG Martina

  • deca durabolindeca durabolin

    Sono molto felice di leggere questo . Questo è il tipo di manuale che deve essere dato e non a caso la disinformazione che è al altri blog. Ringraziamo per la condivisione di questa grande doc.

  • Pair Trading SignalsPair Trading Signals

    Invidio la tua capacità di pubblicare bellissimo articolo - voleva semplicemente dire che in questo modo ! , A proposito voglio dirvi :
    Malato alla morte di soffiare soldi per i cosiddetti " bot Forex" che promettono " senza perdite " e finiscono per aver violentato il tuo account di migliaia? Scopri il segreto che finalmente trasformato il mercato Forex in mia macchina contanti privato completamente il pilota automatico ... Non importa quale sia la vostra esperienza , questo lavoro per voi !
    Si potrebbe essere in vacanza alle Bahamas , mentre questo servizio unico assorbe cumuli di profitto sul tuo conto !
    Check it out su forextradersreview.com ! <a href=http://forextradersreview.com>Forex Executor</a>

  • steroidi anabolizzanti in lineasteroidi ​anabolizzan​ti in linea

    . Alcuni dettagli davvero interessanti che hai scritto su di me channel9.msdn.com Aided molto, proprio quello che stavo cercando: D.

  • appliances repairappliances repair

    Sicuramente hanno alcune opinioni e punti di vista piacevole. channel9.msdn.com offre uno sguardo nuovo verso il soggetto.

  • acquistare steroidi anabolizzanti in lineaacquistare steroidi ​anabolizzan​ti in linea

    Complimenti per avere uno dei blog più sofisticati che ho incontrato in un certo tempo! La sua incredibile quanto si può togliere qualcosa semplicemente a causa di come è bello visivamente. Youve messo insieme una grande grafica grande spazio blog, video, layout. channel9.msdn.com è sicuramente un must-see blog!

Remove this comment

Remove this thread

close

Comments Closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.