ask others

Katarina Britz

Arina Britz

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jancl/BritzV18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jancl/BritzV18
Katarina Britz, Ivan José Varzinczak:
From KLM-style conditionals to defeasible modalities, and back. Journal of Applied Non-Classical Logics 28(1): 92-121 (2018)
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jolli/BritzV18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jolli/BritzV18
Katarina Britz, Ivan José Varzinczak:
Preferential Accessibility and Preferred Worlds. Journal of Logic, Language and Information 27(2): 133-155 (2018)
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/foiks/BritzV18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/foiks/BritzV18
Katarina Britz, Ivan José Varzinczak:
Rationality and Context in Defeasible Subsumption. FoIKS 2018: 114-132
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fois/HarmseBG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fois/HarmseBG18
Henriette Harmse, Katarina Britz, Aurona Gerber:
Informative Armstrong RDF Datasets for n-Ary Relations. FOIS 2018: 187-199
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/HarmseBG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/HarmseBG18
Henriette Harmse, Katarina Britz, Aurona Gerber:
Generating Armstrong ABoxes for ALC ALC TBoxes. ICTAC 2018: 211-230
2017
[c27]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/commonsense/BritzV17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/commonsense/BritzV17
Katarina Britz, Ivan José Varzinczak:
Context-based defeasible subsumption for dSROIQ. COMMONSENSE 2017
[c26]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/BritzV17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/BritzV17
Katarina Britz, Ivan José Varzinczak:
Towards Defeasible SROIQ. Description Logics 2017
2016
[c25]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/HarmseBG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/HarmseBG16
Henriette Harmse, Katarina Britz, Aurona Gerber:
Armstrong Relations for Ontology Design and Evaluation. Description Logics 2016
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/jelia/BritzV16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/jelia/BritzV16
Katarina Britz, Ivan José Varzinczak:
Introducing Role Defeasibility in Description Logics. JELIA 2016: 174-189
2015
[c23]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ijcai/KlarmanB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/KlarmanB15
Szymon Klarman, Katarina Britz:
Towards Unsupervised Ontology Learning from Data. DARe@IJCAI 2015
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ilp/KlarmanB15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ilp/KlarmanB15
Szymon Klarman, Katarina Britz:
Ontology Learning from Interpretations in Lightweight Description Logics. ILP 2015: 76-90
2014
[c21]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/BritzV14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/BritzV14
Arina Britz, Ivan José Varzinczak:
Towards a Logic of Dilation. PRUV 2014: 59-73
[c20]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/HallandBK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/HallandBK14
Ken Halland, Arina Britz, Szymon Klarman:
TBox Abduction in ALC Using a DL Tableau. Description Logics 2014: 556-566
[c19]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/fois/HarmseBGM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fois/HarmseBGM14
Hendrina Harmse, Katarina Britz, Aurona Gerber, Deshendran Moodley:
Scenario Testing Using Formal Ontologies. ONTO.COM/ODISE@FOIS 2014
2013
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ausai/LabuschagneHB13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ausai/LabuschagneHB13
Willem Adrian Labuschagne, Johannes Heidema, Katarina Britz:
Supraclassical Consequence Relations - Tolerating Rare Counterexamples. Australasian Conference on Artificial Intelligence 2013: 326-337
[c17]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/BritzCMV13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/BritzCMV13
Arina Britz, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak:
Preferential Role Restrictions. Description Logics 2013: 93-106
[c16]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/NortjeBM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/NortjeBM13
Riku Nortje, Arina Britz, Thomas Meyer:
Module-theoretic Properties of Reachability Modules for SRIQ. Description Logics 2013: 868-884
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/NortjeBM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lpar/NortjeBM13
Riku Nortje, Katarina Britz, Thomas Meyer:
Reachability Modules for the Description Logic $\mathcal{SRIQ}$. LPAR 2013: 636-652
[c14]
- view
  - electronic edition @ tark.org
- export record
  dblp key:
  - conf/tark/BritzV13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tark/BritzV13
Katarina Britz, Ivan José Varzinczak:
Defeasible Modalities. TARK 2013
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BritzJ13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BritzJ13
Katarina Britz, Ivan José Varzinczak:
Defeasible Modalities. CoRR abs/1310.6409 (2013)
2012
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ausai/BritzMV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ausai/BritzMV12
Katarina Britz, Thomas Meyer, Ivan José Varzinczak:
Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence 2012: 505-516
[c12]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/HallandB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/HallandB12
Ken Halland, Katarina Britz:
Naive ABox abduction in ALC using a DL tableau. Description Logics 2012
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/saicsit/HallandB12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/saicsit/HallandB12
Ken Halland, Katarina Britz:
ABox abduction in ALC using a DL tableau. SAICSIT 2012: 51-58
2011
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BritzMV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BritzMV11
Katarina Britz, Thomas Meyer, Ivan José Varzinczak:
Preferential Reasoning for Modal Logics. Electr. Notes Theor. Comput. Sci. 278: 55-69 (2011)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lu/BritzHV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lu/BritzHV11
Katarina Britz, Johannes Heidema, Ivan José Varzinczak:
Constrained Consequence. Logica Universalis 5(2): 327-350 (2011)
[j6]
- view
  - electronic edition @ sabinet.co.za
- export record
  dblp key:
  - journals/saj/HallandBG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/saj/HallandBG11
Ken Halland, Katarina Britz, Aurona Gerber:
Investigations into the use of SNOMED CT to enhance an OpenMRS health information system. South African Computer Journal 47: 33-45 (2011)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ausai/BritzMV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ausai/BritzMV11
Katarina Britz, Thomas Meyer, Ivan José Varzinczak:
Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence 2011: 491-500
[c9]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/BritzMV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/BritzMV11
Arina Britz, Thomas Meyer, Ivan José Varzinczak:
Concept Model Semantics for DL Preferential Reasoning. Description Logics 2011
[c8]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/NortjeBM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/NortjeBM11
Riku Nortje, Arina Britz, Thomas Andreas Meyer:
Bidirectional Reachability-Based Modules. Description Logics 2011
2010
[c7]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/owled/HastingsDHHSSSHB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/owled/HastingsDHHSSSHB10
Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz:
Representing Chemicals Using OWL, Description Graphs and Rules. OWLED 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jphil/BritzHL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jphil/BritzHL09
Katarina Britz, Johannes Heidema, Willem Adrian Labuschagne:
Semantics for Dual Preferential Entailment. J. Philosophical Logic 38(4): 433-446 (2009)
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ausai/BritzHM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ausai/BritzHM09
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Modelling Object Typicality in Description Logics. Australasian Conference on Artificial Intelligence 2009: 506-516
[c5]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/dlog/BritzHM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlog/BritzHM09
Katarina Britz, Johannes Heidema, Tommie Meyer:
Modelling Object Typicality in Description Logics. Description Logics 2009
2008
[c4]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/kr/BritzHM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kr/BritzHM08
Katarina Britz, Johannes Heidema, Thomas Andreas Meyer:
Semantic Preferential Subsumption. KR 2008: 476-484
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pricai/StevensonBH08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pricai/StevensonBH08
Lynn Stevenson, Katarina Britz, Tertia Hörne:
KT and S4 Satisfiability in a Constraint Logic Environment. PRICAI 2008: 370-381
2003
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ausai/BritzH03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ausai/BritzH03
Katarina Britz, Johannes Heidema:
Semiring-Valued Satisfiability. Australian Conference on Artificial Intelligence 2003: 402-413
2002
[j4]
- view
  - electronic edition @ sabinet.co.za
- export record
  dblp key:
  - journals/saj/Britz02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/saj/Britz02
Katarina Britz:
Implication in three-valued logics of partial information. South African Computer Journal 28: 39-43 (2002)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jolli/Britz99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jolli/Britz99
Katarina Britz:
A Power Algebra for Theory Change. Journal of Logic, Language and Information 8(4): 429-443 (1999)
1995
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ndjfl/BritzB95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ndjfl/BritzB95
Katarina Britz, Chris Brink:
Computing Verisimilitude. Notre Dame Journal of Formal Logic 36(1): 30-43 (1995)
1994
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BrinkBS94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/BrinkBS94
Chris Brink, Katarina Britz, Renate A. Schmidt:
Peirce Algebras. Formal Asp. Comput. 6(3): 339-358 (1994)
1993
[c1]
- no documents available
- export record
  dblp key:
  - conf/amast/BrinkB93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/BrinkB93
Chris Brink, Katarina Britz:
Peirce Algebras. AMAST 1993: 163-166

Coauthor Index

see FAQ

maintained by

, founded at