Main Research Topics

· Applications of logic in artificial intelligence.

· Reasoning with inconsistent and incomplete information.

· Knowledge representation and description of partial knowledge.

· Non-classical logics.


Back to homepage