Existential Graphs and Tense Logic

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

7 Citationer (Scopus)
OriginalsprogEngelsk
TitelConceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings : Lecture Notes in Artificial Intelligence, 115
ForlagIEEE Computer Society Press
Publikationsdato1996
Sider203-217
ISBN (Trykt)3540615342
StatusUdgivet - 1996
BegivenhedExistential Graphs and Tense Logic -
Varighed: 19 maj 2010 → …

Konference

KonferenceExistential Graphs and Tense Logic
Periode19/05/2010 → …

Emneord

  • Eksistentielle grafer
  • Tense Logik
  • Tidslogik
  • Modal logik

Citer dette

Øhrstrøm, P. (1996). Existential Graphs and Tense Logic. I Conceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings: Lecture Notes in Artificial Intelligence, 115 (s. 203-217). IEEE Computer Society Press.
Øhrstrøm, Peter. / Existential Graphs and Tense Logic. Conceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings: Lecture Notes in Artificial Intelligence, 115. IEEE Computer Society Press, 1996. s. 203-217
@inproceedings{ddc83b908ac111dbbb3d000ea68e967b,
title = "Existential Graphs and Tense Logic",
keywords = "Eksistentielle grafer, Tense Logik, Tidslogik, Modal logik, Eksistentielle grafer, Tense Logik, Tidslogik, Modal logik",
author = "Peter {\O}hrstr{\o}m",
year = "1996",
language = "English",
isbn = "3540615342",
pages = "203--217",
booktitle = "Conceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings",
publisher = "IEEE Computer Society Press",
address = "United States",

}

Øhrstrøm, P 1996, Existential Graphs and Tense Logic. i Conceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings: Lecture Notes in Artificial Intelligence, 115. IEEE Computer Society Press, s. 203-217, Existential Graphs and Tense Logic, 19/05/2010.

Existential Graphs and Tense Logic. / Øhrstrøm, Peter.

Conceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings: Lecture Notes in Artificial Intelligence, 115. IEEE Computer Society Press, 1996. s. 203-217.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

TY - GEN

T1 - Existential Graphs and Tense Logic

AU - Øhrstrøm, Peter

PY - 1996

Y1 - 1996

KW - Eksistentielle grafer

KW - Tense Logik

KW - Tidslogik

KW - Modal logik

KW - Eksistentielle grafer

KW - Tense Logik

KW - Tidslogik

KW - Modal logik

M3 - Article in proceeding

SN - 3540615342

SP - 203

EP - 217

BT - Conceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings

PB - IEEE Computer Society Press

ER -

Øhrstrøm P. Existential Graphs and Tense Logic. I Conceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings: Lecture Notes in Artificial Intelligence, 115. IEEE Computer Society Press. 1996. s. 203-217