Arild Waaler

• Harrow, Ian; Jimenez-Ruiz, Ernesto; Splendiani, Andrea; Romacker, Martin; Woollard, Peter; Markel, Scott; Alam-Faruque, Yasmin; Koch, Martin; Malone, James & Waaler, Arild Torolv Søetorp (2017). Matching disease and phenotype ontologies in the ontology alignment evaluation initiative. Journal of Biomedical Semantics.  ISSN 2041-1480.  8(1), s 1- 13 . doi: 10.1186/s13326-017-0162-9 Full text in Research Archive.
• Hovland, Dag; Kontchakov, Roman; Skjæveland, Martin G; Waaler, Arild & Zakharyaschev, Michael (2017). Ontology-Based Data Access to Slegge. Lecture Notes in Computer Science.  ISSN 0302-9743.  10588, s 120- 129 . doi: 10.1007/978-3-319-68204-4_12 Full text in Research Archive.
• Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Lanti, Davide; Rezk, Martin; Zheleznyakov, Dmitriy; Giese, Martin; Lie, Hallstein; Ioannidis, Yannis; Kotidis, Yannis; Koubarakis, Manolis & Waaler, Arild Torolv Søetorp (2017). Ontology Based Data Access in Statoil. Journal of Web Semantics.  ISSN 1570-8268.  44, s 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; Solomakhina, Nina; Soylu, Ahmet; Svingos, Christoforos; Brandt, Sebastian; Giese, Martin; Ioannidis, Yannis; Lamparter, Steffen; Möller, Ralf; Kotidis, Yannis & Waaler, Arild (2017). Semantic access to streaming and static data at Siemens. Journal of Web Semantics.  ISSN 1570-8268.  44, s 54- 74 . doi: 10.1016/j.websem.2017.02.001 Full text in Research Archive.
• 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, s 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
• Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar & Tungland, Knut Sebastian (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration, In  SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings.  Society of Petroleum Engineers.  ISBN 978-1-61399-459-7.  KAPITTEL.
• 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), s 62- 66 . doi: 10.1109/MIC.2016.121
• Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis; Lamparter, Steffen; Mailis, Theofilis P.; Neuenstadt, Christian; Özcep, Özgür; Pinkel, Christoph; Soylu, Ahmet; Svingos, Christoforos; Zheleznyakov, Dmitriy; Horrocks, Ian; Ioannidis, Yannis; Möller, Ralf & Waaler, Arild (2016). Enabling semantic access to static and streaming distributed data with optique: demo, In Avigdor Gal; Matthias Weidlich; Vana Kalogeraki & Nalini Venkasubramanian (ed.),  Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA,USA, June 20 -24.  ACM Publications.  ISBN 978-1-4503-4021-2.  Chapter.  s 350 - 353
• Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian; Jimenez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Özcep, Özgür; Soylu, Ahmet; Svingos, Christoforos; Xiao, Guohui; Zheleznyakov, Dmitriy; Calvanese, Diego; Horrocks, Ian; Giese, Martin; Ioannidis, Yannis; Kotidis, Yannis; Möller, Ralf & Waaler, Arild (2016). A Semantic Approach to Polystores, In James Joshi (ed.),  Proceedings 2016 IEEE International Conference on Big Data.  IEEE.  ISBN 978-1-4673-9005-7.  KAPITTEL.  s 2565 - 2573
• 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), s 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; 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.

• 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.  ISSN 0302-9743.  9989 LNCS, s 146- 150 . doi: 10.1007/978-3-319-47602-5_29
• 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, s 81- 96 . doi: 10.1016/j.websem.2016.01.002
• Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag; Giese, Martin; Horrocks, Ian & Waaler, Arild (2016). KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings.  ISSN 1613-0073.  1690
• Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter; Jimenez-Ruiz, Ernesto; Lanti, Davide; Rezk, Martin; Xiao, Guohui; Oezcep, Oezguer & Rosati, Riccardo (2015). Optique: Zooming in on Big Data. Computer.  ISSN 0018-9162.  48(3), s 60- 67 . doi: 10.1109/MC.2015.82
• Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Soylu, Ahmet; Xiao, Guohui; Zheleznyakov, Dmitriy; Giese, Martin; Horrocks, Ian & Waaler, Arild (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, s 112- 140 . doi: 10.1016/j.websem.2015.03.002 Full text in Research Archive.
• Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf; Neuenstadt, Christian; Oezcep, Oezguer; Rodriguez-muro, Mariano; Roshchin, Mikhail; Ruzzi, Marco; Savo, Domenico Fabio; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild & Zheleznyakov, Dmitriy (2013). The Optique Project: Towards OBDA Systems for Industry. CEUR Workshop Proceedings.  ISSN 1613-0073.  1080
• Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis; Kllapi, Herald; Koubarakis, Manolis; Lenzerini, Maurizio; Moeller, Ralf; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schlatte, Rudolf; Schmidt, Michael; Soylu, Ahmet & Waaler, Arild (2013). Scalable End-user Access to Big Data, In Rajendra Akerkar (ed.),  Big Data Computing.  Taylor & Francis.  ISBN 978-1-46-657837-1.  Section II.
• Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin; Haase, Peter; Horrocks, Ian; Kllapi, Herald; Koubarakis, Manolis; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schmidt, Michael; Schlatte, Rudolf; Soylu, Ahmet & Waaler, Arild (2013). Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science.  ISSN 0302-9743.  7955, s 125- 140 . doi: 10.1007/978-3-642-41242-4_11
• Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Kluwer, Johan Wilhelm; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf; Neuenstadt, Christian; Nordveit, Toralv; Oezcep, Oezguer; Rodriguez-muro, Mariano; Roshchin, Mikhail; Savo, Fabio; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild & Zheleznyakov, Dmitriy (2013). Optique: OBDA Solution for Big Data. Lecture Notes in Computer Science.  ISSN 0302-9743.  7955, s 293- 295 . doi: 10.1007/978-3-642-41242-4_48
• 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 Sanjay Kanvinde (ed.),  SPE Intelligent Energy International, 27-29 March 2012, Utrecht, The Netherlands.  Society of Petroleum Engineers.  ISBN 978-1-61399-191-6.  SPE 150225.
• Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild (2012). Incremental variable splitting. Journal of symbolic computation.  ISSN 0747-7171.  47(9), s 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.

• 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, s 162- 174
• Løkke, Håvard & Waaler, Arild (2010). Change, Modal Categories, and Agency, In Jon Stewart & Katalin Nun (ed.),  Kierkegaard and the Greek World: Tome II: Aristotle and other Greek Authors.  Ashgate.  ISBN 9780754669821.  Kapittel.  s 25 - 46
• Løkke, Håvard & Waaler, Arild (2010). The First Principles of Logic and the Debate about Mediation, In Jon Stewart & Katalin Nun (ed.),  Kierkegaard and the Greek World: Tome II: Aristotle and other Greek Authors.  Ashgate.  ISBN 9780754669821.  Kapittel.  s 3 - 24
• 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, s 173- 188
• Løkke, Håvard & Waaler, Arild (2009). Traces of Kierkegaard’s Reading of the Theodicy, In Jon Stewart (ed.),  Kierkegaard and the Renaissance and Modern Traditions - Philosophy.  Ashgate.  ISBN 978-0-7546-6818-3.  Kapittel.
• Lian, Espen Hallenstvedt & Waaler, Arild (2008). Computing Default Extensions by Reductions on O^R, In Gerhard Brewka & Jérôme Lang (ed.),  Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008.  AAAI Press.  ISBN 978-1-57735-384-3.  Nonmonotonic Reasoning.  s 496 - 506
• Antonsen, Roger & Waaler, Arild (2007). A Labelled System for IPL with Variable Splitting. Lecture Notes in Computer Science.  ISSN 0302-9743.  LNAI(4603), s 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.

• Antonsen, Roger & Waaler, Arild (2007). Liberalized Variable Splitting. Journal of automated reasoning.  ISSN 0168-7433.  38, s 3- 30 . doi: 10.1007/s10817-006-9055-9
• 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), s 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.

• 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), s 492- 518
• Klüwer, Johan W. & Waaler, Arild (2006). Relative trustworthiness. Lecture Notes in Computer Science.  ISSN 0302-9743.  3866, s 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.  ISSN 0302-9743.  3900, s 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.

• Kluwer, JW & Waaler, Arild (2006). Relative trustworthiness. Lecture Notes in Computer Science.  ISSN 0302-9743.  3866
• Kluwer, JW & Waaler, Arild (2006). Trustworthiness by default. Lecture Notes in Computer Science.  ISSN 0302-9743.  3900, s 96- 111
• Solhaug, Bjørnar & Waaler, Arild (2006). Logical spaces in multi-agent Only knowing systems. Lecture Notes in Computer Science.  ISSN 0302-9743.  3900, s 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.

• Solhaug, Bjørnar & Waaler, Arild (2006). Logical spaces in multi-agent Only knowing systems. Lecture Notes in Computer Science.  ISSN 0302-9743.  3900, s 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.  ISSN 0302-9743.  LNAI(3702), s 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.  ISSN 0302-9743.  3662, s 304- 316
• Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science.  ISSN 0302-9743.  3702, s 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.  ISSN 0302-9743.  3662, s 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 (2005). Consistency Proofs for Systems of Multi­agent Only Knowing, In  Advances in modal logic.  King's College Publications.  s 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). Proceedings of the conference on Theoretical Aspects of Rationality and Knowledge.  ISSN 1525-3430.  10, s 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 & Solhaug, Bjørnar (2005). Semantics for multi-agent only knowing: extended abstract, In Ron van der Meyden (ed.),  TARK X - Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge.  National University of Singapore.  ISBN 981-05-3412-4.  Session 5.  s 109 - 125
• Lian, Espen Hallenstvedt; Langholm, Tore & Waaler, Arild (2004). Only Knowing with Confidence Levels: Reductions and Complexity. Lecture Notes in Computer Science.  ISSN 0302-9743.  3229, s 500- 512
• Tolstrup, Christian & Waaler, Arild (2004). Innledning til Filosofiske smuler, I:  Filosofiske smuler / med innledning av Arild Waaler og Christian Fink Tolstrup.  N.W. Damm & Sønn.  s 9 - 69
• Waaler, Arild (2004). Begynnelsens problem hos Lequier og Kierkegaard. Kirke og kultur.  ISSN 0023-186X.  109(Årg. 109, h. 2), s 205- 210
• Waaler, Arild & Tolstrup, Christian (2004). Philosophical fragments - in response to the debate between Mynster and Martensen. ?.  s 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.

• Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting. Lecture Notes in Computer Science.  ISSN 0302-9743.  2796, s 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.  2, s 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 (2001). Connections in nonclassical logics, In  Handbook of Automated Reasoning, eds. A. Robinson and A. Voronkov.  Elsevier Science.  s 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

• Kolstad, Hans; Bjørnstad, Hall & Waaler, Arild (1999). Noen punkter fra Pascals liv og verk, I:  Endelighet og evighet. 15 essays om Blaise Pascal.  Aschehoug forlag.  s 11 - 23
• Waaler, Arild (1999). Noen punkter fra Pascals liv og verk, I:  Endelighet og evighet. 15 essays om Blaise Pascal.  Aschehoug & Co.  ISBN 82-03-18050-7.  s 11 - 23
• Waaler, Arild & Wallen, Lincoln A. (1999). Tableaux Methods in Intuitionistic Logic, In D. Gabbay & R. Haehnle (ed.),  Handbook of Tableaux Methods.  Kluwer Academic Press.  s 255 - 296 Show summary

  Artikkelen er en oversiktsartikkel over tableaux-metoder for intuisjonistisk logikk. Foruten å oppsummere fagområdet, inneholder artikkelen også nye konstruksjoner i forbindelse med bevis for kompletthet av systemene.

• Waaler, Arild; Wallen, Lincoln; D'Agostino, M; Gabbay, D & Haehnle, R (1999). Tableaux Methods in Intuitionistic Logic, In  Handbook of Tableaux Methods.  Kluwer.  s 255 - 296
• Waaler, Arild (1998). Aristotle, Leibnitz and the moral categories in the interlude of the fragments, In  Kierkegaard Studies, Yearbook 1998 / ed. by Cappeloern, N.J. and Deuser, H.  Walter de Gruyter.  faglig_bok_institusjon.  s 276 - 291
• Waaler, Arild (1998). Aristotle, Leibniz and the Modal Categories in the Interlude of the Fragments, In Niels Jørgen Cappelørn & Hermann Deuser (ed.),  Kierkegaard Studies - Yearbook 1998.  Walter de Gruyter, Berlin.  s 276 - 291

View all works in Cristin

• Giese, Martin & Waaler, Arild (ed.) (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 s.
• Kolstad, Hans; Bjørnstad, Hall & Waaler, Arild (1999). Endelighet og evighet. 15 essays om Blaise Pascal. Aschehoug & Co.  ISBN 82-03-18050-7.  299 s.
• Kolstad, Hans; Bjørnstad, Hall & Waaler, Arild (1999). Endelighet og evighet. 15 essays om Blaise Pascal. Aschehoug forlag.  ISBN 82-03-18050-7.  299 s.
• Kolstad, Hans & Waaler, Arild (red.) (1999). Endelighet og evighet. 15 essays om Blaise Pascal. Aschehoug & Co.  ISBN 82-03-18050-7.

View all works in Cristin

• 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.
• 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, s 1- 2
• Skjæveland, Martin G; Forssell, Jon Henrik; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild (2017). Reasonable Ontology Templates: APIs for OWL. CEUR Workshop Proceedings.  ISSN 1613-0073.  1963
• 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 & Tungland, Knut Sebastian (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; Bagosi, Timea; Console, Marco; Haase, Peter; Horrocks, Ian; Marciuska, Sarunas; Pinkel, Christoph; Rodriguez-muro, Mariano; Ruzzi, Marco; Santarelli, Valerio; Fabio Savo, Domenico; Sengupta, Kunal; Schmidt, Michael; Thorstensen, Evgenij; Trame, Johannes & Waaler, Arild (2013). Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.
• Giese, Martin & Waaler, Arild (ed.) (2009). TABLEAUX 2009 Position Papers and Workshop Proceedings. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 387.
• 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.
• Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2005). Representing Strategies for the Connection Calculus in Rewriting Logic.
• Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.
• Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2005). Representing Strategies for the Connection Calculus in Rewriting Logic.
• 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.

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

• Kluwer, Johan & Waaler, Arild (2005). Relative trustworthiness.
• 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.

• Solhaug, Bjørnar & Waaler, Arild (2005). Semantics for multi-agent only knowing (extended abstract).
• 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.

• 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 (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.

• 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 (2003). Trustworthiness by default.
• 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 (2001). Proof search in intuitionistic logic.
• Waaler, Arild (2001). Proof search in intuitionistic logic.
• Waaler, Arild (2000). Den forventede Salomon Goldkalb.
• Waaler, Arild (2000). Indicative conditionals.
• Waaler, Arild (2000). Kierkegaard, Leibniz og modale kategorier.
• Waaler, Arild & Storøy, S (2000). Proof-search in intuitionistic logic.
• Waaler, Arild (1999). Bevissøk i intuisjonistisk logikk.
• Waaler, Arild (1999). Den forventede Salomon Goldkalb.
• Waaler, Arild (1999). Indicative conditionals.
• Waaler, Arild (1999). Kierkegaard, Leibniz og modale kategorier.
• Waaler, Arild (1999). LKa : a sequent calculus for intuitionistic logic with classical permutability properties.
• Waaler, Arild (1999). Proof-search in intuitionistic logic.
• Waaler, Arild (1999). The moment in non-being under the determination of time.

View all works in Cristin