Antoni Ligęza

• Logical foundations for rule-based systems
• Logical foundations for knowledge-based control systems