 | 2009 |
|---|
| 25 |       | Sebastian Rudolph,
Frithjof Dau,
Sergei O. Kuznetsov:
Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings
Springer 2009 |
| 24 | | Frithjof Dau,
Martin Knechtel:
Access Policy Design Supported by FCA Methods.
ICCS 2009: 141-154 |
| 23 | | Frithjof Dau:
The Advent of Formal Diagrammatic Reasoning Systems.
ICFCA 2009: 38-56 |
| 2008 |
|---|
| 22 | | Frithjof Dau,
Andrew Fish:
Conceptual Spider Diagrams.
ICCS 2008: 104-118 |
| 21 | | Frithjof Dau,
Jon Ducrou,
Peter W. Eklund:
Concept Similarity and Related Categories in SearchSleuth.
ICCS 2008: 255-268 |
| 20 | | Martin Knechtel,
Jan Hladik,
Frithjof Dau:
Using OWL DL Reasoning to Decide about authorization in RBAC.
OWLED 2008 |
| 19 | | 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 | | Frithjof Dau,
Mark Sifer:
A Formalism for Navigating and Editing XML Document Structure.
DNIS 2007: 96-114 |
| 17 | | Frithjof Dau:
Constants and Functions in Peirce's Existential Graphs.
ICCS 2007: 429-442 |
| 16 | | Frithjof Dau,
Peter W. Eklund:
A Diagrammatic Reasoning System for ALC.
KSEM 2007: 39-51 |
| 15 | | Frithjof Dau,
Peter W. Eklund:
A Peirce Style Calculus for ALC.
VLL 2007: 55-71 |
| 2006 |
|---|
| 14 | | Frithjof Dau:
Fixing Shin's Reading Algorithm for Peirce's Existential Graphs.
Diagrams 2006: 88-92 |
| 13 | | Frithjof Dau:
Some Notes on Proofs with Alpha Graphs.
ICCS 2006: 172-188 |
| 12 | | Frithjof Dau,
Joachim Hereth Correia:
Two Instances of Peirce's Reduction Thesis.
ICFCA 2006: 105-118 |
| 11 | | 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 | | Frithjof Dau,
Julia Klinger:
From Formal Concept Analysis to Contextual Logic.
Formal Concept Analysis 2005: 81-100 |
| 8 | | Frithjof Dau:
Variables in Concept Graphs.
ICCS 2005: 152-165 |
| 2004 |
|---|
| 7 | | Frithjof Dau:
Query Graphs with Cuts: Mathematical Foundations.
Diagrams 2004: 32-50 |
| 6 | | Frithjof Dau:
Types and Tokens for Logic with Diagrams.
ICCS 2004: 62-93 |
| 5 | | 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 | | Frithjof Dau:
An Embedding of Existential Graphs into Concept Graphs with Negations.
ICCS 2002: 326-340 |
| 2001 |
|---|
| 2 | | Frithjof Dau:
Concept Graphs and Predicate Logic.
ICCS 2001: 72-86 |
| 2000 |
|---|
| 1 | | Frithjof Dau:
Negations in Simple Concept Graphs.
ICCS 2000: 263-276 |
