Search the dblp DataBase
Katarina Britz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Chris Brink , Katarina Britz Peirce Algebras. [Citation Graph (0, 0)][DBLP ] AMAST, 1993, pp:163-166 [Conf ] Katarina Britz , Johannes Heidema Semiring-Valued Satisfiability. [Citation Graph (0, 0)][DBLP ] Australian Conference on Artificial Intelligence, 2003, pp:402-413 [Conf ] Chris Brink , Katarina Britz , Renate A. Schmidt Peirce Algebras. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:3, pp:339-358 [Journal ] Katarina Britz A Power Algebra for Theory Change. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1999, v:8, n:4, pp:429-443 [Journal ] Katarina Britz , Chris Brink Computing Verisimilitude. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:1, pp:30-43 [Journal ] Katarina Britz Implication in three-valued logics of partial information. [Citation Graph (0, 0)][DBLP ] South African Computer Journal, 2002, v:28, n:, pp:39-43 [Journal ] Modelling Object Typicality in Description Logics. [Citation Graph (, )][DBLP ] Modelling Object Typicality in Description Logics. [Citation Graph (, )][DBLP ] Semantic Preferential Subsumption. [Citation Graph (, )][DBLP ] KT and S4 Satisfiability in a Constraint Logic Environment. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs