Items where Subject is "Knowledge representation and reasoning"

Group by: Item Type | Authors | No Grouping
Number of items at this level: 21.

Book chapter

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.

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.

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.

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.

Conference proceedings

Keet, C. Maria and Dumontier, Michel (2020) Knowledge Engineering and Knowledge Management -- 22nd International Conference, EKAW 2020, Bolzano, Italy, September 16-20, 2020, Proceedings, EKAW 2020, September 2020, Bolzano, LNAI, 12387, 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.

Conference paper

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.

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.

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.

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.

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.

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.

Journal article (online only)

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.

Journal article (paginated)

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.

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.

This list was generated on Sun Sep 19 03:15:21 2021 SAST.