Search the dblp DataBase

Publications of Author

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