· Applications of logic in artificial intelligence.
· Reasoning with inconsistent and incomplete information.
· Knowledge representation and description of partial knowledge.
· Non-classical logics.
· Semantics of logic programs.
· Algebraic structures for fuzzy sets and systems.