| 2008 |
|---|
| 14 | | Espen H. Lian,
Arild Waaler:
Computing Default Extensions by Reductions on OR.
KR 2008: 496-506 |
| 2007 |
|---|
| 13 | EE | Roger Antonsen,
Arild Waaler:
A Labelled System for IPL with Variable Splitting.
CADE 2007: 132-146 |
| 12 | EE | 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 | EE | Roger Antonsen,
Arild Waaler:
Liberalized Variable Splitting.
J. Autom. Reasoning 38(1-3): 3-30 (2007) |
| 2005 |
|---|
| 10 | EE | Bjørnar Solhaug,
Arild Waaler:
Logical Spaces in Multi-agent Only Knowing Systems.
CLIMA VI 2005: 77-95 |
| 9 | EE | Johan W. Klüwer,
Arild Waaler:
Trustworthiness by Default.
CLIMA VI 2005: 96-111 |
| 8 | EE | Johan W. Klüwer,
Arild Waaler:
Relative Trustworthiness.
Formal Aspects in Security and Trust 2005: 158-170 |
| 7 | EE | Iselin Engan,
Tore Langholm,
Espen H. Lian,
Arild Waaler:
Default Reasoning with Preference Within Only Knowing Logic.
LPNMR 2005: 304-316 |
| 6 | EE | Roger Antonsen,
Arild Waaler:
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.
TABLEAUX 2005: 33-47 |
| 5 | EE | Arild Waaler,
Bjørnar Solhaug:
Semantics for multi-agent only knowing: extended abstract.
TARK 2005: 109-125 |
| 2004 |
|---|
| 4 | EE | Arild Waaler:
Consistency Proofs for Systems of Multi?agent Only Knowing.
Advances in Modal Logic 2004: 347-366 |
| 3 | EE | Espen H. Lian,
Tore Langholm,
Arild Waaler:
Only Knowing with Confidence Levels: Reductions and Complexity.
JELIA 2004: 500-512 |
| 2003 |
|---|
| 2 | EE | 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 |
