¹⁾

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

• intelligent control for mobile robots

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

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

• See Formal Methods Website

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

• software engineering methods

Go back to → research