Arild Torolv Søetorp Waaler

Image of Arild Torolv Søetorp Waaler
Norwegian version of this page
Phone +47 22840055
Room 9465
Username
Visiting address Gaustadalleen 23 B 0373 Oslo
Postal address Postboks 1080 Blindern 0316 Oslo

Publications

  • Cameron, David B.; Waaler, Arild Torolv Søetorp; Fjøsna, Erlend; Hole, Monica & Psarommatis, Foivos (2022). A semantic systems engineering framework for zero-defect engineering and operations in the continuous process industries. Frontiers in Manufacturing Technology. ISSN 2813-0359. doi: 10.3389/fmtec.2022.945717.
  • Mehmandarov, Rustam Karim; Waaler, Arild Torolv Søetorp; Cameron, David; Fjellheim, Roar & Pettersen, Thomas B. (2021). A Semantic Approach to Identifier Management in Engineering Systems , 2021 IEEE International Conference on Big Data. IEEE Press. ISSN 978-1-6654-3902-2. p. 4613–4616. doi: 10.1109/BigData52589.2021.9671515.
  • Zhou, Baifan; Svetashova, Yulia; Silva Gusmao, Andre; Soylu, Ahmet; Cheng, Gong & Mikut, Ralf [Show all 8 contributors for this article] (2021). SemML: Facilitating development of ML models for condition monitoring with semantics. Journal of Web Semantics. ISSN 1570-8268. 71, p. 1–21. doi: 10.1016/j.websem.2021.100664. Full text in Research Archive
  • Kharlamov, Evgeny; Martin-Recuerda, Francisco; Perry, Brandon; Cameron, David B.; Fjellheim, Roar Arne & Waaler, Arild Torolv Søetorp (2019). Towards Semantically Enhanced Digital Twins. 2018 IEEE International Conference on Big Data (Big Data). p. 4189–4193. doi: 10.1109/BigData.2018.8622503.
  • Kharlamov, Evgeny; Mehdi, Gulnar; Savković, Ognjen; Xiao, Guohui; Lamparter, Steffen & Horrocks, Ian [Show all 7 contributors for this article] (2019). Towards Simplification of Analytical Workflows with Semantics at Siemens (Extended Abstract). 2018 IEEE International Conference on Big Data (Big Data). p. 1951–1954. doi: 10.1109/BigData.2018.8622652.
  • Kharlamov, Evgeny; Kotidis, Yannis; Mailis, Theofilos; Neuenstadt, Christian; Nikolaou, Charalampos & Özcep, Özgür [Show all 12 contributors for this article] (2019). An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data. Journal of Web Semantics. ISSN 1570-8268. 56, p. 30–55. doi: 10.1016/j.websem.2019.01.001.
  • Kharlamov, Evgeny; Skjæveland, Martin G; Hovland, Dag; Mailis, Theofilos; Jimenez-Ruiz, Ernesto & Xiao, Guohui [Show all 9 contributors for this article] (2018). Finding Data Should be Easier than Finding Oil. In Abe, Naoki; Liu, Huan; Hu, Xiaohua; Ahmed, Nesreen; Qiao, Mu; Song, Yang; Kossmann, Donald; Liu, Bing; Lee, Kisung; Tang, Jiliang; He, Jingrui & Saltz, Jeffrey (Ed.), 2018 IEEE International Conference on Big Data (Big Data), Seattle, 10-13 Dec. 2018. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-5386-5035-6. doi: 10.1109/BigData.2018.8622035. Full text in Research Archive
  • Klungre, Vidar Norstein; Soylu, Ahmet; Giese, Martin; Waaler, Arild & Kharlamov, Evgeny (2018). On Enhancing Visual Query Building over KGs Using Query Logs. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11341, p. 77–85. doi: 10.1007/978-3-030-04284-4_6. Full text in Research Archive
  • Skjæveland, Martin G; Gjerver, Anders; Hansen, Christian Mahesh; Kluwer, Johan Wilhelm; Strand, Morten Rørvik & Waaler, Arild [Show all 7 contributors for this article] (2018). Semantic Material Master Data Management at Aibel. CEUR Workshop Proceedings. ISSN 1613-0073. 2180.
  • Cameron, David B.; Waaler, Arild & Komulainen, Tiina M. (2018). Oil and Gas digital twins after twenty years. How can they be made sustainable, maintainable and useful? Linköping Electronic Conference Proceedings. ISSN 1650-3686. p. 9–16. doi: 10.3384/ecp181539.
  • Skjæveland, Martin G; Forssell, Jon Henrik; Klüwer, Johan W.; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild (2017). Reasonable ontology templates: APIs for OWL: Efficient and practical ontology design and maintenance. CEUR Workshop Proceedings. ISSN 1613-0073. 1963, p. 1–4.
  • Skjæveland, Martin G; Forssell, Jon Henrik; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild (2017). Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. CEUR Workshop Proceedings. ISSN 1613-0073. 2043.
  • Hovland, Dag; Kontchakov, Roman; Skjæveland, Martin G; Waaler, Arild & Zakharyaschev, Michael (2017). Ontology-Based Data Access to Slegge. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10588, p. 120–129. doi: 10.1007/978-3-319-68204-4_12. Full text in Research Archive
  • Harrow, Ian; Jimenez-Ruiz, Ernesto; Splendiani, Andrea; Romacker, Martin; Woollard, Peter & Markel, Scott [Show all 10 contributors for this article] (2017). Matching disease and phenotype ontologies in the ontology alignment evaluation initiative. Journal of Biomedical Semantics. ISSN 2041-1480. 8(1), p. 1–13. doi: 10.1186/s13326-017-0162-9. Full text in Research Archive
  • Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto & Xiao, Guohui [Show all 16 contributors for this article] (2017). Ontology Based Data Access in Statoil. Journal of Web Semantics. ISSN 1570-8268. 44, p. 3–36. doi: 10.1016/j.websem.2017.05.005. Full text in Research Archive
  • Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü & Roshchin, Mikhail [Show all 16 contributors for this article] (2017). Semantic access to streaming and static data at Siemens. Journal of Web Semantics. ISSN 1570-8268. 44, p. 54–74. doi: 10.1016/j.websem.2017.02.001. Full text in Research Archive
  • Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Show all 7 contributors for this article] (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration, SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings. Society of Petroleum Engineers. ISSN 978-1-61399-459-7. doi: 10.2118/181111-MS.
  • Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian & Jimenez-Ruiz, Ernesto [Show all 20 contributors for this article] (2016). A Semantic Approach to Polystores. In Joshi, James (Eds.), Proceedings 2016 IEEE International Conference on Big Data. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-4673-9005-7. p. 2565–2573. doi: 10.1109/BigData.2016.7840898.
  • Horrocks, Ian; Giese, Martin; Kharlamov, Evgeny & Waaler, Arild (2016). Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Computing. ISSN 1089-7801. 20(6), p. 62–66. doi: 10.1109/MIC.2016.121.
  • Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis & Lamparter, Steffen [Show all 17 contributors for this article] (2016). Enabling semantic access to static and streaming distributed data with optique: demo. In Gal, Avigdor; Weidlich, Matthias; Kalogeraki, Vana & Venkasubramanian, Nalini (Ed.), Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA,USA, June 20 -24. ACM Publications. ISSN 978-1-4503-4021-2. p. 350–353. doi: 10.1145/2933267.2933290.
  • Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Kluwer, Johan Wilhelm & Waaler, Arild (2016). Pepesearch: Easy to use and easy to install semantic data search. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9989 LNCS, p. 146–150. doi: 10.1007/978-3-319-47602-5_29.
  • Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag & Giese, Martin [Show all 8 contributors for this article] (2016). KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings. ISSN 1613-0073. 1690.
  • Vega-Gorgojo, Guillermo; Fjellheim, Roar; Roman, Dumitru; Akerkar, Rajendra & Waaler, Arild (2016). Big data in the oil & gas upstream industry - a case study on the Norwegian continental shelf. Oil, Gas. ISSN 0342-5622. 42(II), p. 67–77.
  • Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild (2016). Visual query interfaces for semantic datasets: An evaluation study. Journal of Web Semantics. ISSN 1570-8268. 39, p. 81–96. doi: 10.1016/j.websem.2016.01.002.
  • Vega-Gorgojo, Guillermo; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild (2016). PepeSearch: Semantic Data for the masses. PLOS ONE. ISSN 1932-6203. 11(3). doi: 10.1371/journal.pone.0151573. Full text in Research Archive
  • Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G & Soylu, Ahmet [Show all 11 contributors for this article] (2015). OPTIQUE: Ontology-based data access platform. CEUR Workshop Proceedings. ISSN 1613-0073. 1486.
  • Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt & Waaler, Arild (2015). Engineering ontology-based access to real-world data sources. Journal of Web Semantics. ISSN 1570-8268. 33, p. 112–140. doi: 10.1016/j.websem.2015.03.002. Full text in Research Archive
  • Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter & Jimenez-Ruiz, Ernesto [Show all 11 contributors for this article] (2015). Optique: Zooming in on Big Data. Computer. ISSN 0018-9162. 48(3), p. 60–67. doi: 10.1109/MC.2015.82.
  • Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas & Ioannidis, Yannis [Show all 23 contributors for this article] (2013). Optique: OBDA Solution for Big Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7955, p. 293–295. doi: 10.1007/978-3-642-41242-4_48.
  • Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin & Haase, Peter [Show all 16 contributors for this article] (2013). Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7955, p. 125–140. doi: 10.1007/978-3-642-41242-4_11.
  • Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis & Kllapi, Herald [Show all 16 contributors for this article] (2013). Scalable End-user Access to Big Data. In Akerkar, Rajendra (Eds.), Big Data Computing. Taylor & Francis. ISSN 978-1-46-657837-1. doi: 10.1201/b16014-9.
  • Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto & Kharlamov, Evgeny [Show all 20 contributors for this article] (2013). The Optique Project: Towards OBDA Systems for Industry. CEUR Workshop Proceedings. ISSN 1613-0073. 1080.
  • Giese, Martin; Ornæs, Jens I.; Overå, Lars; Svensson, Inge & Waaler, Arild (2012). Using Semantic Technology to Auto-generate Reports: Case Study of Daily Drilling Reports. In Kanvinde, Sanjay (Eds.), SPE Intelligent Energy International, 27-29 March 2012, Utrecht, The Netherlands. Society of Petroleum Engineers. ISSN 978-1-61399-191-6. doi: 10.2118/150225-ms.
  • Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild (2012). Incremental variable splitting. Journal of symbolic computation. ISSN 0747-7171. 47(9), p. 1046–1065. doi: 10.1016/j.jsc.2011.12.032.
  • Løkke, Håvard & Waaler, Arild (2010). The First Principles of Logic and the Debate about Mediation. In Stewart, Jon & Nun, Katalin (Ed.), Kierkegaard and the Greek World: Tome II: Aristotle and other Greek Authors. Ashgate. ISSN 9780754669821. p. 3–24.
  • Løkke, Håvard & Waaler, Arild (2010). Change, Modal Categories, and Agency. In Stewart, Jon & Nun, Katalin (Ed.), Kierkegaard and the Greek World: Tome II: Aristotle and other Greek Authors. Ashgate. ISSN 9780754669821. p. 25–46.
  • Lian, Espen Hallenstvedt; Johnsen, Einar Broch & Waaler, Arild (2010). Confluent Term Rewriting for Only-knowing Logics. Frontiers in Artificial Intelligence and Applications. ISSN 0922-6389. 222, p. 162–174.
  • Løkke, Håvard & Waaler, Arild (2009). Traces of Kierkegaard’s Reading of the Theodicy. In Stewart, Jon (Eds.), Kierkegaard and the Renaissance and Modern Traditions - Philosophy. Ashgate. ISSN 978-0-7546-6818-3.
  • Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2009). Proof Search for the First-Order Connection Calculus in Maude. Electronical Notes in Theoretical Computer Science. ISSN 1571-0661. 238, p. 173–188.
  • Lian, Espen Hallenstvedt & Waaler, Arild (2008). Computing Default Extensions by Reductions on O^R. In Brewka, Gerhard & Lang, Jérôme (Ed.), Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008. AAAI Press. ISSN 978-1-57735-384-3. p. 496–506.
  • Waaler, Arild; Klüwer, Johan W.; Langholm, Tore & Lian, Espen (2007). Only knowing with degrees of confidence. Journal of Applied Logic. ISSN 1570-8683. 5(3), p. 492–518.
  • Antonsen, Roger & Waaler, Arild (2007). Liberalized Variable Splitting. Journal of automated reasoning. ISSN 0168-7433. 38, p. 3–30. doi: 10.1007/s10817-006-9055-9.
  • Waaler, Arild; Kluwer, Johan Wilhelm; Langholm, Tore & Lian, Espen Hallenstvedt (2007). Only knowing with degrees of confidence. Journal of Applied Logic. ISSN 1570-8683. 5(3), p. 492–518.
  • Antonsen, Roger & Waaler, Arild (2007). A Labelled System for IPL with Variable Splitting. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. LNAI(4603), p. 132–146. doi: 10.1007/978-3-540-73595-3_10.
  • Klüwer, Johan W. & Waaler, Arild (2006). Relative trustworthiness. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3866, p. 158–170.
  • Klüwer, Johan W. & Waaler, Arild (2006). Trustworthiness by default. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3900, p. 96–111.
  • Solhaug, Bjørnar & Waaler, Arild (2006). Logical spaces in multi-agent Only knowing systems. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3900, p. 77–95.
  • Kluwer, JW & Waaler, Arild (2006). Relative trustworthiness. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3866.
  • Kluwer, JW & Waaler, Arild (2006). Trustworthiness by default. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3900, p. 96–111.
  • Solhaug, Bjørnar & Waaler, Arild (2006). Logical spaces in multi-agent Only knowing systems. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3900, p. 77–95. doi: 10.1007/11750734_5.
  • Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3702, p. 33–47.
  • Engan, Iselin; Langholm, Tore; Lian, Espen & Waaler, Arild (2005). Default Reasoning with Preference within Only Knowing Logic. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3662, p. 304–316.
  • Waaler, Arild & Solhaug, Bjørnar (2005). Semantics for multi-agent only knowing (extended abstract). Proceedings of the conference on Theoretical Aspects of Rationality and Knowledge. ISSN 1525-3430. 10, p. 109–125.
  • Waaler, Arild (2005). Consistency Proofs for Systems of Multi­agent Only Knowing, Advances in modal logic. King's College Publications. p. 347–366.
  • Waaler, Arild & Solhaug, Bjørnar (2005). Semantics for multi-agent only knowing: extended abstract. In van der Meyden, Ron (Eds.), TARK X - Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge. National University of Singapore. ISSN 981-05-3412-4. p. 109–125.
  • Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. LNAI(3702), p. 33–47.
  • Engan, Iselin; Langholm, Tore; Lian, Espen Hallenstvedt & Waaler, Arild (2005). Default Reasoning with Preference Within Only Knowing Logic. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3662, p. 304–316.
  • Waaler, Arild (2004). Begynnelsens problem hos Lequier og Kierkegaard. Kirke og kultur. ISSN 0023-186X. 109(Årg. 109, h. 2), p. 205–210.
  • Tolstrup, Christian & Waaler, Arild (2004). Innledning til Filosofiske smuler, Filosofiske smuler / med innledning av Arild Waaler og Christian Fink Tolstrup. N.W. Damm & Sønn. p. 9–69.
  • Waaler, Arild & Tolstrup, Christian (2004). Philosophical fragments - in response to the debate between Mynster and Martensen. ?. p. 208–234.
  • Lian, Espen Hallenstvedt; Langholm, Tore & Waaler, Arild (2004). Only Knowing with Confidence Levels: Reductions and Complexity. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3229, p. 500–512.
  • Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 2796, p. 214–229.
  • Waaler, Arild (2001). Connections in nonclassical logics, Handbook of Automated Reasoning, eds. A. Robinson and A. Voronkov. Elsevier Science. p. 1487–1576.
  • Waaler, Arild (2001). Connections in Nonclassical Logics. Handbook of Automated Reasoning. 2, p. 1487–1576.
  • Waaler, Arild & Wallen, Lincoln A. (1999). Tableaux Methods in Intuitionistic Logic. In Gabbay, D. & Haehnle, R. (Ed.), Handbook of Tableaux Methods. Kluwer Academic Press. p. 255–296.

View all works in Cristin

  • Giese, Martin & Waaler, Arild (2009). Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings. Springer. ISBN 978-3-642-02715-4. 341 p.

View all works in Cristin

  • Cameron, David B.; Waaler, Arild & Abel, Mara (2019). Digital Twins as a Platform For Artificial Intelligence in the Petroleum Supply Chain.
  • Cameron, David B.; Waaler, Arild; Skjæveland, Martin G; Gjerver, Anders & Hansen, Christian Mahesh (2019). The Whole Plant Digital Twin: What Can Semantic Technologies Contribute?
  • Cameron, David B.; Waaler, Arild; Tungland, Knut Sebastian & Nøst, Elisabeth (2019). Using the Industry Collaboration Canvas in the Mid-Term Review. Experience in applying the framework in the oil and gas industry.
  • Latif, Adnan; Waaler, Arild; Giese, Martin; Hovland, Dag & Skjæveland, Martin G (2018). Ontology-Based Data Access in Exploration.
  • Cameron, David B.; Waaler, Arild & Komulainen, Tiina M. (2018). Oil and Gas digital twins after twenty years. How can they be made sustainable, maintainable and useful?
  • Jimenez-Ruiz, Ernesto; Hovland, Dag; Slaughter, Laura; Håndstad, Tony & Waaler, Arild (2017). On adopting ontology alignment techniques within the phenotype acquisition process. CEUR Workshop Proceedings. ISSN 1613-0073. 2042, p. 1–2.
  • Cameron, David Bruce; Waaler, Arild; Hovland, Dag & Skjæveland, Martin G (2017). Practical Knowledge Representation for Data Access to Subsurface Data: The Achievements and Potential of the Optique Platform.
  • Waaler, Arild (2017). Engineering Requirements: An Example of Research-Enabled Digitalization.
  • Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Show all 7 contributors for this article] (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration.
  • Giese, Martin & Waaler, Arild (2013). Optique - Scalable End-user Access to Big Data.
  • Kharlamov, Evgeny; Giese, Martin; Jimenez-ruiz, Ernesto; Skjæveland, Martin G; Soylu, Ahmet & Zheleznyakov, Dmitriy [Show all 21 contributors for this article] (2013). Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.
  • Solhaug, Bjørnar & Waaler, Arild (2005). Semantics for multi-agent only knowing (extended abstract).
  • Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.
  • Waaler, Arild (2005). Bevissystemer og semantikk for multiagent-systemer.
  • Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2005). Representing Strategies for the Connection Calculus in Rewriting Logic.
  • Kluwer, Johan & Waaler, Arild (2005). Relative trustworthiness.
  • Kluwer, Johan & Waaler, Arild (2005). A default theory of trust.
  • Solhaug, Bjørnar & Waaler, Arild (2005). Logical Spaces in Multi-Agent Only Knowing Systems.
  • Kluwer, Johan & Waaler, Arild (2005). Natural deduction for belief at most.
  • Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2005). Representing Strategies for the Connection Calculus in Rewriting Logic.
  • Waaler, Arild (2004). Consistency proofs for systems of multi-agent only knowing.
  • Lian, Espen; Langholm, Tore & Waaler, Arild (2004). Only knowing with confidence levels - reductions and complexity.
  • Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting.
  • Waaler, Arild (2003). Trustworthiness by default.
  • Waaler, Arild (2003). Trustwortiness by default.
  • Waaler, Arild (2001). Proof search in intuitionistic logic.
  • Waaler, Arild (2001). Proof search in intuitionistic logic.
  • Waaler, Arild (2000). Kierkegaard, Leibniz og modale kategorier.
  • Waaler, Arild (2000). Indicative conditionals.
  • Waaler, Arild (2000). Den forventede Salomon Goldkalb.
  • Waaler, Arild & Storøy, S (2000). Proof-search in intuitionistic logic.
  • Waaler, Arild (1999). Den forventede Salomon Goldkalb.
  • Giese, Martin & Waaler, Arild (2009). TABLEAUX 2009 Position Papers and Workshop Proceedings. University of Oslo, Department of Informatics. ISSN 0806-3036.
  • Hansen, Christian Mahesh; Antonsen, Roger & Waaler, Arild (2007). Incremental Closure of Variable Splitting Tableaux in TABLEAUX'07 - Automated Reasoning with Analytic Tableaux and Related Methods: Position Papers. Editors: Nicola Olivetti, Camilla Schwind. LSIS.RR.2007.002. LSIS, Paul Cézanne University.

View all works in Cristin

Published Nov. 4, 2010 2:25 PM - Last modified Nov. 25, 2014 10:20 AM

Projects

No ongoing projects