Meeting the Deadline

On the Formal Specification of Temporal Deontic Constraints

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS '96)
    EditorsZ.W. Ras, M. Michalewicz
    Place of PublicationBerlijn
    PublisherSpringer Verlag LNAI 1079
    Pages243-252
    ISBN (Print)3540612866
    Publication statusPublished - 1996

    Cite this

    Dignum, F., Verharen, E. M., & Weigand, H. (1996). Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints. In Z. W. Ras, & M. Michalewicz (Eds.), Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS '96) (pp. 243-252). Berlijn: Springer Verlag LNAI 1079.
    Dignum, F. ; Verharen, E.M. ; Weigand, H. / Meeting the Deadline : On the Formal Specification of Temporal Deontic Constraints. Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS '96). editor / Z.W. Ras ; M. Michalewicz. Berlijn : Springer Verlag LNAI 1079, 1996. pp. 243-252
    @inbook{5ab206e7f86749a686139c643812207a,
    title = "Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints",
    author = "F. Dignum and E.M. Verharen and H. Weigand",
    year = "1996",
    language = "English",
    isbn = "3540612866",
    pages = "243--252",
    editor = "Z.W. Ras and M. Michalewicz",
    booktitle = "Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS '96)",
    publisher = "Springer Verlag LNAI 1079",

    }

    Dignum, F, Verharen, EM & Weigand, H 1996, Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints. in ZW Ras & M Michalewicz (eds), Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS '96). Springer Verlag LNAI 1079, Berlijn, pp. 243-252.

    Meeting the Deadline : On the Formal Specification of Temporal Deontic Constraints. / Dignum, F.; Verharen, E.M.; Weigand, H.

    Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS '96). ed. / Z.W. Ras; M. Michalewicz. Berlijn : Springer Verlag LNAI 1079, 1996. p. 243-252.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    TY - CHAP

    T1 - Meeting the Deadline

    T2 - On the Formal Specification of Temporal Deontic Constraints

    AU - Dignum, F.

    AU - Verharen, E.M.

    AU - Weigand, H.

    PY - 1996

    Y1 - 1996

    M3 - Chapter

    SN - 3540612866

    SP - 243

    EP - 252

    BT - Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS '96)

    A2 - Ras, Z.W.

    A2 - Michalewicz, M.

    PB - Springer Verlag LNAI 1079

    CY - Berlijn

    ER -

    Dignum F, Verharen EM, Weigand H. Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints. In Ras ZW, Michalewicz M, editors, Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS '96). Berlijn: Springer Verlag LNAI 1079. 1996. p. 243-252