Arild Torolv Søetorp Waaler

• 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. 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 Show summary

  Knowledge Graphs have recently gained a lot of attention and have been successfully applied in both academia and industry. Since KGs may be very large: they may contain millions of entities and triples relating them to each other, to classes, and assigning them data values, it is important to provide endusers with effective tools to explore information encapsulated in KGs. In this work we present a visual query system that allows users to explore KGs by intuitively constructing tree-shaped conjunctive queries. It is known that systems of this kind suffer from the problem of information overflow: when constructing a query the users have to iteratively choose from a potentially very long list of options, sich as, entities, classes, and data values, where each such choice corresponds to an extension of the query new filters. In order to address this problem we propose an approach to substantially reduce such lists with the help of ranking and by eliminating the so-called deadends, options that yield queries with no answers over a given KG.

• 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. Show summary

  The digital twin offers a potentially powerful way of using simulation to support business and change the way industrial operations are done. The idea of the digital twin is not new but recent changes in information technology make implementation of digital twins a natural next step in the application of simulation technologies. Simulation practitioners will find that their models are increasingly embedded in complex systems that combine simulations with operational data to solve a business problem. However, the successful adoption of this approach is challenging. This paper asks the question: “How can digital twins be made sustainable, maintainable and useful?”. We focus primarily on the development of twins in the oil and gas industry. Most academic work in this area has been done in the manufacturing industries. We review this literature and propose a simple model of digital twins. This allows us to identify challenges with current implementations and propose a research agenda that will allow future twins to be sustainable, maintainable and usable.

• 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. 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. Show summary

  This case study is focused on the impact of big data in exploration and production of oil & gas in the Norwegian Continental Shelf. Overall, the industry is currently transitioning from mere data collection practices to more proactive uses of data, especially in the operations area. Positive economical impacts associated with the use of big data comprise data generation and data analytics business models, commercial partnerships around data, and the embracement of open data by the Norwegian regulator. On the negative side there are concerns regarding the future of existing business models and the reluctance of oil companies to share data. Positive social and ethical impacts include mitigation of safety and environment concerns with big data, personal privacy not really a problem, and creation of new jobs for data scientists; on the other hand cyberthreats are becoming a serious concern and there are trust issues with data.

• 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 Show summary

  With the emergence of the Web of Data, there is a need of tools for searching and exploring the growing amount of semantic data. Unfortunately, such tools are scarce and typically require knowledge of SPARQL/RDF. We propose here PepeSearch, a portable tool for searching semantic datasets devised for mainstream users. PepeSearch offers a multi-class search form automatically constructed from a SPARQL endpoint. We have tested PepeSearch with 15 participants searching a Linked Open Data version of the Norwegian Register of Business Enterprises for non-trivial challenges. Retrieval performance was encouragingly high and usability ratings were also very positive, thus suggesting that PepeSearch is effective for searching semantic datasets by mainstream users. We also assessed its portability by configuring PepeSearch to query other SPARQL endpoints.

• 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. Show summary

  The variable splitting method for free-variable tableau calculi provides an admissibility condition under which the same free variables can be assigned values independently on different branches. While this has a large potential for automated proof search, a direct implementation of this condition is impractical. We adapt the incremental closure framework for free variables to variable splitting tableaux by recasting the admissibility condition for closing substitutions into a constraint satisfaction problem. The resulting mechanism allows to check the existence of an admissible closing substitution incrementally during the construction of a proof. We specify a rule-based algorithm for testing satisfiability of constraints that accounts for split variables, and present experimental results based on a prototype variable splitting theorem prover implementation measuring the computational overhead of the variable splitting framework.

• Løkke, Håvard & Waaler, Arild (2010). The First Principles of Logic and the Debate about Mediation. p. 3–24.
• Løkke, Håvard & Waaler, Arild (2010). Change, Modal Categories, and Agency. 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.
• 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. Show summary

  A new logic of belief (in the "only knowing" family) with confidence levels is presented. The logic allows a natural distinction between explicit and implicit belief representations, where the explicit form directly expresses its models. The explicit form can be found by applying a set of equivalence preserving rewriting rules to the implicit form. The rewriting process is performed entirely within the logic, on the object level, provided we supply an explicit formalization of the logical space. We prove that the problem of deciding whether there exists a consistent explicit form is -complete, a complexity class to which many problems of nonmonotonic reasoning belong. The article also contains a conceptual analysis of basic notions like belief, co-belief and degrees of confidence.

• 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. Show summary

  The paper introduces a free variable, labelled proof system for intuitionistic propositional logic with variable splitting. In this system proofs can be found without backtracking over rules by generating a single, uniform derivation. We prove soundness, introduce a construction that extracts finite countermodels from unprovable sequents, and formulate a branchwise termination condition. This is the first proof system for intuitionistic propositional logic that admits goal-directed search procedures without compromising proof lengths, compared to corresponding tableau calculi.

• Klüwer, Johan W. & Waaler, Arild (2006). Relative trustworthiness. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3866, p. 158–170. Show summary

  We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure implicit in a trust relation can be made fully explicit by means of a lattice and how a system of default expectations arises from a systematic interpretation. The default structure lends itself to formal interpretation, but is independent of a particular logical language. The theory is designed to directly extend the analysis of the concept of trust given by Andrew Jones.

• Klüwer, Johan W. & Waaler, Arild (2006). Trustworthiness by default. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3900, p. 96–111. Show summary

  We present a framework for reasoning about trustworthiness, with application to conflict resolution and belief formation at various degrees of reliability. On the basis of an assignment of relative trustworthiness to sets of information sources, a lattice of degrees of trustworthiness is constrructed; from this, a priority structure is derived and applied to the problem of forming the right opinion in the presence of possibly conflicting information. Consolidated with an unquestioned knowledge base, this provides an unambiguous account of what an agent should believe, conditionally on which information sources are trusted. Applications in multi-agent doxastic logic are sketched.

• 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. Show summary

  We present a weak multi-agent system of Only knowing and an analysis of the logical spaces that can be defined in it. The logic complements the approach to generalizing Levesque's All I Know system made by Halpern and Lakemeyer. A novel feature of our approach is that the logic is defined entirely at the object level with no reference to meta-concepts in the definition of the axiom system. We show that the logic of Halpern and Lakemeyer can be encoded in our system in the form of a particular logical space.

• 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. Show summary

  Solhaug: Også infomedia, UiB. TØF: Knytter posten til Solhaug kommer på plass./tøf

• 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. Show summary

  We prove consistency of a sequent calculus for classical logic with explicit splitting of free variables by means of a semantical soundness argument. The free variable system is a mature formulation of the system proposed at TABLEAUX 2003 [1]. We also identify some challenging and interesting open research problems.

• 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. Show summary

  The main construction in this paper is an encoding of default logic into an ``only knowing'' logic with degrees of confidence. By imposing simple and natural constraints on the encoding we show that the ``only knowing'' logic can accommodate ordered default theories and that the constrained encoding implements a prescriptive interpretation of preference between defaults. An advantage of the encoding is that it provides a transparent formal rendition of such a semantics. A feature of the construction is that the generation of extensions can be carried out within the ``only knowing'' logic, using object level concepts alone.

• 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. Show summary

  This paper presents a Kripke semantics for a multi-agent generalization of Levesque's logic of ``only knowing''. We prove soundness and completeness and show that the logic has the finite model property. In addition we prove a Modal reduction theorem which states that complex syntactical representations can be syntactically reduced to a provably equivalent form which directly reflects all the models of the representation.

• Waaler, Arild (2005). Consistency Proofs for Systems of Multi­agent Only Knowing, Advances in modal logic. King's College Publications. p. 347–366. Show summary

  Various multi-modal systems are proposed for the representation of belief states in a multi-agent context. We introduce sequent calculi for these systems and prove cut-elimination results. A corollary to these results is that a new and natural multi-modal extension of Levesque's system of only knowing is consistent.

• 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. Show summary

  We prove consistency of a sequent calculus for classical logic with explicit splitting of free variables by means of a semantical soundness argument. The free variable system is a mature formulation of the system proposed at TABLEAUX 2003. We also identify some challenging and interesting open research problems.

• 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. Show summary

  We provide an interpretation of Kierkegaard's "Philosophical fragments" based on an analysis of the debate between Mynster and Martensen about rationalism and supernaturalism. We argue that the composition of the Fragments in an essential way reflects the manner in which the theological questions under debate were formulated. From this perspective, the Fragments may at first sight seem to bring ample support to Mynster, both in form and in substance. However, we argue that this impression changes radically upon closer examination. Quite to the contrary, we argue that Climacus reformulates the points put forth by Mynster in a way which goes against Mynster's own theological system.

• 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. Show summary

  Abstract: A system with variable splitting is introduced for a sequent calculus with free variables and run-time Skolemization. Derivations in the system are invariant under permutation, so that the order in which rules are applied has no effect on the leaves. Technically this is achieved by means of a simple indexing system for formulae, variables and Skolem functions. Moreover, the way in which variables are split enables us to restrict the term universe branchwise.

• Waaler, Arild (2001). Connections in nonclassical logics, Handbook of Automated Reasoning, eds. A. Robinson and A. Voronkov. Elsevier Science. p. 1487–1576. Show summary

  The direct use of connection methods within non-classical proof systems has been limited to matrix characterizations. A main objective for this work has been to present the idea underlying the matrix systems in a simpler way, and in a way which also acc ommodates the related activity within the tableau community. The article contains an original presentation of the main ideas in the field and contains the following new results: (1) a clarification of the relationship between the sequent calculus with f ree variables, free variable tableaux and the matrix system for classical logic. I have in particular identified a new class of sequent calculus skeletons which corresponds to matrices, (2) a new soundness proof for the free variable systems for classic al logic based on permutation. The technique is then applied to the nonclassical systems, (3) a sequent calculus rendition of the matrix system for intuitionistic and normal modal logics up to S4 with new proofs of soundness and completeness, (4) new pr oof systems for modal logics K45 and S5 with quantifiers

• Waaler, Arild (2001). Connections in Nonclassical Logics. Handbook of Automated Reasoning. 2, p. 1487–1576. Show summary

  The article addresses the use of connection methods within non--classical proof systems. It contains an original presentation of the main ideas in the field and the following new results: (1) a clarification of the relationship between the sequent calculus with free variables, free variable tableaux and the matrix system for classical logic. I have in particular identified a new class of sequent calculus skeletons which corresponds to matrices, (2) a new soundness proof for the free variable systems for classical logic based on permutation. The technique is then applied to the nonclassical systems, (3) a sequent calculus rendition of the matrix system for intuitionistic and normal modal logics up to S4 with new proofs of soundness and completeness, (4) new proof systems for modal logics K45 and S5 with quantifiers.

• 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.
• Waaler, Arild (1999). Noen punkter fra Pascals liv og verk, Endelighet og evighet. 15 essays om Blaise Pascal. Aschehoug & Co. ISSN 82-03-18050-7. p. 11–23.

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. Show summary

  The SIRIUS Centre for Scalable Data Access in the Oil and Gas Domain is funded by the Research Council of Norway and hosted by the University of Oslo. It pursues fundamental research that drives innovations related to digitalisation of the oil & gas industry. The centre consists of researchers from four institutions (University of Oslo, NTNU, Simula Research Centre and University of Oxford) and fourteen companies in the oil and gas supply chain. It is funded for eight years from 2015 and is now undergoing a mid-term review that assesses the centre’s progress and determines whether it will be funded for its full term. To prepare for the review, it was necessary to have a structured discussion with each industrial partner. This was done to determine how successful the partnership had been to date, see if any changes needed to be made and sketch a plan for the last half of the centre’s life. The assessment required a tool that was simple to use, easy to understand and flexible. We chose to use the Industry Collaboration Canvas of Frølund, Murray and Riedel (2018). This paper describes the process and results of this work, from the perspective of the centre management and two of the larger partner companies, Equinor and TechnipFMC. Two workers were trained in the use of the canvas in March 2018. The process was explained to the partners at the centre’s general assembly and it was agreed that we would conduct these workshops. The workshops were then held in the second half of 2018. SIRIUS management visited each partner’s site to hold the meeting. However, in some cases, videoconferencing had to be used due to the geographical factors. The use of the canvas was considered to be successful. Feedback from all participants was positive and the information gathered provided factual material for preparing the documents needed for the mid-term re-view. In all cases, we identified concrete actions that will improve the value of collaboration between the researchers and each industrial partner. The canvas identified gaps and potential problems for collaboration. In these cases we were able to agree on necessary corrective actions. The canvas is now shared between centre management and the partner and is a de-facto agreement on how the partnership will continue over the next 5 years. The canvas is an effective and powerful tool for assessing and planning interactions between researchers and industrial companies. It is simple to use, easy to understand and brings rigour and structure to the discussions around current and new collaborations. We are actively promoting the use of this tool in other parts of the University.

• 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? Show summary

  The digital twin offers a potentially powerful way of using simulation to support business and change the way industrial operations are done. The idea of the digital twin is not new but recent changes in information technology make implementation of digital twins a natural next step in the application of simulation technologies. Simulation practitioners will find that their models are increasingly embedded in complex systems that combine simulations with operational data to solve a business problem. However, the successful adoption of this approach is challenging. This paper asks the question: “How can digital twins be made sustainable, maintainable and useful?”. We focus primarily on the development of twins in the oil and gas industry. Most academic work in this area has been done in the manufacturing industries. We review this literature and propose a simple model of digital twins. This allows us to identify challenges with current implementations and propose a research agenda that will allow future twins to be sustainable, maintainable and usable.

• 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. Show summary

  Jeg vil i dette foredraget presentere pågående arbeid innen formuleringer av systemer for automatisk deduksjon for klassiske og modale logikker og anvendelser av logikkene til analyse av kunnskapsrepresentasjon, tillit og default-resonnering innen multi-agent språk. Prosjektene som presenteres har for tiden knyttet til seg 4 stipendiater ved Universitetet i Oslo. Foruten å presentere de grunnleggende ideene og resultatene, vil jeg også skissere videre oppgaver og noen potensielle anvendelse.

• 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. Show summary

  We present a framework for reasoning about information sources, with application to conflict resolution and belief formation at various degrees of reliability. On the basis of an assignment of relative trustworthiness to sets of information sources, a lattice of degrees of trustworthiness is constructed; from this, a priority structure is derived and applied to the problem of forming the right opinion. Consolidated with an unquestioned knowledge base, this provides an unambiguous account of what an agent should believe, conditionally on which information sources are trusted. Applications in multi-agent doxastic logic are sketched.

• Solhaug, Bjørnar & Waaler, Arild (2005). Logical Spaces in Multi-Agent Only Knowing Systems. Show summary

  We present a weak multi-agent language of Only knowing and an analysis of the logical spaces that can be defined in it. The logic complements the approach to generalizing Levesque`s All I Know system made by Halpern and Lakemeyer. A novel feature of our approach is that the logic is defined entirely at the object level with no reference to meta-concepts in the definition of the axiom system. We show that the logic of Halpern and Lakemeyer can be encoded in our system in the form of a particular logical space.

• Kluwer, Johan & Waaler, Arild (2005). Natural deduction for belief at most. Show summary

  We present a new approach to the logic of \emph{at most}, introducing the notion of \emph{parametric propositions} to modal natural deduction proofs. We apply the method with a natural deduction formulation of the doxastic logic \natded, a new system in the ``only knowing'' family. Using parametric proof rules, we give introduction and elimination rules for belief \emph{at most} that directly match the natural second-order formulation of the concept. \natded is sound and complete with respect to the class of intended models. We conjecture that it weakly normalizes and that it satisfies the subformula property.

• 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. Show summary

  Various multi-modal systems are proposed for the representation of belief states in a multi-agent context. We introduce sequent calculi for these systems and prove cut-elimination results. A corollary to these results is that a new and naturalmulti-modal extension of Levesque's system of only knowing is consistent.

• Lian, Espen; Langholm, Tore & Waaler, Arild (2004). Only knowing with confidence levels - reductions and complexity. Show summary

  A new logic of belief (in the "Only knowing" family) withconfidence levels is presented. The logic allows a natural distinction between explicit and implicit belief representations, where the explicit form directly expresses its models. The explicit form can be found by applying a set ofequivalence preserving rewriting rules to the implicit form. The rewriting process is performed entirely within thelogic, on the object level. We prove that the problem of deciding whether there exists a consistent explicit form is

• Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting. Show summary

  En ny sekventkalkyle for første ordens logikk med frie variable som løser splitte-problemet. Reglene i kalkylen har ingen begrensninger mht. permutasjon. En ny sekventkalkyle for første ordens logikk med frie variable som løser splitte-problemet. Reglene i kalkylen har ingen begrensninger mht. permutasjon.

• Waaler, Arild (2003). Trustworthiness by default.
• Waaler, Arild (2003). Trustwortiness by default. Show summary

  First, a new logic of belief is briefly presented and applied to the analysis of default inference. The logic allows a natural distinction between explicit and implicit belief representations, where the explicit form directly expresses its models. A novelty of the system is that the appeal to coherence intrinsic to the nature of defaults can be accommodated entirely within the object language. We will see that an implicit representation of a given set of defaults, in combination with situation-specific beliefs, can be reduced to a provably equivalent explicit form, and furthermore, that applying an order of precedence to a set of defaults can make such reduction possible where non-ordered defaults do not yield explicit results.

• 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