GEIST research areas and expertise

1) 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.

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.

Formal Methods