...
机译:带有常规包含公理的Converse PDL:MAS逻辑框架
Institute of Informatics,Warsaw University, Warsaw (Poland),institute of Computer Science, Polish Academy of Sciences, Warsaw (Poland);
Institute of Informatics,Warsaw University, Warsaw (Poland);
Institute of Informatics,Warsaw University, Warsaw (Poland),Depart.of Computer and Information Science, University of Linkoeping (Sweden);
multimodal logics; multi-agent systems; automated reasoning; tableaux;
机译:在程序验证中测试一阶逻辑公理的框架
机译:在程序验证中测试一阶逻辑公理的框架
机译:The Physical Laws and Mathematical Axioms of the Brain’s OS and the Traditional Fundamental Laws of Thought of Logic and Philosophy
机译:无缺陷的EXPTIME TableEaux用于透露-PDL与常规夹杂物合理延伸
机译:使用对话框的缺失公理理论中的建模主动性的理论框架自动优化对话框策略。
机译:奎因数学逻辑新基础中的选择公理
机译:用于逻辑扩展的无切割ExpTime Tableau决策过程 具有常规包含公理的逆向pDL