Arild Waaler

	2009
17		Martin Giese, Arild Waaler: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings Springer 2009
16		Espen H. Lian, Arild Waaler: An Only Knowing Approach to Defeasible Description Logics (Extended Abstract). Description Logics 2009
15		Bjarne Holen, Einar Broch Johnsen, Arild Waaler: Proof Search for the First-Order Connection Calculus in Maude. Electr. Notes Theor. Comput. Sci. 238(3): 173-188 (2009)
	2008
14		Espen H. Lian, Arild Waaler: Computing Default Extensions by Reductions on OR. KR 2008: 496-506
	2007
13		Roger Antonsen, Arild Waaler: A Labelled System for IPL with Variable Splitting. CADE 2007: 132-146
12		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)
11		Roger Antonsen, Arild Waaler: Liberalized Variable Splitting. J. Autom. Reasoning 38(1-3): 3-30 (2007)
	2005
10		Bjørnar Solhaug, Arild Waaler: Logical Spaces in Multi-agent Only Knowing Systems. CLIMA VI 2005: 77-95
9		Johan W. Klüwer, Arild Waaler: Trustworthiness by Default. CLIMA VI 2005: 96-111
8		Johan W. Klüwer, Arild Waaler: Relative Trustworthiness. Formal Aspects in Security and Trust 2005: 158-170
7		Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler: Default Reasoning with Preference Within Only Knowing Logic. LPNMR 2005: 304-316
6		Roger Antonsen, Arild Waaler: Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. TABLEAUX 2005: 33-47
5		Arild Waaler, Bjørnar Solhaug: Semantics for multi-agent only knowing: extended abstract. TARK 2005: 109-125
	2004
4		Arild Waaler: Consistency Proofs for Systems of Multi?agent Only Knowing. Advances in Modal Logic 2004: 347-366
3		Espen H. Lian, Tore Langholm, Arild Waaler: Only Knowing with Confidence Levels: Reductions and Complexity. JELIA 2004: 500-512
	2003
2		Arild Waaler, Roger Antonsen: A Free Variable Sequent Calculus with Uniform Variable Splitting. TABLEAUX 2003: 214-229
	2001
1		Arild Waaler: Connections in Nonclassical Logics. Handbook of Automated Reasoning 2001: 1487-1578

Coauthor Index

1	Roger Antonsen	[2] [6] [11] [13]
2	Iselin Engan	[7]
3	Martin Giese	[17]
4	Bjarne Holen	[15]
5	Einar Broch Johnsen	[15]
6	Johan W. Klüwer	[8] [9] [12]
7	Tore Langholm	[3] [7] [12]
8	Espen H. Lian	[3] [7] [12] [14] [16]
9	Bjørnar Solhaug	[5] [10]

Colors in the list of coauthors