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
    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


    ConferenceAAAI'99 Fall Symposium on Question Answering Systems
    CountryUnited States
    CityNorth Falmouth, Massachusetts

    Cite this