Differences

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

--- pub:research:areas_of_interests [2009/08/16 15:44] – dopisanie odp. projektow i softu do kategorii wtf
+++ pub:research:areas_of_interests [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1
@@ Line 1: / Line 1: @@
-====== GEIST research areas and expertise ======
-~~TAGCLOUD~~
-===== AI and Expert Systems =====
-  * artificial intelligence,
-  * knowledge-based intelligent systems
-  * knowledge engineering, knowledge representation, inference,
-  * rule-based systems, tabular rule-base systems,
-  * evaluation, verification and validation of intelligent systems,
-  * logic programming and prolog.
-See GEIST projects:
-{{topic>ai intelligent_systems rule-based_systems ke kr rules prolog hekate +project}}
-See GEIST software:
-{{topic>ai intelligent_systems rule-based_systems ke kr rules prolog hekate +software}}
-===== Semantic Web Technologies =====
-  * 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 =====
-  * relational databases, and data warehouses
-  * geographical information systems (gis)
-See GEIST projects:
-{{topic>gis geospatial database +project}}
-See GEIST software:
-{{topic>gis geospatial database +software}}
-===== Software Engineering =====
-  * 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:
-{{topic> formal_methods +software}}