| 2008 |
|---|
| 22 | EE | Frithjof Dau,
Andrew Fish:
Conceptual Spider Diagrams.
ICCS 2008: 104-118 |
| 21 | EE | Frithjof Dau,
Jon Ducrou,
Peter W. Eklund:
Concept Similarity and Related Categories in SearchSleuth.
ICCS 2008: 255-268 |
| 20 | EE | Martin Knechtel,
Jan Hladik,
Frithjof Dau:
Using OWL DL Reasoning to Decide about authorization in RBAC.
OWLED 2008 |
| 19 | EE | Frithjof Dau,
Peter W. Eklund:
A diagrammatic reasoning system for the description logic I.
J. Vis. Lang. Comput. 19(5): 539-573 (2008) |
| 2007 |
|---|
| 18 | EE | Frithjof Dau,
Mark Sifer:
A Formalism for Navigating and Editing XML Document Structure.
DNIS 2007: 96-114 |
| 17 | EE | Frithjof Dau:
Constants and Functions in Peirce's Existential Graphs.
ICCS 2007: 429-442 |
| 16 | EE | Frithjof Dau,
Peter W. Eklund:
A Diagrammatic Reasoning System for ALC.
KSEM 2007: 39-51 |
| 15 | EE | Frithjof Dau,
Peter W. Eklund:
A Peirce Style Calculus for ALC.
VLL 2007: 55-71 |
| 2006 |
|---|
| 14 | EE | Frithjof Dau:
Fixing Shin's Reading Algorithm for Peirce's Existential Graphs.
Diagrams 2006: 88-92 |
| 13 | EE | Frithjof Dau:
Some Notes on Proofs with Alpha Graphs.
ICCS 2006: 172-188 |
| 12 | EE | Frithjof Dau,
Joachim Hereth Correia:
Two Instances of Peirce's Reduction Thesis.
ICFCA 2006: 105-118 |
| 11 | EE | Frithjof Dau:
RDF as Graph-Based, Diagrammatic Logic.
ISMIS 2006: 332-337 |
| 2005 |
|---|
| 10 | | Frithjof Dau,
Marie-Laure Mugnier,
Gerd Stumme:
Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings
Springer 2005 |
| 9 | EE | Frithjof Dau,
Julia Klinger:
From Formal Concept Analysis to Contextual Logic.
Formal Concept Analysis 2005: 81-100 |
| 8 | EE | Frithjof Dau:
Variables in Concept Graphs.
ICCS 2005: 152-165 |
| 2004 |
|---|
| 7 | EE | Frithjof Dau:
Query Graphs with Cuts: Mathematical Foundations.
Diagrams 2004: 32-50 |
| 6 | EE | Frithjof Dau:
Types and Tokens for Logic with Diagrams.
ICCS 2004: 62-93 |
| 5 | EE | Frithjof Dau:
Background Knowledge in Concept Graphs.
ICFCA 2004: 156-171 |
| 2003 |
|---|
| 4 | | Frithjof Dau:
The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic
Springer 2003 |
| 2002 |
|---|
| 3 | EE | Frithjof Dau:
An Embedding of Existential Graphs into Concept Graphs with Negations.
ICCS 2002: 326-340 |
| 2001 |
|---|
| 2 | EE | Frithjof Dau:
Concept Graphs and Predicate Logic.
ICCS 2001: 72-86 |
| 2000 |
|---|
| 1 | | Frithjof Dau:
Negations in Simple Concept Graphs.
ICCS 2000: 263-276 |
