Tore Langholm

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