Arild Torolv Søetorp Waaler

Bilde av Arild Torolv Søetorp Waaler
English version of this page
Telefon +47 22840055
Rom 9465
Brukernavn
Besøksadresse Gaustadalleen 23 B 0373 Oslo
Postadresse Postboks 1080 Blindern 0316 Oslo

Publikasjoner

  • Zhou, Baifan; Svetashova, Yulia; Silva Gusmao, Andre; Soylu, Ahmet; Cheng, Gong & Miku, Ralf [Vis alle 8 forfattere av denne artikkelen] (2021). SemML: Facilitating development of ML models for condition monitoring with semantics. Journal of Web Semantics. ISSN 1570-8268. 71, s. 1–21. doi: 10.1016/j.websem.2021.100664.
  • Kharlamov, Evgeny; Kotidis, Yannis; Mailis, Theofilos; Neuenstadt, Christian; Nikolaou, Charalampos & Özcep, Özgür [Vis alle 12 forfattere av denne artikkelen] (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, s. 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 [Vis alle 9 forfattere av denne artikkelen] (2018). Finding Data Should be Easier than Finding Oil. I Abe, Naoki; Liu, Huan; Hu, Xiaohua; Ahmed, Nesreen; Qiao, Mu; Song, Yang; Kossmann, Donald; Liu, Bing; Lee, Kisung; Tang, Jiliang; He, Jingrui & Saltz, Jeffrey (Red.), 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. Fulltekst i vitenarkiv
  • 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, s. 77–85. doi: 10.1007/978-3-030-04284-4_6. Fulltekst i vitenarkiv
  • Skjæveland, Martin G; Gjerver, Anders; Hansen, Christian Mahesh; Kluwer, Johan Wilhelm; Strand, Morten Rørvik & Waaler, Arild [Vis alle 7 forfattere av denne artikkelen] (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. s. 9–16. doi: 10.3384/ecp181539.
  • Skjæveland, Martin G; Forssell, Jon Henrik; Klüwer, Johan W.; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild (2017). Reasonable ontology templates: APIs for OWL: Efficient and practical ontology design and maintenance. CEUR Workshop Proceedings. ISSN 1613-0073. 1963, 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.
  • 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, s. 120–129. doi: 10.1007/978-3-319-68204-4_12. Fulltekst i vitenarkiv
  • Harrow, Ian; Jimenez-Ruiz, Ernesto; Splendiani, Andrea; Romacker, Martin; Woollard, Peter & Markel, Scott [Vis alle 10 forfattere av denne artikkelen] (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. Fulltekst i vitenarkiv
  • Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto & Xiao, Guohui [Vis alle 16 forfattere av denne artikkelen] (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. Fulltekst i vitenarkiv
  • Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü & Roshchin, Mikhail [Vis alle 16 forfattere av denne artikkelen] (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. Fulltekst i vitenarkiv
  • Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Vis alle 7 forfattere av denne artikkelen] (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 [Vis alle 20 forfattere av denne artikkelen] (2016). A Semantic Approach to Polystores. I Joshi, James (Red.), Proceedings 2016 IEEE International Conference on Big Data. IEEE. ISSN 978-1-4673-9005-7. s. 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), s. 62–66. doi: 10.1109/MIC.2016.121.
  • Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis & Lamparter, Steffen [Vis alle 17 forfattere av denne artikkelen] (2016). Enabling semantic access to static and streaming distributed data with optique: demo. I Gal, Avigdor; Weidlich, Matthias; Kalogeraki, Vana & Venkasubramanian, Nalini (Red.), 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. s. 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, s. 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 [Vis alle 8 forfattere av denne artikkelen] (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), s. 67–77.
  • Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild (2016). Visual query interfaces for semantic datasets: An evaluation study. Journal of Web Semantics. ISSN 1570-8268. 39, s. 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. Fulltekst i vitenarkiv
  • Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G & Soylu, Ahmet [Vis alle 11 forfattere av denne artikkelen] (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. Fulltekst i vitenarkiv
  • Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter & Jimenez-Ruiz, Ernesto [Vis alle 11 forfattere av denne artikkelen] (2015). Optique: Zooming in on Big Data. Computer. ISSN 0018-9162. 48(3), s. 60–67. doi: 10.1109/MC.2015.82.
  • Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas & Ioannidis, Yannis [Vis alle 23 forfattere av denne artikkelen] (2013). Optique: OBDA Solution for Big Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7955, s. 293–295. doi: 10.1007/978-3-642-41242-4_48.
  • Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin & Haase, Peter [Vis alle 16 forfattere av denne artikkelen] (2013). Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7955, s. 125–140. doi: 10.1007/978-3-642-41242-4_11.
  • Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis & Kllapi, Herald [Vis alle 16 forfattere av denne artikkelen] (2013). Scalable End-user Access to Big Data. I Akerkar, Rajendra (Red.), 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 [Vis alle 20 forfattere av denne artikkelen] (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. I Kanvinde, Sanjay (Red.), 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), s. 1046–1065. doi: 10.1016/j.jsc.2011.12.032.
  • Løkke, Håvard & Waaler, Arild (2010). The First Principles of Logic and the Debate about Mediation. I Stewart, Jon & Nun, Katalin (Red.), Kierkegaard and the Greek World: Tome II: Aristotle and other Greek Authors. Ashgate. ISSN 9780754669821. s. 3–24.
  • Løkke, Håvard & Waaler, Arild (2010). Change, Modal Categories, and Agency. I Stewart, Jon & Nun, Katalin (Red.), Kierkegaard and the Greek World: Tome II: Aristotle and other Greek Authors. Ashgate. ISSN 9780754669821. s. 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, s. 162–174.
  • Løkke, Håvard & Waaler, Arild (2009). Traces of Kierkegaard’s Reading of the Theodicy. I Stewart, Jon (Red.), Kierkegaard and the Renaissance and Modern Traditions - Philosophy. Ashgate. ISSN 978-0-7546-6818-3.
  • Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2009). Proof Search for the First-Order Connection Calculus in Maude. Electronical Notes in Theoretical Computer Science. ISSN 1571-0661. 238, s. 173–188.
  • Lian, Espen Hallenstvedt & Waaler, Arild (2008). Computing Default Extensions by Reductions on O^R. I Brewka, Gerhard & Lang, Jérôme (Red.), Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008. AAAI Press. ISSN 978-1-57735-384-3. s. 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), s. 492–518.
  • 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; 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.
  • Antonsen, Roger & Waaler, Arild (2007). A Labelled System for IPL with Variable Splitting. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. LNAI(4603), s. 132–146. doi: 10.1007/978-3-540-73595-3_10.
  • Klüwer, Johan W. & Waaler, Arild (2006). Relative trustworthiness. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3866, s. 158–170.
  • Klüwer, Johan W. & Waaler, Arild (2006). Trustworthiness by default. Lecture Notes in Computer Science (LNCS). 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 (LNCS). ISSN 0302-9743. 3900, s. 77–95.
  • Kluwer, JW & Waaler, Arild (2006). Relative trustworthiness. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3866.
  • Kluwer, JW & Waaler, Arild (2006). Trustworthiness by default. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3900, s. 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, s. 77–95. doi: 10.1007/11750734_5.
  • Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3702, 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 (LNCS). ISSN 0302-9743. 3662, s. 304–316.
  • Waaler, Arild & Solhaug, Bjørnar (2005). Semantics for multi-agent only knowing (extended abstract). Proceedings of the conference on Theoretical Aspects of Rationality and Knowledge. ISSN 1525-3430. 10, s. 109–125.
  • Waaler, Arild (2005). Consistency Proofs for Systems of Multi­agent Only Knowing, 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. I van der Meyden, Ron (Red.), TARK X - Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge. National University of Singapore. ISSN 981-05-3412-4. s. 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), 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 (LNCS). ISSN 0302-9743. 3662, s. 304–316.
  • Waaler, Arild (2004). Begynnelsens problem hos Lequier og Kierkegaard. Kirke og kultur. ISSN 0023-186X. 109(Årg. 109, h. 2), s. 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. s. 9–69.
  • Waaler, Arild & Tolstrup, Christian (2004). Philosophical fragments - in response to the debate between Mynster and Martensen. ?. s. 208–234.
  • Lian, Espen Hallenstvedt; Langholm, Tore & Waaler, Arild (2004). Only Knowing with Confidence Levels: Reductions and Complexity. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 3229, s. 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, s. 214–229.
  • Waaler, Arild (2001). Connections in nonclassical logics, Handbook of Automated Reasoning, eds. A. Robinson and A. Voronkov. Elsevier Science. s. 1487–1576.
  • Waaler, Arild (2001). Connections in Nonclassical Logics. Handbook of Automated Reasoning. 2, s. 1487–1576.
  • Waaler, Arild & Wallen, Lincoln A. (1999). Tableaux Methods in Intuitionistic Logic. I Gabbay, D. & Haehnle, R. (Red.), Handbook of Tableaux Methods. Kluwer Academic Press. s. 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. s. 11–23.

Se alle arbeider i 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 s.

Se alle arbeider i Cristin

  • Cameron, David B.; Waaler, Arild & Abel, Mara (2019). Digital Twins as a Platform For Artificial Intelligence in the Petroleum Supply Chain.
  • Cameron, David B.; Waaler, Arild; Skjæveland, Martin G; Gjerver, Anders & Hansen, Christian Mahesh (2019). The Whole Plant Digital Twin: What Can Semantic Technologies Contribute?
  • Cameron, David B.; Waaler, Arild; Tungland, Knut Sebastian & Nøst, Elisabeth (2019). Using the Industry Collaboration Canvas in the Mid-Term Review. Experience in applying the framework in the oil and gas industry.
  • Latif, Adnan; Waaler, Arild; Giese, Martin; Hovland, Dag & Skjæveland, Martin G (2018). Ontology-Based Data Access in Exploration.
  • Cameron, David B.; Waaler, Arild & Komulainen, Tiina M. (2018). Oil and Gas digital twins after twenty years. How can they be made sustainable, maintainable and useful?
  • Jimenez-Ruiz, Ernesto; Hovland, Dag; Slaughter, Laura; Håndstad, Tony & Waaler, Arild (2017). On adopting ontology alignment techniques within the phenotype acquisition process. CEUR Workshop Proceedings. ISSN 1613-0073. 2042, s. 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 [Vis alle 7 forfattere av denne artikkelen] (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 [Vis alle 21 forfattere av denne artikkelen] (2013). Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.
  • Solhaug, Bjørnar & Waaler, Arild (2005). Semantics for multi-agent only knowing (extended abstract).
  • Antonsen, Roger & Waaler, Arild (2005). Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.
  • Waaler, Arild (2005). Bevissystemer og semantikk for multiagent-systemer.
  • Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2005). Representing Strategies for the Connection Calculus in Rewriting Logic.
  • Kluwer, Johan & Waaler, Arild (2005). Relative trustworthiness.
  • Kluwer, Johan & Waaler, Arild (2005). A default theory of trust.
  • Solhaug, Bjørnar & Waaler, Arild (2005). Logical Spaces in Multi-Agent Only Knowing Systems.
  • Kluwer, Johan & Waaler, Arild (2005). Natural deduction for belief at most.
  • Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2005). Representing Strategies for the Connection Calculus in Rewriting Logic.
  • Waaler, Arild (2004). Consistency proofs for systems of multi-agent only knowing.
  • Lian, Espen; Langholm, Tore & Waaler, Arild (2004). Only knowing with confidence levels - reductions and complexity.
  • Waaler, Arild & Antonsen, Roger (2003). A Free Variable Sequent Calculus with Uniform Variable Splitting.
  • Waaler, Arild (2003). Trustworthiness by default.
  • Waaler, Arild (2003). Trustwortiness by default.
  • Waaler, Arild (2001). Proof search in intuitionistic logic.
  • Waaler, Arild (2001). Proof search in intuitionistic logic.
  • Waaler, Arild (2000). Kierkegaard, Leibniz og modale kategorier.
  • Waaler, Arild (2000). Indicative conditionals.
  • Waaler, Arild (2000). Den forventede Salomon Goldkalb.
  • Waaler, Arild & Storøy, S (2000). Proof-search in intuitionistic logic.
  • Waaler, Arild (1999). Den forventede Salomon Goldkalb.
  • Waaler, Arild (1999). LKa : a sequent calculus for intuitionistic logic with classical permutability properties.
  • Waaler, Arild (1999). The moment in non-being under the determination of time.
  • Waaler, Arild (1999). Bevissøk i intuisjonistisk logikk.
  • 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.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:25 - Sist endret 1. des. 2014 14:11

Prosjekter

Ingen pågående prosjekter