Langholm, Tore
AvdelingSjøkrigsskolen
StillingProfessor
Telefon55518704
Eposttore.langholm@sksk.mil.no

Artikler i vitenskapelige tidsskrifter

  • Langholm, Tore. 2008. Default Logics with Preference Order: Principles and Characterisations. Lecture Notes in Computer Science 5330 : 406–420.
  • Bezem, Marc, Tore Langholm og Michal Walicki. 2007. "Completeness and Decidability in Sequence Logic". Lecture Notes in Computer Science 4790 : 123–137.
  • Waaler, Arild, Johan W. Klüwer, Tore Langholm og Espen Lian. 2007. "Only knowing with degrees of confidence". Journal of Applied Logic 5 (3): 492–518.
  • Waaler, Arild, Johan Wilhelm Kluwer, Tore Langholm og Espen Hallenstvedt Lian. 2007. Only knowing with degrees of confidence. Journal of Applied Logic 5 (3): 492–518.
  • Langholm, Tore. 2006. A descriptive characterisation of linear languages. Journal of Logic, Language and Information 15 (3): 233–250.
  • Engan, Iselin, Tore Langholm, Espen Hallenstvedt Lian og Arild Waaler. 2005. Default Reasoning with Preference Within Only Knowing Logic. Lecture Notes in Computer Science 3662 : 304–316.
  • Engan, Iselin, Tore Langholm, Espen Lian og Arild Waaler. 2005. "Default Reasoning with Preference within Only Knowing Logic". Lecture Notes in Computer Science 3662 : 304–316.
  • Bezem, Marcus Aloysius, Christian Sloper og Tore Langholm. 2004. Black Box and White Box Identification of Formal Languages Using Test Sets. Grammars 7 : 111–123.
  • Lian, Espen Hallenstvedt, Tore Langholm og Arild Waaler. 2004. Only Knowing with Confidence Levels: Reductions and Complexity. Lecture Notes in Computer Science 3229 : 500–512.
  • Langholm, Tore og Marcus Aloysius Bezem. 2003. A Descriptive Characterisation of Even Linear Languages. Grammars 6 (3): 169–181.
  • Langholm, Tore. 2001. A Descriptive Characterisation of Indexed Grammars. Grammars 4 (3): 205–262.
  • Langholm, Tore. 1998. A strong version of Herbrand's theorem for introvert sentences. Journal of Symbolic Logic (JSL) 63 (2): 555–569.
Vis alle

Populærvitenskapelige artikler

  • Langholm, Tore og Knut Meen. 2017. Sannsynlighetsgenererende funksjoner i praktisk sannsynlighetsregning. Necesse 2 (3): 18–31.
  • Langholm, Tore og Knut Meen. 2016. Ryktespredning, spioner og pi. Necesse 1 (2): 40–48.
Publisert 22. mars 2016 15:04.. Sist oppdatert 17. oktober 2016 16:36.