pub:research:areas_of_interests
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
pub:research:areas_of_interests [2009/08/16 10:13] – wtf | pub:research:areas_of_interests [2011/08/03 11:48] – wta | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== GEIST research areas and expertise: ====== | + | ====== GEIST research areas and expertise ====== |
+ | |||
+ | ~~TAGCLOUD> | ||
- | ~~TAGCLOUD~~ | ||
===== AI and Expert Systems ===== | ===== AI and Expert Systems ===== | ||
Line 11: | Line 12: | ||
* logic programming and prolog. | * logic programming and prolog. | ||
- | ==== Projects | + | ===== Control and Automation |
- | {{topic> | + | |
- | ==== Software ==== | + | |
- | {{topic> | + | |
- | ===== Semantic Web Technologies ===== | + | * intelligent control for mobile robots |
- | * the semantic web and internet technologies | + | * plan generation, planning systems, problem solving, |
- | * semantic knowledge wikis, | + | * automated diagnosis. |
- | + | ||
- | ==== Projects ==== | + | |
- | {{topic> | + | |
- | ==== Software ==== | + | |
- | {{topic> | + | |
===== Databases ===== | ===== Databases ===== | ||
Line 31: | Line 24: | ||
* geographical information systems (gis) | * geographical information systems (gis) | ||
- | ==== Projects | + | ===== Formal Methods ===== |
- | {{topic> | + | * See [[http:// |
- | ==== Software | + | |
- | {{topic> | + | ===== Semantic Web Technologies |
+ | |||
+ | * the semantic web and internet technologies | ||
+ | * semantic knowledge wikis, | ||
===== Software Engineering ===== | ===== Software Engineering ===== | ||
* software engineering methods | * software engineering methods | ||
- | |||
- | ==== Projects ==== | ||
- | {{topic> | ||
- | ==== Software ==== | ||
- | {{topic> | ||
- | |||
- | |||
- | ===== Control and Automation ===== | ||
- | |||
- | * intelligent control for mobile robots | ||
- | |||
- | * plan generation, planning systems, problem solving, | ||
- | * automated diagnosis. | ||
- | |||
- | ===== Formal Methods ===== | ||
- | |||
+ | ---- | ||
+ | Go back to → [[start|research]] |