5 Ergebnisse für: icfca
-
Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt ... - Sébastien Ferré - Google Books
http://books.google.de/books?hl=de&lr=&id=gwpq0acO3kgC&oi=fnd&pg=PA314&dq=Wille+Restructuring+Lattice+Theory&ots=zYmNQeCJKb&sig=
The discipline of formal concept analysis (FCA) is concerned with the form- ization of concepts and conceptual thinking. Built on the solid foundation of lattice and order theory, FCA is ?rst and foremost a mathematical discipline. However,its motivation…
-
Wikidata – International Center for Computational Logic
https://ddll.inf.tu-dresden.de/web/Wikidata
Keine Beschreibung vorhanden.
-
Einführung in Wikidata – International Center for Computational Logic
https://ddll.inf.tu-dresden.de/web/Wikidata/Juni_2015
Keine Beschreibung vorhanden.
-
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …