 | 2009 |
|---|
| 10 |       | Katarina Britz,
Johannes Heidema,
Thomas Meyer:
Modelling Object Typicality in Description Logics.
Australasian Conference on Artificial Intelligence 2009: 506-516 |
| 9 | | Katarina Britz,
Johannes Heidema,
Tommie Meyer:
Modelling Object Typicality in Description Logics.
Description Logics 2009 |
| 2008 |
|---|
| 8 |  | Katarina Britz,
Johannes Heidema,
Thomas 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 |
