dblp.uni-trier.dewww.uni-trier.de

Frithjof Dau

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
22EEFrithjof Dau, Andrew Fish: Conceptual Spider Diagrams. ICCS 2008: 104-118
21EEFrithjof Dau, Jon Ducrou, Peter W. Eklund: Concept Similarity and Related Categories in SearchSleuth. ICCS 2008: 255-268
20EEMartin Knechtel, Jan Hladik, Frithjof Dau: Using OWL DL Reasoning to Decide about authorization in RBAC. OWLED 2008
19EEFrithjof Dau, Peter W. Eklund: A diagrammatic reasoning system for the description logic I. J. Vis. Lang. Comput. 19(5): 539-573 (2008)
2007
18EEFrithjof Dau, Mark Sifer: A Formalism for Navigating and Editing XML Document Structure. DNIS 2007: 96-114
17EEFrithjof Dau: Constants and Functions in Peirce's Existential Graphs. ICCS 2007: 429-442
16EEFrithjof Dau, Peter W. Eklund: A Diagrammatic Reasoning System for ALC. KSEM 2007: 39-51
15EEFrithjof Dau, Peter W. Eklund: A Peirce Style Calculus for ALC. VLL 2007: 55-71
2006
14EEFrithjof Dau: Fixing Shin's Reading Algorithm for Peirce's Existential Graphs. Diagrams 2006: 88-92
13EEFrithjof Dau: Some Notes on Proofs with Alpha Graphs. ICCS 2006: 172-188
12EEFrithjof Dau, Joachim Hereth Correia: Two Instances of Peirce's Reduction Thesis. ICFCA 2006: 105-118
11EEFrithjof 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
9EEFrithjof Dau, Julia Klinger: From Formal Concept Analysis to Contextual Logic. Formal Concept Analysis 2005: 81-100
8EEFrithjof Dau: Variables in Concept Graphs. ICCS 2005: 152-165
2004
7EEFrithjof Dau: Query Graphs with Cuts: Mathematical Foundations. Diagrams 2004: 32-50
6EEFrithjof Dau: Types and Tokens for Logic with Diagrams. ICCS 2004: 62-93
5EEFrithjof 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
3EEFrithjof Dau: An Embedding of Existential Graphs into Concept Graphs with Negations. ICCS 2002: 326-340
2001
2EEFrithjof Dau: Concept Graphs and Predicate Logic. ICCS 2001: 72-86
2000
1 Frithjof Dau: Negations in Simple Concept Graphs. ICCS 2000: 263-276

Coauthor Index

1Joachim Hereth Correia [12]
2Jon Ducrou [21]
3Peter W. Eklund [15] [16] [19] [21]
4Andrew Fish [22]
5Jan Hladik [20]
6Julia Klinger [9]
7Martin Knechtel [20]
8Marie-Laure Mugnier [10]
9Mark Sifer [18]
10Gerd Stumme [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)