首页> 外文OA文献 >Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

【2h】

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

机译：终止具有全局模式和角色层次结构的渐变混合逻辑的Tableaux

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mark Kaminski; Sigurd Schneider; Gert Smolka;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies [J] . MarkKaminski, SigurdSchneider, GertSmolka Logical Methods in Computer Science . 2011,第1期

机译：终止具有全局模式和角色层次的渐变混合逻辑的Tableaux
2. ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic [J] . Nguyen Linh Anh Fundamenta Informaticae . 2016,第2a3期

机译：具有全局高速缓存的ExpTime Tableaux用于分级命题动态逻辑
3. A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities [J] . Serenella Cerrito, Marta Cialdea Mayer Journal of Automated Reasoning . 2013,第2期

机译：基于Tableau的具有绑定，逆向和全局模态的混合逻辑表达片段的决策程序
4. Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies [C] . Mark Kaminski, Sigurd Schneider, Gert Smolka Automated reasoning with analytic tableaux and related methods . 2009

机译：终止具有全局模式和角色层次结构的渐变混合逻辑的Tableaux
5. Hybrid rational route choice approaches: Using concepts from fuzzy logic and the analytic hierarchy process. [D] . Arslan, Turan. 2003

机译：混合理性路线选择方法：使用来自模糊逻辑和层次分析法的概念。
6. A hybrid neural networks-fuzzy logic-genetic algorithm for grade estimation [O] . Pejman Tahmasebi, Ardeshir Hezarkhani -1

机译：混合神经网络-模糊逻辑-遗传算法的等级估计
7. Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies [O] . Kaminski, Mark, Schneider, Sigurd, Smolka, Gert 2011

机译：用全局模态和方法终止分级混合逻辑的表格角色层次结构
8. Graded Modalities in Epistemic Logic. [R] . van der Hoek, W., Meijer, J. J. C. 1991

机译：认知逻辑中的分级模态。

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

著录项

引文网络

相似文献

相关主题

期刊订阅