David Jakobsen

Phd History of Temporal Logic

  • Rendsburggade 14, 5-265

    9000 Aalborg

    Denmark

20112019
If you made any changes in Pure these will be visible here soon.

Research Output 2011 2019

Filter
Conference article in Journal
2016
45 Downloads (Pure)

Investigating Worldviews with Protégé

Bro Wormslev Jakobsen, T., Jakobsen, D. & Øhrstrøm, P., 2016, In : CEUR Workshop Proceedings. p. 28-36 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Ontology
2011
3 Citations (Scopus)

A.N. Prior's Notion of the Present

Jakobsen, D., 2011, In : Lecture Notes in Computer Science. 6789 LNAI, p. 36-45 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Evaluate
Libraries
2 Citations (Scopus)

A.N. Prior’s Ideas on Tensed Ontology

Jakobsen, D., Schärfe, H. & Øhrstrøm, P., 2011, In : Lecture Notes in Computer Science. 6828, p. 118-130 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review