Tore Langholm

Publication Activity (10 Years)

Years Active: 1987-2008
Publications (10 Years): 0

Publications

Tore Langholm
Default Logics with Preference Order: Principles and Characterisations. LPAR (2008)
Marc Bezem, Tore Langholm, Michal Walicki
Completeness and Decidability in Sequence Logic. LPAR (2007)
Arild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian
Only knowing with degrees of confidence. J. Appl. Log. 5 (3) (2007)
Tore Langholm
A descriptive characterisation of linear languages. J. Log. Lang. Inf. 15 (3) (2006)
Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler
Default Reasoning with Preference Within Only Knowing Logic. LPNMR (2005)
Marc Bezem, Christian Sloper, Tore Langholm
Black Box and White Box Identification of Formal Languages Using Test Sets. Grammars 7 (2004)
Espen H. Lian, Tore Langholm, Arild Waaler
Only Knowing with Confidence Levels: Reductions and Complexity. JELIA (2004)
Tore Langholm, Marc Bezem
A Descriptive Characterisation of Even Linear Languages. Grammars 6 (3) (2003)
Tore Langholm
A Descriptive Characterisation of Indexed Grammars. Grammars 4 (3) (2001)
Tore Langholm
A Strong Version of Herbrand's Theorem for Introvert Sentences. J. Symb. Log. 63 (2) (1998)
Tore Langholm
What is a Horn Clause in Partial Logic? JELIA (1990)
Tore Langholm
H. B. Smith on modality: A logical reconstruction. J. Philos. Log. 16 (4) (1987)