Homes
 -  homepage
 -  affiliations

Research (en)
 -  Publications
 -  Interests

Peirce's Graphs (en)
 -  Readings
 -  Moving pics
 -  MS 145

Zeman's sites:
 -  Existential Graphs
 -  C.S. Peirce

Über mich (ge)
 -  Lebenslauf
 -  Tagungen
 -  Vorträge
 -  Lehre

Dr. Frithjof Dau

Tagungen

Besuchte Tagungen, inklusive eingeladener Vorträge

  • 11th International Conference on Formal Concept Analysis (ICFCA 2013) und 3rd CUBIST Workshop
    21.05.13–24.05.13, Dresden, Deutschland
    Vortrag (eingeladen): CUBIST: Combining and Uniting Business Intelligence and Semantic Technologies
    Vortrag (im 3rd CUBIST Workshop): An Implementation for Fault Tolerance and Experimental Results

  • 10th International Conference on Formal Concept Analysis (ICFCA 2012) und 2nd CUBIST Workshop
    06.05.12–10.05.12, Leuven, Belgien
    Vortrag (im 2nd CUBIST Workshop): Towards Scalingless Generation of Formal Contexts from an Ontology in a Triple Store

  • The First International Workshop on Modeling and Reasoning for Business Intelligence (More-BI 2011)
    In conjunction with the 30th International Conference on Conceptual Modeling.
    31.10.11–03.11.11, Brüssel, Belgien
    Vortrag: Formal Concept Analysis for Qualitative Data Analysis over Triple Stores

  • 19th International Conference on Conceptual Structures (ICCS) 2011 und 1st CUBIST Workshop
    25.07.11–29.07.11, Derby, Großbritannien
    Vortrag (eingeladen): Semantic Technologies for Enterprises
    Vortrag (im 1st CUBIST Workshop): An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores

  • Reasoning Web Summer School
    30.08.10–03.09.10, TU Dresden, Deutschland
    Vortrag (eingeladen): Benefits of Semantic Technologies in the research project Aletheia

  • Text- und Data Mining für die Qualitätsanalyse in der Automobilindustrie (QAA 2010)
    20.09.10, Campus Villa Ida, Leipzig, Deutschland
    Vortrag (mit A. Konzag): Management von Entwicklungsinformationen und Produktdaten als eine Grundlage zur Erhöhung der Qualität von Fahrzeugkonzepten

  • 17th International Conference on Conceptual Structures (ICCS) 2009
    26.07.09–31.07.09, Moskau, Russland
    Vortrag: Access Policy Design Supported by FCA Methods

  • 7th International Conference on Formal Concept Analysis (ICFCA 2009)
    21.05.09–24.05.09, Darmstadt, Deutschland
    Vortrag (eingeladen): The Advent of Formal Diagrammatic Reasoning Systems

  • 16th International Conference on Conceptual Structures (ICCS) 2008
    07.07.08–11.07.08, Toulouse, Frankreich
    Vortrag: Concept Similarity and Related Categories in SearchSleuth
    Vortrag: Conceptual Spider Diagrams

  • The 21st International Workshop on Description Logics (DL2008)
    13.05.08–16.05.08, Dresden, Deutschland

  • Second International Conference on Knowledge Science, Engineering and Management (KSEM) 2007
    28.11.07–30.11.07, Melbourne, Australien
    Vortrag: A Diagrammatic Reasoning System for ALC

  • 15th International Conference on Conceptual Structures (ICCS) 2007
    22.07.07–27.07.07, Sheffield, Großbritannien
    Vortrag: Constants and Functions in Peirce's Existential Graphs

  • 16th International Symposium on Methodologies for Intelligent Systems (ISMIS) 2006
    27.09.06–29.09.06, Bari, Italien
    Vortrag: RDF as Graph-Based, Diagrammatic Logic

  • 14th International Conference on Conceptual Structures (ICCS) 2006
    16.07.06–21.07.06, Aalborg, Dänemark
    Vortrag: The Role of Existential Graphs in Peirce's Philosophy
    Vortrag: Some Notes on Proofs with Alpha Graphs

  • Fourth International Conference on Formal Concept Analysis (ICFCA) 2006
    13.02.06–17.02.06, Dresden, Deutschland
    Vortrag: Two Instances of Peirce's Reduction Thesis

  • Logik und Wissen
    24.06.05–26.06.05, Darmstadt, Deutschland
    Vortrag: Diagrammatische Repräsentationssprachen als ein Werkzeug für menschengerechte Informationsverarbeitung

  • 13th International Conference on Conceptual Structures (ICCS) 2005
    17.07.05–22.07.05, Kassel, Deutschland
    Vortrag: Variables in Concept Graphs
    Tutorial: Mathematical Foundations of Concept Graphs

  • Third International Conference on Formal Concept Analysis (ICFCA) 2005
    14.02.05–18.02.05, Lens, Frankreich

  • 12th International Conference on Conceptual Structures (ICCS) 2004
    19.07.04–23.07.04, University of Alabama in Huntsville, USA
    Vortrag (eingeladen): Types and Tokens for Logic with Diagrams: A Mathematical Approach

  • Wissen und Lernen: Welche Wissenskultur braucht unsere Universität?
    18.06.04–20.06.04, Darmstadt, Deutschland

  • Diagrams 2004
    22.03.04–24.03.04, Cambridge, Großbritannien
    Vortrag: Query Graphs with Cuts: Mathematical Foundations

  • Second International Conference on Formal Concept Analysis
    23.02.04–26.02.04, Sydney, Australien
    Vortrag: Background Knowledge in Concept Graphs

  • 11th International Conference on Conceptual Structures (ICCS) 2003
    21.07.03–26.07.03, Dresden, Deutschland
    Vortrag: Concept Graphs without Negations: Standard Models and Standard Graphs

  • First International Conference on Formal Concept Analysis
    27.02.03–01.03.03, Darmstadt, Deutschland
    Vortrag: From Formal Concept Analysis to Contextual Logic

  • 10th International Conference on Conceptual Structures (ICCS) 2002
    14.06.02–19.06.02, Borovets, Bulgarien
    Vortrag: An Embedding of Existential Graphs into Concept Graphs with Cuts

  • Logic and Knowledge
    14.06.02–16.06.02, Darmstadt, Deutschland
    Vortrag: Conceptual Graphs and Concept Graphs

  • Wissensmanagement im universitären Bereich
    19.02.02–21.02.02, Darmstadt, Deutschland

  • 9th International Conference on Conceptual Structures (ICCS) 2001
    30.07.01–03.08.01, Stanford, USA
    Vortrag: Concept Graphs and Predicate Logic

  • Arbeitstagung Allgemeine Algebra 61
    02.02.01–04.02.01, Darmstadt, Deutschland
    Vortrag: Concept Graphs as Propositions of First Order Logic

  • 8th International Conference on Conceptual Structures (ICCS) 2000
    14.08.00–18.08.00, Darmstadt, Deutschland
    Vortrag: Negations in Simple Concept Graphs

  • Allgemeine Mathematik
    29.09.99–01.10.99, Darmstadt, Deutschland

  • 7th International Conference on Conceptual Structures (ICCS) 1999
    12.07.99–15.07.99, Blacksburg, USA

  • Arbeitstagung Allgemeine Algebra 58
    03.06.99–06.06.99, Wien, Österreich
    Vortrag: Implications of properties occuring in complemented lattices

  • Wissen und Wissensverarbeitung
    24.02.99–26.02.99, Darmstadt, Deutschland

  • Arbeitstagung Allgemeine Algebra 57
    05.02.99–07.02.99, Potsdam, Deutschland
    Vortrag: Eine modallogische Beschreibung triadischer Verbände

  • 6th International Conference on Conceptual Structures (ICCS) 1998
    10.08.98–12.08.98, Montpellier, Frankreich

  • Knowledge, Logic, Information
    18.02.98–20.02.98, Darmstadt, Deutschland

  • Arbeitstagung Allgemeine Algebra 55
    07.11.97–09.11.97, Darmstadt, Deutschland

Tagungsmitarbeit

  • Editorial Board:
    • International Conference on Conceptual Structures (ICCS), seit 2006

  • Tagungsorganisation/Program Chair:
    • 1st CUBIST Workshop 2011
    • International Conference on Conceptual Structures (ICCS) 2009
    • International Conference on Conceptual Structures (ICCS) 2005
    • Logic and Knowledge, 2002, Darmstadt, Deutschland

  • Program committees:
    • Diagrams, seit 2008.
    • Workshop on Visual Languages and Logic (VLL), seit 2007.
    • International Conference on Formal Concept Analysis (ICFCA), seit 2005.
    • Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), seit 2004.
    • International Conference on Conceptual Structures (ICCS), 2003–2005.

  • Sonstiges
    • Gutachtertätigkeit für Journals (z. B. Algebra Universalis) und weitere Tagungen

Dr. Frithjof Dau
Dresden, Germany
Letzte Änderung / last change: 2026-11-02