Differences

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

--- pub:research:areas_of_interests [2009/07/28 07:52] – external edit 127.0.0.1
+++ 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,
   * knowledge-based intelligent systems
@@ Line 6: / Line 10: @@
   * rule-based systems, tabular rule-base systems,
   * evaluation, verification and validation of intelligent systems,
-  * logic programming and prolog,
+  * logic programming and prolog.
-  * the semantic web and internet technologies
+===== Control and Automation =====
-  * semantic knowledge wikis,
+  * intelligent control for mobile robots
+  * plan generation, planning systems, problem solving,
+  * automated diagnosis.
+===== Databases =====
   * relational databases, and data warehouses
   * geographical information systems (gis)
+===== Formal Methods =====
+  * See [[http://fm.ia.agh.edu.pl/|Formal Methods Website]]
+===== Semantic Web Technologies =====
+  * the semantic web and internet technologies
+  * semantic knowledge wikis,
+===== Software Engineering =====
   * software engineering methods
-  * intelligent control for mobile robots
-  * plan generation, planning systems, problem solving,
+----
-  * automated diagnosis.
+Go back to → [[start|research]]