A formal specification of deadlines using dynamic deontic logic

F.P.M. Dignum, H. Weigand, E. Verharen

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    78 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's18
    StatusGepubliceerd - 1996

    Publicatie series

    NaamComputing science reports
    Volume9609
    ISSN van geprinte versie0926-4515

    Toegang tot document

    • 9613609Definitieve gepubliceerde versie, 645 KB

      Citeer dit