أرسل هذا في رسالة قصيرة: Reasoning and revision in hybrid representation systems /