· Applications of logic in artificial intelligence.
· Reasoning with inconsistent and incomplete information.
· Knowledge representation and description of partial knowledge.
· Non-classical logics.
· Formal argumentation.
Back to homepage