Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone,Marianna Nicolosi Asmundo,Ewa OrlowskaJournal of Applied Non-Classical Logics(2011)引用 31|浏览2暂无评分关键词description logic,non classical logic,composition operatorAI 理解论文溯源树样例生成溯源树,研究论文发展脉络