Items where Subject is "Knowledge representation and reasoning"

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

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.

Gillis-Webber, Frances and Keet, C. Maria (2022) A Survey of Multilingual OWL Ontologies in BioPortal, Proceedings of 13th International SWAT4HCLS Conference, 10-13 January 2022, Online.

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.

Heyninck, Jesse and Kern-Isberner, Gabriele and Rienstra, Tjitze and Skiba, Kenneth and Thimm, Matthias (2021) Revision and Conditional Inference for Abstract Dialectical Frameworks, Proceedings of 18th International Conference on Principles of Knowledge Representation and Reasoning.

Heyninck, Jesse and Thimm, Matthias and Kern-Isberner, Gabriele and Rienstra, Tjitze and Skiba, Kenneth (2021) On the Relation between Possibilistic Logic and Abstract Dialectical Frameworks, Proceedings of Proceedings of 19th International Workshop on Non-Monotonic Reasoning, 3-5 November 2021, online.

Heyninck, Jesse and Thimm, Matthias and Kern-Isberner, Gabriele and Riesntra, Tjitze and Skiba, Kenneth (2021) Arguing about Complex Formulas: Generalizing Abstract Dialectical Frameworks, Proceedings of Proceedings of 19th International Workshop on Non-Monotonic Reasoning, 3-5 November 2021, Online.

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.

Fillottrani, P.R. and Keet, C.M. (2021) Evidence-based lean conceptual data modelling languages, Journal of Computer Science and Technology, 21, 93-111.

Fillottrani, PR and Keet, CM (2024) Logics for Conceptual Data Modelling: A Review, Transactions on Graph Data and Knowledge, 2, 1-30, Dagstuhl.