Differences

This shows you the differences between two versions of the page.

--- pub:research:areas_of_interests [2009/08/17 19:34] – wtf
+++ pub:research:areas_of_interests [2011/08/04 15:29] – old revision restored wta
@@ Line 1: / Line 1: @@
 ====== GEIST research areas and expertise ======
-~~TAGCLOUD~~
+((TAGCLOUD > [pub]))
-FIXME apply the patch to have separate TAGCLOUDS for different namespaces: http://www.dokuwiki.org/plugin:cloud#namespace_clouds
-{{tagcloud>project}}
-{{tagcloud>software}}
 ===== AI and Expert Systems =====
@@ Line 15: / Line 12: @@
   * logic programming and prolog.
-See GEIST projects:
+===== Control and Automation =====
-{{topic>ai intelligent_systems rule-based_systems ke kr rules prolog hekate +project}}
-See GEIST software:
+  * intelligent control for mobile robots
-{{topic>ai intelligent_systems rule-based_systems ke kr rules prolog hekate +software}}
-===== Semantic Web Technologies =====
+  * plan generation, planning systems, problem solving,
+  * automated diagnosis.
-  * the semantic web and internet technologies
-  * semantic knowledge wikis,
-See GEIST projects:
-{{topic>semantic semantic_web semantic_wikis +project}}
-See GEIST software:
-{{topic>semantic semantic_web semantic_wikis +software}}
 ===== Databases =====
@@ Line 37: / Line 24: @@
   * geographical information systems (gis)
-See GEIST projects:
+===== Formal Methods =====
-{{topic>gis geospatial database +project}}
+  * See [[http://fm.ia.agh.edu.pl/|Formal Methods Website]]
-See GEIST software:
+===== Semantic Web Technologies =====
-{{topic>gis geospatial database +software}}
+  * the semantic web and internet technologies
+  * semantic knowledge wikis,
 ===== Software Engineering =====
@@ Line 47: / Line 36: @@
   * software engineering methods
-See GEIST projects:
-{{topic>se design +project}}
-See GEIST software:
-{{topic>se design +software}}
-===== 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}}