Search the dblp DataBase

Publications of Author

1. Arild Waaler
   Consistency Proofs for Systems of Multi?agent Only Knowing. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2004, pp:347-366 [Conf]
   
2. Johan W. Klüwer, Arild Waaler
   Trustworthiness by Default. [Citation Graph (0, 0)][DBLP]
   CLIMA VI, 2005, pp:96-111 [Conf]
   
3. Bjørnar Solhaug, Arild Waaler
   Logical Spaces in Multi-agent Only Knowing Systems. [Citation Graph (0, 0)][DBLP]
   CLIMA VI, 2005, pp:77-95 [Conf]
   
4. Johan W. Klüwer, Arild Waaler
   Relative Trustworthiness. [Citation Graph (0, 0)][DBLP]
   Formal Aspects in Security and Trust, 2005, pp:158-170 [Conf]
   
5. 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]
   
6. 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]
   
7. Roger Antonsen, Arild Waaler
   Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2005, pp:33-47 [Conf]
   
8. Arild Waaler, Roger Antonsen
   A Free Variable Sequent Calculus with Uniform Variable Splitting. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:214-229 [Conf]
   
9. Arild Waaler, Bjørnar Solhaug
   Semantics for multi-agent only knowing: extended abstract. [Citation Graph (0, 0)][DBLP]
   TARK, 2005, pp:109-125 [Conf]
   
10. Roger Antonsen, Arild Waaler
    A Labelled System for IPL with Variable Splitting. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:132-146 [Conf]
    
11. 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]
    
12. Roger Antonsen, Arild Waaler
    Liberalized Variable Splitting. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:38, n:1-3, pp:3-30 [Journal]
    
13. 
    An Only Knowing Approach to Defeasible Description Logics (Extended Abstract). [Citation Graph (, )][DBLP]
    
    
14. 
    Computing Default Extensions by Reductions on OR. [Citation Graph (, )][DBLP]
    
    
15. 
    Proof Search for the First-Order Connection Calculus in Maude. [Citation Graph (, )][DBLP]