https://intlibrary.ir/download/computational-logic-in-multi-agent-systems:-13th-i-13907/