| 2025 | ECAI | User-Centric Question Answering with Explanation for Industrial System Information Modelling. | Yan Zhou, Baifan Zhou, Qianhang Lyu, Arild Waaler, Ingrid Chieh Yu |
| 2025 | INDIN | An LLM-Aided System Information Modelling Methodology Applied in Tennessee Eastman Case. | Qianhang Lyu, Siqi Li, Martin G. Skjveland, Yunqing Rao, Arild Waaler, Baifan Zhou |
| 2025 | INDIN | IMF-PM: Integrating System Information Modelling and Project Management for Industrial Digitalisation. | Qianhang Lyu, Martin G. Skjveland, Yan Zhou, Yunqing Rao, Arild Waaler, Baifan Zhou |
| 2025 | WWW | Dataset for Industrial Question Answering with Explanation and Scalable Ensemble Generation. | Yan Zhou, Baifan Zhou, Huajian Li, Qianhang Lyu, Yuanwei Qu, Arild Waaler, Ingrid C. Yu |
| 2023 | PRICAI | Real-Time Event Detection with Random Forests and Temporal Convolutional Networks for More Sustainable Petroleum Industry. | Yuanwei Qu, Baifan Zhou, Arild Waaler, David B. Cameron |
| 2011 | TABLEAUX | Incremental Variable Splitting. | Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen |
| 2008 | KR | Computing Default Extensions by Reductions on OR. | Espen H. Lian, Arild Waaler |
| 2007 | CADE | A Labelled System for IPL with Variable Splitting. | Roger Antonsen, Arild Waaler |
| 2005 | LPNMR | Default Reasoning with Preference Within Only Knowing Logic. | Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler |
| 2005 | TABLEAUX | Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. | Roger Antonsen, Arild Waaler |
| 2005 | TARK | Semantics for multi-agent only knowing: extended abstract. | Arild Waaler, Bjrnar Solhaug |
| 2004 | AiML | Consistency Proofs for Systems of Multi?agent Only Knowing. | Arild Waaler |
| 2004 | JELIA | Only Knowing with Confidence Levels: Reductions and Complexity. | Espen H. Lian, Tore Langholm, Arild Waaler |
| 2003 | TABLEAUX | A Free Variable Sequent Calculus with Uniform Variable Splitting. | Arild Waaler, Roger Antonsen |