Katarina Britz

Arina Britz

	2011
16		Katarina Britz, Thomas Meyer, Ivan José Varzinczak: Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence 2011: 491-500
15		Riku Nortje, Arina Britz, Thomas Andreas Meyer: Bidirectional Reachability-Based Modules. Description Logics 2011
14		Arina Britz, Thomas Meyer, Ivan José Varzinczak: Concept Model Semantics for DL Preferential Reasoning. Description Logics 2011
13		Katarina Britz, Thomas Meyer, Ivan José Varzinczak: Preferential Reasoning for Modal Logics. Electr. Notes Theor. Comput. Sci. 278: 55-69 (2011)
12		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)
	2009
11		Katarina Britz, Johannes Heidema, Thomas Andreas Meyer: Modelling Object Typicality in Description Logics. Australasian Conference on Artificial Intelligence 2009: 506-516
10		Katarina Britz, Johannes Heidema, Tommie Meyer: Modelling Object Typicality in Description Logics. Description Logics 2009
9		Katarina Britz, Johannes Heidema, Willem Adrian Labuschagne: Semantics for Dual Preferential Entailment. J. Philosophical Logic 38(4): 433-446 (2009)
	2008
8		Katarina Britz, Johannes Heidema, Thomas Andreas Meyer: Semantic Preferential Subsumption. KR 2008: 476-484
7		Lynn Stevenson, Katarina Britz, Tertia Hörne: KT and S4 Satisfiability in a Constraint Logic Environment. PRICAI 2008: 370-381
	2003
6		Katarina Britz, Johannes Heidema: Semiring-Valued Satisfiability. Australian Conference on Artificial Intelligence 2003: 402-413
	2002
5		Katarina Britz: Implication in three-valued logics of partial information. South African Computer Journal 28: 39-43 (2002)
	1999
4		Katarina Britz: A Power Algebra for Theory Change. Journal of Logic, Language and Information 8(4): 429-443 (1999)
	1995
3		Katarina Britz, Chris Brink: Computing Verisimilitude. Notre Dame Journal of Formal Logic 36(1): 30-43 (1995)
	1994
2		Chris Brink, Katarina Britz, Renate A. Schmidt: Peirce Algebras. Formal Asp. Comput. 6(3): 339-358 (1994)
	1993
1		Chris Brink, Katarina Britz: Peirce Algebras. AMAST 1993: 163-166

Coauthor Index

1	Chris Brink	[1] [2] [3]
2	Aurona Gerber	[12]
3	Ken Halland	[12]
4	Johannes Heidema	[6] [8] [9] [10] [11]
5	Tertia Hörne	[7]
6	Willem Adrian Labuschagne	[9]
7	Thomas Meyer	[13] [14] [16]
8	Thomas Andreas Meyer (Tommie Meyer)	[8] [10] [11] [15]
9	Riku Nortje	[15]
10	Renate A. Schmidt	[2]
11	Lynn Stevenson	[7]
12	Ivan José Varzinczak	[13] [14] [16]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page