Differences

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

--- pub:research:areas_of_interests [2009/07/29 11:15] – admin
+++ pub:research:areas_of_interests [2011/08/04 15:29] – old revision restored wta
@@ Line 1: / Line 1: @@
-====== GEIST research areas and expertise: ======
+====== GEIST research areas and expertise ======
+((TAGCLOUD > [pub]))
 ===== AI and Expert Systems =====
   * artificial intelligence,
-    * {{topic>ai}}
   * knowledge-based intelligent systems
-    * {{topic>intelligent_systems}}
   * knowledge engineering, knowledge representation, inference,
-    * {{topic>KE KR }}
   * rule-based systems, tabular rule-base systems,
-    * {{topic>rules}}
   * evaluation, verification and validation of intelligent systems,
-  * logic programming and prolog,
+  * logic programming and prolog.
-    * {{topic>prolog}}
-===== Semantic Web Technologies =====
+===== Control and Automation =====
-  * the semantic web and internet technologies
+  * intelligent control for mobile robots
-  * semantic knowledge wikis,
+  * plan generation, planning systems, problem solving,
+  * automated diagnosis.
 ===== Databases =====
@@ Line 24: / Line 24: @@
   * geographical information systems (gis)
-===== Software Engineering =====
+===== Formal Methods =====
+  * See [[http://fm.ia.agh.edu.pl/|Formal Methods Website]]
-  * software engineering methods
+===== Semantic Web Technologies =====
-===== Control and Automation =====
+  * the semantic web and internet technologies
+  * semantic knowledge wikis,
-  * intelligent control for mobile robots
+===== Software Engineering =====
-  * plan generation, planning systems, problem solving,
+  * software engineering methods
-  * automated diagnosis.
-~~TAGCLOUD~~
+----
+Go back to → [[start|research]]