Semantic Web Services (WSMO, WSML)
Internet Technologies
Constraint Logic Programming
Programming Language Semantics
Compiler Design
Declarative Programming Languages
Expert Systems
Automated Deduction
Automata Theory
Frame Logic
Functional Programming
Knowledge Based Systems
Intelligent Agents.
