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 15:44] – dopisanie odp. projektow i softu do kategorii wtf | pub:research:areas_of_interests [2010/10/26 11:42] – external edit 127.0.0.1 | ||
---|---|---|---|
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. | ||
- | See GEIST projects: | + | ===== Control and Automation ===== |
- | {{topic> | + | |
- | See GEIST software: | + | * intelligent control for mobile robots |
- | {{topic> | + | |
- | ===== Semantic Web Technologies ===== | + | |
- | + | * automated diagnosis. | |
- | | + | |
- | * semantic knowledge wikis, | + | |
- | + | ||
- | See GEIST projects: | + | |
- | {{topic> | + | |
- | + | ||
- | See GEIST software: | + | |
- | {{topic> | + | |
===== Databases ===== | ===== Databases ===== | ||
Line 33: | Line 24: | ||
* geographical information systems (gis) | * geographical information systems (gis) | ||
- | See GEIST projects: | + | ===== Formal Methods ===== |
- | {{topic> | + | * See [[http:// |
- | See GEIST software: | + | ===== Semantic Web Technologies ===== |
- | {{topic> | + | |
+ | * the semantic web and internet technologies | ||
+ | * semantic knowledge wikis, | ||
===== Software Engineering ===== | ===== Software Engineering ===== | ||
Line 43: | Line 36: | ||
* software engineering methods | * 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: | + | Go back to → [[start|research]] |
- | {{topic> formal_methods +software}} | + |