¹⁾

• 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: ai intelligent_systems rule-based_systems ke kr rules prolog hekate +project

See GEIST software: ai intelligent_systems rule-based_systems ke kr rules prolog hekate +software

• the semantic web and internet technologies
• semantic knowledge wikis,

See GEIST projects: semantic semantic_web semantic_wikis +project

See GEIST software: semantic semantic_web semantic_wikis +software

• relational databases, and data warehouses
• geographical information systems (gis)

See GEIST projects: gis geospatial database +project

See GEIST software: gis geospatial database +software

• software engineering methods

See GEIST projects: se design +project

See GEIST software: se design +software

• intelligent control for mobile robots

• plan generation, planning systems, problem solving,
• automated diagnosis.

See GEIST projects: control robots planning diagnosis +project

See GEIST software: control robots planning diagnosis +software

See GEIST projects: formal_methods +project

See GEIST software: formal_methods +software