io-port 06048192 Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin; Waaler, Arild

J. Symb. Comput. 47, No. 9, 1046-1065 (2012).

io-port 05877354 Lian, Espen H.; Johnsen, Einar Broch; Waaler, Arild

Ågotnes, Thomas (ed.), STAIRS 2010. Proceedings of the fifth starting AI researchers’ symposium, Lisbon, Portugal, August 16‒20, 2010. Amsterdam: IOS Press (ISBN 978-1-60750-675-1/hbk; 978-1-60750-676-8/ebook). Frontiers in Artificial Intelligence and Applications 222, 162-174 (2011).

io-port 70084034 Lian, Espen H.; Johnsen, Einar Broch; Waaler, Arild

STAIRS, 162-174 (2010).

io-port 05748977 Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild

Electron. Notes Theor. Comput. Sci. 238, No. 3, 173-188 (2009).

io-port 05618127 Giese, Martin (ed.); Waaler, Arild (ed.)

Lecture Notes in Computer Science 5607. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-02715-4/pbk). xii, 341~p. EUR~56.66 (2009).

io-port 70278308 Lian, Espen H.; Waaler, Arild

Description Logics (2009).

io-port 70748350 Lian, Espen H.; Waaler, Arild

KR, 496-506 (2008).

io-port 05523770 Antonsen, Roger; Waaler, Arild

Pfenning, Frank (ed.), Automated deduction ‒ CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17‒20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence, 132-146 (2007).

io-port 05174348 Waaler, Arild; Klüwer, Johan W.; Langholm, Tore; Lian, Espen H.

J. Appl. Log. 5, No. 3, 492-518 (2007).

io-port 05149287 Antonsen, Roger; Waaler, Arild

J. Autom. Reasoning 38, No. 1-3, 3-30 (2007).

io-port 70118662 Antonsen, Roger; Waaler, Arild

CADE, 132-146 (2007).

io-port 05547748 Klüwer, Johan W.; Waaler, Arild

Toni, Francesca (ed.) et al., Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27‒29, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-33996-5/pbk). Lecture Notes in Computer Science 3900. Lecture Notes in Artificial Intelligence, 96-111 (2006).

io-port 05547747 Solhaug, Bjørnar; Waaler, Arild

Toni, Francesca (ed.) et al., Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27‒29, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-33996-5/pbk). Lecture Notes in Computer Science 3900. Lecture Notes in Artificial Intelligence, 77-95 (2006).

io-port 05046370 Waaler, Arild

Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9‒11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 347-366 (2005).

io-port 05039334 Antonsen, Roger; Waaler, Arild

Beckert, Bernhard (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2005, Koblenz, Germany, September 14‒17, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28931-3/pbk). Lecture Notes in Computer Science 3702. Lecture Notes in Artificial Intelligence, 33-47 (2005).

io-port 05034938 Engan, Iselin; Langholm, Tore; Lian, Espen H.; Waaler, Arild

Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5‒8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 304-316 (2005).

io-port 70066644 Solhaug, Bjørnar; Waaler, Arild

CLIMA, 77-95 (2005).

io-port 70066664 Klüwer, Johan W.; Waaler, Arild

CLIMA, 96-111 (2005).

io-port 70354542 Klüwer, Johan W.; Waaler, Arild

Formal Aspects in Security and Trust, 158-170 (2005).

io-port 70653096 Engan, Iselin; Langholm, Tore; Lian, Espen H.; Waaler, Arild

LPNMR, 304-316 (2005).