Dau, Frithjof.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
The logic system of concept graphs with negation = and its relationship to predicate logic /
by:
SpringerLink (Online service); Dau, Frithjof.
(Language materials, printed)
Conceptual structures = common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings /
by:
Stumme, Gerd.; Dau, Frithjof.; SpringerLink (Online service); Mugnier, Marie-Laure.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Knowledge representation (Information theory)
Artificial Intelligence (incl. Robotics)
Graph theory.
Algorithm Analysis and Problem Complexity.
Natural language processing (Computer science)
Discrete Mathematics in Computer Science.
Conceptual structures (Information theory)
Logic diagrams.
Computer Science.
Logic diagrams
Graph theory
Information Systems Applications (incl.Internet)
Mathematical Logic and Formal Languages.