Concepedia

Katarina Britz

KB

11

Publications

293

Citations

11

H-Index

1994

Active since

Affiliations

University of South Africa(Current)

Université d'Artois

Centre National de la Recherche Scientifique

Stellenbosch University

University of Cape Town

Katarina Britz is an author at University of South Africa specializing in engineering, semantics, and automated reasoning.

Top concepts

SemanticsEngineeringAutomated ReasoningFormal MethodsLanguageLinguisticsComputer ScienceDescription LogicsAbductionSemantic Web

Publications per year

1994–2020

11

Publications

11

Semantic preferential subsumption

Katarina Britz, Johannes Heidema, Thomas Meyer · Principles of Knowledge Representation and Reasoning · 2008 · 79 citations

Engineering, Semantics, Non-monotonic Logic +20

Principles of KLM-style Defeasible Description Logics

Katarina Britz, Giovanni Casini, Thomas Meyer et al. · ACM Transactions on Computational Logic · 2020 · 31 citations

Engineering, Substructural Logic, Automated Reasoning +12

Preferential Reasoning for Modal Logics

Katarina Britz, Thomas Meyer, Ivan Varzinczak · Electronic Notes in Theoretical Computer Science · 2011 · 28 citations · Full text

Artificial Intelligence, Non-classical Logic, Engineering +10

Peirce algebras

Chris Brink, Katarina Britz, Renate A. Schmidt · Formal Aspects of Computing · 1994 · 28 citations · Full text

From KLM-style conditionals to defeasible modalities, and back

Katarina Britz, Ivan Varzinczak · Journal of Applied Non-Classical Logics · 2017 · 26 citations

Engineering, Relevance Logic, Automated Reasoning +12

Rows per page

1–5 of 11