Arild Waaler

• 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. . doi: 10.1016/j.websem.2017.02.001
• 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
• 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
• 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
• 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
• 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
• 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
• Klüwer, Johan W. & Waaler, Arild (2006). Trustworthiness by default. Lecture Notes in Computer Science.  ISSN 0302-9743.  3900, s 96- 111
• 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 . doi: 10.1007/11750734_5
• 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
• 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
• 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
• 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
• Waaler, Arild (2005). Consistency Proofs for Systems of Multi­agent Only Knowing , In  Advances in modal logic.  King's College Publications.  s 347 - 366
• 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
• 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
• 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
• Waaler, Arild (2001). Connections in Nonclassical Logics. Handbook of Automated Reasoning.  2, s 1487- 1576
• Waaler, Arild (2001). Connections in nonclassical logics, In  Handbook of Automated Reasoning, eds. A. Robinson and A. Voronkov.  Elsevier Science.  s 1487 - 1576
• 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
• 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

• 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.
• 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 .
• Kluwer, Johan & Waaler, Arild (2005). Natural deduction for belief at most.
• Kluwer, Johan & Waaler, Arild (2005). Relative trustworthiness .
• Solhaug, Bjørnar & Waaler, Arild (2005). Logical Spaces in Multi-Agent Only Knowing Systems .
• Solhaug, Bjørnar & Waaler, Arild (2005). Semantics for multi-agent only knowing (extended abstract).
• Waaler, Arild (2005). Bevissystemer og semantikk for multiagent-systemer .
• Lian, Espen; Langholm, Tore & Waaler, Arild (2004). Only knowing with confidence levels - reductions and complexity.
• Waaler, Arild (2004). Consistency proofs for systems of multi-agent only knowing .
• Waaler, Arild (2003). Trustwortiness by default .
• Waaler, Arild (2003). Trustworthiness by default.
• Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting.
• 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.
• Jones, Andrew; Nossum, Rolf & Waaler, Arild (1991). Modelling Distributed Systems in Modal Logic.

View all works in Cristin