The Translation Approach to Model and Temporal Reasoning

机译：模型与时间推理的翻译方法

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Modal and temporal logics have been widely used and studied by researchers in computer science and artificial intelligence. However, automatic reasoning in these logics still seems to be difficult.

机译：模态和时态逻辑已被计算机科学和人工智能领域的研究人员广泛使用和研究。但是，在这些逻辑中进行自动推理似乎仍然很困难。

著录项

来源
《International Workshop in Honor of Chih-Sung Tang Beijing 14-15 August 1995》|1995年|p.162-168|共7页
会议地点 Beijing(CN)
作者
Jian Zhang;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
入库时间 2022-08-26 14:07:19

相似文献

外文文献
中文文献
专利

1. Temporal reasoning in trajectories using an ontological modelling approach [J] . Jamal Malki, Rouaa Wannous, Alain Bouju, Control and Cybernetics . 2012,第4期

机译：使用本体建模方法的轨迹中的时间推理
2. Approach of English to Sanskrit machine translation based on case-based reasoning, artificial neural networks and translation rules [J] . Vimal Mishra, R.B. Mishra International journal of knowledge engineering and soft data paradigms . 2010,第4期

机译：基于案例推理，人工神经网络和翻译规则的英语到梵语机器翻译方法
3. A prognostic model for temporal courses that combines temporal abstraction and case-based reasoning [J] . Rainer Schmidt, Lothar Gierl International journal of medical informatics . 2005,第2a4期

机译：结合时态抽象和基于案例的推理的时态课程预后模型
4. A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes [C] . Cheng Jingde Semantics, Knowledge and Grid, 2009. SKG 2009 . 2009

机译：认知过程的时间相关逻辑建模与推理
5. TEMPORAL IMAGERY: AN APPROACH TO REASONING ABOUT TIME FOR PLANNING AND PROBLEM-SOLVING. [D] . DEAN, THOMAS LINUS. 1986

机译：时间想象：一种合理安排计划和解决问题的时间的方法。
6. Assessing the translatability of In vivo cardiotoxicity mechanisms to In vitro models using causal reasoning [O] . Ahmed E Enayetallah, Dinesh Puppala, Daniel Ziemek, 2013

机译：使用因果推理评估体内心脏毒性机制与体外模型的可翻译性
7. Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models [O] . A. Artale, R. Kontchakov, V. Ryzhikov, 2012

机译：为时间概念模型量身定制时间描述逻辑
8. Temporal Imagery. An Approach to Reasoning about Time for Planning and Problem Solving [R] . Dean, T. 1985

机译：时间意象。规划与解决问题的时间推理方法

The Translation Approach to Model and Temporal Reasoning

摘要

著录项

相似文献

相关主题

期刊订阅