GEIST research areas and expertise:

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,

topic>prolog

Semantic Web Technologies

the semantic web and internet technologies

semantic knowledge wikis,

Databases

relational databases, and data warehouses

geographical information systems (gis)

Software Engineering

software engineering methods

Control and Automation

intelligent control for mobile robots

plan generation, planning systems, problem solving,

automated diagnosis.