首页> 外文OA文献 >An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting

【2h】

An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting

机译：使用UnrestrictedBlocking和重写的描述逻辑sHOI的抽象Tableau微积分

代理获取

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

页面导航

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

著录项

作者
Khodadadi Mohammad; Mohammad Khodadadi Renate A Schmidt; Tishkovsky Dmitry;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. An analytic tableau calculus for a temporalised belief logic [J] . Ji Ma, Mehmet A. Orgun, Kamel Adi Journal of Applied Logic . 2011,第4期

机译：时序信念逻辑的解析表演算
2. Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus [J] . Fiorino G. Information Sciences: An International Journal . 2010,第19期

机译：基于多前提Table演算的命题Dummett逻辑的快速决策过程
3. Tableau Calculus for Preference-Based Conditional Logics: PCL and its Extensions [J] . LAURA GIORDANO, VALENTINA GLIOZZI, NICOLA OLIVETTI, ACM transactions on computational logic . 2009,第3期

机译：基于首选项的条件逻辑的Tableau演算：PCL及其扩展
4. A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI [C] . Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky International conference on automated reasoning with analytic tableaux and related methods . 2013

机译：描述逻辑SHOI的带有受控块的精细Tableau演算
5. Plan-based axiom absorption for tableau-based description logics reasoning. [D] . Wu, Jiewen. 2008

机译：用于基于表格的描述逻辑推理的基于计划的公理吸收。
6. Description of an Urinary Calculus composed of the Lithate or Urate of Ammonia [O] . William Prout 1819

机译：由氨的尿酸盐或尿酸盐组成的尿路结石的说明
7. Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract) [O] . Jouannaud Jean-Pierre 1998

机译：隶属方程逻辑，归纳结构演算和重写逻辑（扩展摘要）
8. Within ARM's (Abstract Rewriting Machine's) Reach: Compilation of Left-Linear Rewrite Systems Via Minimal Rewrite Systems; Software engineering rept [R] . Fokkink, W. J., Kamperman, J. F. T., Walters, H. R. 1997

机译：在aRm（抽象重写机）的范围内：通过最小重写系统编译左线性重写系统;软件工程部

An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting

著录项

引文网络

相似文献

相关主题

期刊订阅