Dau, Frithjof.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Conceptual structures = common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings/
by:
Dau, Frithjof.; SpringerLink (Online service); Mugnier, Marie-Laure.; Stumme, Gerd.
(書目-語言資料,印刷品)
The logic system of concept graphs with negation = and its relationship to predicate logic /
by:
SpringerLink (Online service); Dau, Frithjof.
(書目-語言資料,印刷品)
主題
Graph theory.
Logic diagrams.
Mathematical Logic and Formal Languages.
Knowledge representation (Information theory)
Natural language processing (Computer science)
Conceptual structures (Information theory)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Logic diagrams
Information Systems Applications (incl.Internet)
Graph theory
Computer Science.
Discrete Mathematics in Computer Science.