pub:research:areas_of_interests
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
pub:research:areas_of_interests [2009/08/16 17:04] – wtf | pub:research:areas_of_interests [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== GEIST research areas and expertise ====== | ||
- | ~~TAGCLOUD~~ | ||
- | FIXME apply the patch to have separate TAGCLOUDS for different namespaces: http:// | ||
- | |||
- | {{tagcloud> | ||
- | {{tagcloud> | ||
- | |||
- | ===== AI and Expert Systems ===== | ||
- | * artificial intelligence, | ||
- | * knowledge-based intelligent systems | ||
- | * knowledge engineering, | ||
- | * rule-based systems, tabular rule-base systems, | ||
- | * evaluation, verification and validation of intelligent systems, | ||
- | * logic programming and prolog. | ||
- | |||
- | See GEIST projects: | ||
- | {{topic> | ||
- | |||
- | See GEIST software: | ||
- | {{topic> | ||
- | |||
- | ===== Semantic Web Technologies ===== | ||
- | |||
- | * the semantic web and internet technologies | ||
- | * semantic knowledge wikis, | ||
- | |||
- | See GEIST projects: | ||
- | {{topic> | ||
- | |||
- | See GEIST software: | ||
- | {{topic> | ||
- | |||
- | ===== Databases ===== | ||
- | |||
- | * relational databases, and data warehouses | ||
- | * geographical information systems (gis) | ||
- | |||
- | See GEIST projects: | ||
- | {{topic> | ||
- | |||
- | See GEIST software: | ||
- | {{topic> | ||
- | |||
- | ===== Software Engineering ===== | ||
- | |||
- | * software engineering methods | ||
- | |||
- | See GEIST projects: | ||
- | {{topic> | ||
- | |||
- | See GEIST software: | ||
- | {{topic> | ||
- | |||
- | |||
- | ===== Control and Automation ===== | ||
- | |||
- | * intelligent control for mobile robots | ||
- | |||
- | * plan generation, planning systems, problem solving, | ||
- | * automated diagnosis. | ||
- | |||
- | See GEIST projects: | ||
- | {{topic> control robots planning diagnosis +project}} | ||
- | |||
- | See GEIST software: | ||
- | {{topic> control robots planning diagnosis +software}} | ||
- | |||
- | ===== Formal Methods ===== | ||
- | |||
- | See GEIST projects: | ||
- | {{topic> formal_methods +project}} | ||
- | |||
- | See GEIST software: | ||
- | {{topic> formal_methods +software}} |