GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:research:areas_of_interests

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Last revisionBoth sides next revision
pub:research:areas_of_interests [2009/08/16 10:13] wtfpub: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]))
  
-~~TAGCLOUD~~ 
  
 ===== AI and Expert Systems ===== ===== AI and Expert Systems =====
Line 11: Line 12:
   * logic programming and prolog.   * logic programming and prolog.
  
-==== Projects ==== +===== Control and Automation =====
-{{topic>ai intelligent_systems KE KR rules prolog +project}} +
-==== Software ==== +
-{{topic>ai intelligent_systems KE KR rules prolog +software}}+
  
-===== Semantic Web Technologies =====+  * intelligent control for mobile robots
  
-  * the semantic web and internet technologies +  * plan generation, planning systems, problem solving, 
-  * semantic knowledge wikis, +  * automated diagnosis.
- +
-==== Projects ==== +
-{{topic>semantic +project}} +
-==== Software ==== +
-{{topic>semantic +software}}+
  
 ===== Databases ===== ===== Databases =====
Line 31: Line 24:
   * geographical information systems (gis)   * geographical information systems (gis)
  
-==== Projects ==== +===== Formal Methods ===== 
-{{topic>gis database +project}} +  * See [[http://fm.ia.agh.edu.pl/|Formal Methods Website]] 
-==== Software ==== + 
-{{topic>gis database +software}}+===== Semantic Web Technologies ===== 
 + 
 +  * the semantic web and internet technologies 
 +  * semantic knowledge wikis,
  
 ===== Software Engineering ===== ===== Software Engineering =====
  
   * software engineering methods   * software engineering methods
- 
-==== Projects ==== 
-{{topic>SE +project}} 
-==== Software ==== 
-{{topic>SE +software}} 
- 
- 
-===== Control and Automation ===== 
- 
-  * intelligent control for mobile robots 
- 
-  * plan generation, planning systems, problem solving, 
-  * automated diagnosis. 
- 
-===== Formal Methods ===== 
- 
  
  
 +----
  
 +Go back to → [[start|research]]

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki