The SCEAS System
| |||||||

## Search the dblp DataBase
Frithjof Dau:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Frithjof Dau
**Query Graphs with Cuts: Mathematical Foundations.**[Citation Graph (0, 0)][DBLP] Diagrams, 2004, pp:32-50 [Conf] - Frithjof Dau
**Fixing Shin's Reading Algorithm for Peirce's Existential Graphs.**[Citation Graph (0, 0)][DBLP] Diagrams, 2006, pp:88-92 [Conf] - Frithjof Dau, Julia Klinger
**From Formal Concept Analysis to Contextual Logic.**[Citation Graph (0, 0)][DBLP] Formal Concept Analysis, 2005, pp:81-100 [Conf] - Frithjof Dau
**Negations in Simple Concept Graphs.**[Citation Graph (0, 0)][DBLP] ICCS, 2000, pp:263-276 [Conf] - Frithjof Dau
**Concept Graphs and Predicate Logic.**[Citation Graph (0, 0)][DBLP] ICCS, 2001, pp:72-86 [Conf] - Frithjof Dau
**An Embedding of Existential Graphs into Concept Graphs with Negations.**[Citation Graph (0, 0)][DBLP] ICCS, 2002, pp:326-340 [Conf] - Frithjof Dau
**Types and Tokens for Logic with Diagrams.**[Citation Graph (0, 0)][DBLP] ICCS, 2004, pp:62-93 [Conf] - Frithjof Dau
**Some Notes on Proofs with Alpha Graphs.**[Citation Graph (0, 0)][DBLP] ICCS, 2006, pp:172-188 [Conf] - Frithjof Dau
**Variables in Concept Graphs.**[Citation Graph (0, 0)][DBLP] ICCS, 2005, pp:152-165 [Conf] - Frithjof Dau
**Background Knowledge in Concept Graphs.**[Citation Graph (0, 0)][DBLP] ICFCA, 2004, pp:156-171 [Conf] - Frithjof Dau, Joachim Hereth Correia
**Two Instances of Peirce's Reduction Thesis.**[Citation Graph (0, 0)][DBLP] ICFCA, 2006, pp:105-118 [Conf] - Frithjof Dau
**RDF as Graph-Based, Diagrammatic Logic.**[Citation Graph (0, 0)][DBLP] ISMIS, 2006, pp:332-337 [Conf] - Frithjof Dau, Mark Sifer
**A Formalism for Navigating and Editing XML Document Structure.**[Citation Graph (0, 0)][DBLP] DNIS, 2007, pp:96-114 [Conf] - Frithjof Dau
**Constants and Functions in Peirce's Existential Graphs.**[Citation Graph (0, 0)][DBLP] ICCS, 2007, pp:429-442 [Conf] **Access Policy Design Supported by FCA Methods.**[Citation Graph (, )][DBLP]**Concept Similarity and Related Categories in SearchSleuth.**[Citation Graph (, )][DBLP]**Conceptual Spider Diagrams.**[Citation Graph (, )][DBLP]**The Advent of Formal Diagrammatic Reasoning Systems.**[Citation Graph (, )][DBLP]**A Diagrammatic Reasoning System for**[Citation Graph (, )][DBLP]*ALC*.**A Peirce Style Calculus for ALC.**[Citation Graph (, )][DBLP]**Using OWL DL Reasoning to Decide about authorization in RBAC.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |