Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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 |

1 | Joachim Hereth Correia | [12] |

2 | Jon Ducrou | [21] |

3 | Peter W. Eklund | [15] [16] [19] [21] |

4 | Andrew Fish | [22] |

5 | Jan Hladik | [20] |

6 | Julia Klinger | [9] |

7 | Martin Knechtel | [20] |

8 | Marie-Laure Mugnier | [10] |

9 | Mark Sifer | [18] |

10 | Gerd Stumme | [10] |