The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Katarina Britz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chris Brink, Katarina Britz
    Peirce Algebras. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:163-166 [Conf]
  2. Katarina Britz, Johannes Heidema
    Semiring-Valued Satisfiability. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:402-413 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]

  7. Modelling Object Typicality in Description Logics. [Citation Graph (, )][DBLP]


  8. Modelling Object Typicality in Description Logics. [Citation Graph (, )][DBLP]


  9. Semantic Preferential Subsumption. [Citation Graph (, )][DBLP]


  10. KT and S4 Satisfiability in a Constraint Logic Environment. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002