Search the dblp DataBase
Arild Waaler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Johan W. Klüwer , Arild Waaler Trustworthiness by Default. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:96-111 [Conf ] 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 ] Johan W. Klüwer , Arild Waaler Relative Trustworthiness. [Citation Graph (0, 0)][DBLP ] Formal Aspects in Security and Trust, 2005, pp:158-170 [Conf ] 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 ] 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 ] 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 ] Arild Waaler , Roger Antonsen A Free Variable Sequent Calculus with Uniform Variable Splitting. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:214-229 [Conf ] Arild Waaler , Bjørnar Solhaug Semantics for multi-agent only knowing: extended abstract. [Citation Graph (0, 0)][DBLP ] TARK, 2005, pp:109-125 [Conf ] Roger Antonsen , Arild Waaler A Labelled System for IPL with Variable Splitting. [Citation Graph (0, 0)][DBLP ] CADE, 2007, pp:132-146 [Conf ] 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 ] 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 ] An Only Knowing Approach to Defeasible Description Logics (Extended Abstract). [Citation Graph (, )][DBLP ] Computing Default Extensions by Reductions on OR. [Citation Graph (, )][DBLP ] Proof Search for the First-Order Connection Calculus in Maude. [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.008secs