GEIST research areas and expertise

~~TAGCLOUD>pub:~~

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.

Control and Automation

intelligent control for mobile robots

plan generation, planning systems, problem solving,

automated diagnosis.

Databases

relational databases, and data warehouses

geographical information systems (gis)

Formal Methods

See Formal Methods Website

Semantic Web Technologies

the semantic web and internet technologies

semantic knowledge wikis,

Software Engineering

software engineering methods

Go back to → research