Modal logic; S5; Incremental SAT; Minimisation;
机译:通过基于假设的多主体方法改进建议:在旅游领域中的应用
机译:一种基于假设的真相维护的可信方法
机译:现有瞬态求解器的弹性最小介入低存储方法
机译:一种基于假设的最小S5可满足性问题解决方法
机译:一种基于假设的事实维护系统的理论设计的方法,用于可废止的推理。
机译:朝向准确的微观计算溶剂化熵:延长抑制释放方法以研究溶剂化效应
机译:基于假设的最小特许权策略论证⋆
机译:基于模型的aTms问题解决和语义控制(基于假设的真理维护系统)。