GEIST research areas and expertise:

~~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.

Projects

topic>ai intelligent_systems KE KR rules prolog hekate +project

Software

topic>ai intelligent_systems KE KR rules prolog hekate +software

Semantic Web Technologies

the semantic web and internet technologies

semantic knowledge wikis,

Projects

topic>semantic +project

Software

topic>semantic +software

Databases

relational databases, and data warehouses

geographical information systems (gis)

Projects

topic>gis geospatial database +project

Software

topic>gis geospatial database +software

Software Engineering

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