(Hyper)sequent Calculi for the ALC(S4) Description Logics

Everardo Bárcenas; Iván Martínez; José Ramón Enrique Arrazola; Juan Pablo Mu?oz

首页> 外文期刊>Computacion y Sistemas >(Hyper)sequent Calculi for the ALC(S4) Description Logics

【24h】

(Hyper)sequent Calculi for the ALC(S4) Description Logics

机译：（超级）ALC（S4）描述逻辑的后续计算

获取原文

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Description logics (DL) form a well-known family of knowledge representation languages. One of its main applications is on the Semantic Web ...

机译：描述逻辑（DL）构成了众所周知的知识表示语言家族。它的主要应用程序之一是在语义Web上。

著录项

来源
《Computacion y Sistemas》 |2016年第1期|共页
作者
Everardo Bárcenas; Iván Martínez; José Ramón Enrique Arrazola; Juan Pablo Mu?oz;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类应用光学;
关键词

相似文献

外文文献
中文文献
专利

1. Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics [J] . Poggiolesi Francesca Studia Logica . 2016,第5期

机译：反事实逻辑的自然演绎计算和后续计算
2. Terminating sequent calculi for proving and refuting formulas in S4 [J] . CAMILLO FIORENTINI Journal of logic and computation . 2015,第1期

机译：终止后续结石以证明和反驳S4中的公式
3. Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics [J] . Robert Saxon Milnikel Annals of Mathematics and Artificial Intelligence . 2005,第1a2期

机译：谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
4. From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic [C] . Jeremy E. Dawson, Ranald Clouston, Rajeev Gore, IFIP TC 1/WG 2.2 international conference on theoretical computer science . 2014

机译：从显示演算到深度嵌套继发演算：完全直觉线性逻辑的形式化
5. Sequent Calculus: A Logic and a Language for Computation and Duality [D] . Downen, Paul. 2017

机译：后续微积分：计算和对偶的逻辑和语言
6. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic [O] . Christian Fermüller, Timo Lang, Alexandra Pavlova -1

机译：从真相比较游戏到Gödel逻辑的相依关系计算
7. Natural deduction calculi and sequent calculi for counterfactual logics [O] . Poggiolesi, Francesca 2016

机译：反事实逻辑的自然演绎演算和后续演算
8. Sequent Calculi for Normal Modal Propositional Logics [R] . Wansing, H. 1992

机译：正态模态命题逻辑的后续计算

(Hyper)sequent Calculi for the ALC(S4) Description Logics

摘要

著录项

相似文献

相关主题

期刊订阅