Towards a diagrammatic formulation of modal and temporal logic: working notes

Troels Andreasen, P. Øhrstrøm

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationQuestion answering systems : papers from the AAAI fall symposium
    EditorsVinay Chaudhri, Richard Fikes
    PublisherAAAI Press
    Publication date1999
    Pages61-67
    ISBN (Print)978-1-57735-104-7
    Publication statusPublished - 1999
    EventAAAI'99 Fall Symposium on Question Answering Systems - North Falmouth, Massachusetts, United States
    Duration: 4 Nov 19995 Nov 1999

    Conference

    ConferenceAAAI'99 Fall Symposium on Question Answering Systems
    CountryUnited States
    CityNorth Falmouth, Massachusetts
    Period04/11/199905/11/1999

    Cite this

    Andreasen, T., & Øhrstrøm, P. (1999). Towards a diagrammatic formulation of modal and temporal logic: working notes. In V. Chaudhri, & R. Fikes (Eds.), Question answering systems: papers from the AAAI fall symposium (pp. 61-67). AAAI Press.
    Andreasen, Troels ; Øhrstrøm, P. / Towards a diagrammatic formulation of modal and temporal logic : working notes. Question answering systems: papers from the AAAI fall symposium. editor / Vinay Chaudhri ; Richard Fikes. AAAI Press, 1999. pp. 61-67
    @inproceedings{ebb8e6b076c211de973f000ea68e967b,
    title = "Towards a diagrammatic formulation of modal and temporal logic: working notes",
    author = "Troels Andreasen and P. {\O}hrstr{\o}m",
    note = "Technical Report FS-99-02",
    year = "1999",
    language = "English",
    isbn = "978-1-57735-104-7",
    pages = "61--67",
    editor = "Vinay Chaudhri and Richard Fikes",
    booktitle = "Question answering systems",
    publisher = "AAAI Press",
    address = "United States",

    }

    Andreasen, T & Øhrstrøm, P 1999, Towards a diagrammatic formulation of modal and temporal logic: working notes. in V Chaudhri & R Fikes (eds), Question answering systems: papers from the AAAI fall symposium. AAAI Press, pp. 61-67, North Falmouth, Massachusetts, United States, 04/11/1999.

    Towards a diagrammatic formulation of modal and temporal logic : working notes. / Andreasen, Troels; Øhrstrøm, P.

    Question answering systems: papers from the AAAI fall symposium. ed. / Vinay Chaudhri; Richard Fikes. AAAI Press, 1999. p. 61-67.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    TY - GEN

    T1 - Towards a diagrammatic formulation of modal and temporal logic

    T2 - working notes

    AU - Andreasen, Troels

    AU - Øhrstrøm, P.

    N1 - Technical Report FS-99-02

    PY - 1999

    Y1 - 1999

    M3 - Article in proceedings

    SN - 978-1-57735-104-7

    SP - 61

    EP - 67

    BT - Question answering systems

    A2 - Chaudhri, Vinay

    A2 - Fikes, Richard

    PB - AAAI Press

    ER -

    Andreasen T, Øhrstrøm P. Towards a diagrammatic formulation of modal and temporal logic: working notes. In Chaudhri V, Fikes R, editors, Question answering systems: papers from the AAAI fall symposium. AAAI Press. 1999. p. 61-67