Browse by Laboratory/Group/Centre

2022

Drake, Rachel and Moodley, Deshendran (2022) INVEST: Ontology Driven Bayesian Networks for Investment Decision Making on the JSE, Proceedings of Second Southern African Conference for Artificial Intelligence Research, 6-10 December 2021, Online, 252-273.

Wanyana, Tezira and Nzomo, Mbithe and Price, C Sue and Moodley, Deshendran (2022) Combining machine learning and Bayesian networks for ECG interpretation and explanation, Proceedings of the 8th International Conference on Information and Communication Technologies for Ageing Well and e-Health (ICT4AWE), 23 - 25 April 2022, Online Digital Conference, 81-92, SciTePress.

2021

Casini, Giovanni and Meyer, Thomas and Paterson-Jones, Guy (2021) KLM-Style Defeasibility for Restricted First-Order Logic, Proceedings of 19th International Workshop on Non-Monotonic Reasoning, 3-5 November 2021, Online, Online.

Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan (2021) Contextual Conditional Reasoning, Proceedings of 35th AAAI Conference on Artificial Intelligence, February 2-9, 2021, Online, 35, 6254-6261, AAAI Press.

Heyninck, Jesse and Arieli, Ofer (2021) Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming, Proceedings of 18th International Conference on Principles of Knowledge Representation and Reasoning, 18, 334-344, International Joint Conferences on Artificial Intelligence Organization.

Wanyana, Tezira and Moodley, Deshendran (2021) An Agent Architecture for Knowledge Discovery and Evolution, Proceedings of KI 2021: Advances in Artificial Intelligence, September 27 – October 1, 2021, Online Conference, Lecture Notes in Computer Science (LNCS) book series (Also part of Lecture Notes in Artificial Intelligence (LNAI) book sub series), 12873, 241-256, Springer, Cham.

2020

Baker, Clayton Kevin and Denny, Claire and Freund, Paul and Meyer, Thomas (2020) Cognitive Defeasible Reasoning: the Extent to Which Forms of Defeasible Reasoning Correspond with Human Reasoning, Artificial Intelligence Research: First Southern African Conference for AI Research, SACAIR 2020 Muldersdrift, South Africa, Communications in Computer and Information Science, 1342, Springer.

Paterson-Jones, Guy and Casini, Giovanni and Meyer, Thomas (2020) A Boolean Extension of KLM-Style Conditional Reasoning, First Southern African Conference for AI Research, SACAIR 2020 Muldersdrift, South Africa, Communications in Computer and Information Science, 1342, Springer.

Borgwardt, Stefan and Meyer, Thomas (2020) Proceedings of the 33rd International Workshop on Description Logics (DL 2020), 33rd International Workshop on Description Logics (DL 2020), 12-14 September, Online, 2663, CEUR.

Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan (2020) Rational Defeasible Belief Change, Proceedings of Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 12-18 September, Online, 213-222, IJCAI Organization.

Clark, A and Pillay, AW and Moodley, D (2020) A system for pose analysis and selection in virtual reality environments, Proceedings of SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 14-16 September, 2020, ACM.

Kaliski, Adam and Meyer, Thomas (2020) Quo Vadis KLM-style Defeasible Reasoning?, Proceedings of Proceedings of the First Southern African Conference for Artificial Intelligence Research, 22-26 February 2021, Online, 231-246, SACAIR.

Paterson-Jones, Guy and Casini, Giovanni and Meyer, Thomas (2020) BKLM - An expressive logic for defeasible reasoning, Proceedings of 18th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING, 12-14 September, Onlone, 170-178.

Toussaint, W and Moodley, D (2020) Identifying optimal clustering structures for residential energy consumption patterns using competency questions, Proceedings of SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 14-16 September 2020, ACM.

Wanyana, T and Moodley, D and Meyer, T (2020) An Ontology for Supporting Knowledge Discovery and Evolution, Proceedings of Southern African Conference for Artificial Intelligence Research, 22 - 26 February 2021, Online Digital Conference, 206-221, SACAIR 2020.

Wanyana, Tezira and Moodley, Deshen and Meyer, Thomas (2020) An Ontology for Supporting Knowledge Discovery and Evolution, Proceedings of Proceedings of the First Southern African Conference for Artificial Intelligence Research, 22-26 February 2021, Online, 206-221, SACAIR.

Chingoma, Julian and Meyer, Thomas (2020) Defeasibility applied to Forrester’s paradox, South African Computer Journal, 32, SAICSIT.

Harrison, Michael and Meyer, Thomas (2020) DDLV: A system for rational preferential reasoning for Datalog, South African Computer Journal, 32, SAICSIT.

Morris, Matthew and Ross, Tala and Meyer, Thomas (2020) Algorithmic definitions for KLM-style defeasible disjunctive Datalog, South African Computer Journal, 32, SAICSIT.

Toussaint, W and Moodley, D (2020) Clustering Residential Electricity Consumption Data to Create Archetypes that Capture Household Behaviour in South Africa, South African Computer Journal, 32, SAICSIT.

Botha, Leonard and Meyer, Thomas and Penaloza, Rafael (2020) The Probabilistic Description Logic BALC, Theory and Practice of Logic Programming, 1-24, Cambridge University Press.

Britz, Katarina and Casini, Giovanni and Meyer, Thomas and Moodley, Kody and Sattler, Uli and Varzinczak, Ivan (2020) Principles of KLM-style Defeasible Description Logics, Transactions on Computational Logic, 1, 1-46, ACM.

Moodley, D and Meyer, T (2020) Editorial: Artificial Intelligence — Where it is heading and what we should do about it, Digitale Welt, 4, 3-3, Springer.

Moodley, D and Davel, MH (2020) Guest Editorial: FAIR 2019 special issue, South African Computer Journal, 32, SAICSIT.

2019

Botha, Leonard and Meyer, Thomas and Penaloza, Rafael (2019) A Bayesian Extension of the Description Logic ALC, Logics in Artificial Intelligence 16th European Conference, JELIA 2019 Rende, Italy, May 7–11, 2019 Proceedings, LNAI, 11468, Springer.

Britz, Katarina and Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan (2019) A KLM Perspective on Defeasible Reasoning for Description Logics, Description Logic, Theory Combination, and All ThatC, LNCS, 11560, Springer.

Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan (2019) Taking Defeasible Entailment Beyond Rational Closure, Logics in Artificial Intelligence 16th European Conference, JELIA 2019 Rende, Italy, May 7–11, 2019 Proceedings, LNAI, 11468, Springer.

Leenen, Louise and Meyer, Thomas (2019) Artificial Intelligence and Big Data Analytics in Support of Cyber Defense, Advances in Information Security, Privacy, and Ethics (AISPE), IGI Global.

Casini, Giovanni and Harrison, Michael and Meyer, Thomas and Swan, Reid (2019) Arbitrary Ranking of Defeasible Subsumption, Proceedings of The International Workshop on Description Logics, 18-21 June, Oslo, Norway, CEUR.

Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan (2019) Simple Conditionals with Constrained Right Weakening, Proceedings of International Joint Conference on Artificial Intelligence, 10-16 August, Macau.

Chingoma, Julian and Meyer, Thomas (2019) Forrester's paradox using typicality, Proceedings of South African Forum for Artificial Intelligence, 3-6 December 2019, Cape Town, CEUR.

Harrision, Michael and Meyer, Thomas (2019) Rational preferential reasoning for datalog, Proceedings of South African Forum for Artificial Intelligence, 3-6 December 2019, Cape Town, South Africa, CEUR.

Morris, Matthew and Meyer, Thomas and Ross, Tala (2019) Defeasible disjunctive datalog, Proceedings of South African Forum for Artificial Intelligence, 3-6 December 2019, Cape Town, South Africa, CEUR.

Price, CS and Moodley, D and Pillay, AW (2019) Modelling uncertain adaptive decisions: Application to KwaZulu-Natal sugarcane growers, Proceedings of South African Forum for Artificial Intelligence Research, 4-6 December, 2019., Cape town, South Africa, 2540, 145-160, CEUR.

Toussaint, W and Moodley, D (2019) Comparison of clustering techniques for residential load profiles in South Africa, Proceedings of South African Forum for Artificial Intelligence Research, 4-6 December 2019, Cape town, South Africa, 2540, 117-132, CEUR.

Booth, Richard and Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan (2019) On rational entailment for Propositional Typicality Logic, Artificial Intelligence, 277, Elsevier.

Casini, Giovanni and Straccia, Umberto and Meyer, Thomas (2019) A polynomial Time Subsumption Algorithm for Nominal Safe ELO under Rational Closure, Information Science, 501, 588-620, Elsevier.

Nudelman, Z and Moodley, D and Berman, S (2019) Using Bayesian Networks and Machine Learning to Predict Computer Science Success, 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018 Gordon's Bay, South Africa, June 18–20, 2018 Revised Selected Papers, ICT Education, Communications in Computer and Information Science, 963, 207-222, Springer.