2008 |
10 | EE | Tore Langholm:
Default Logics with Preference Order: Principles and Characterisations.
LPAR 2008: 406-420 |
2007 |
9 | EE | Marc Bezem,
Tore Langholm,
Michal Walicki:
Completeness and Decidability in Sequence Logic.
LPAR 2007: 123-137 |
8 | EE | Arild Waaler,
Johan W. Klüwer,
Tore Langholm,
Espen H. Lian:
Only knowing with degrees of confidence.
J. Applied Logic 5(3): 492-518 (2007) |
2006 |
7 | EE | Tore Langholm:
A descriptive characterisation of linear languages.
Journal of Logic, Language and Information 15(3): 233-250 (2006) |
2005 |
6 | EE | Iselin Engan,
Tore Langholm,
Espen H. Lian,
Arild Waaler:
Default Reasoning with Preference Within Only Knowing Logic.
LPNMR 2005: 304-316 |
2004 |
5 | EE | Espen H. Lian,
Tore Langholm,
Arild Waaler:
Only Knowing with Confidence Levels: Reductions and Complexity.
JELIA 2004: 500-512 |
2003 |
4 | EE | Tore Langholm,
Marc Bezem:
A Descriptive Characterisation of Even Linear Languages.
Grammars 6(3): 169-181 (2003) |
2001 |
3 | | Tore Langholm:
A Descriptive Characterisation of Indexed Grammars.
Grammars 4(3): 205-262 (2001) |
1998 |
2 | | Tore Langholm:
A Strong Version of Herbrand's Theorem for Introvert Sentences.
J. Symb. Log. 63(2): 555-569 (1998) |
1990 |
1 | | Tore Langholm:
What is a Horn Clause in Partial Logic?
JELIA 1990: 65-77 |