• applications of mathematical logic to knowledge representation and reasoning,
• deductive databases,
• logic programming,
• collaborating intelligent agents,
• proof theory and automated theorem proving,
• computational complexity,
• non-monotonic reasoning,
• constraint reasoning,
• non-classical logics.

Web Accessibility