SHR Tableaux-A Framework for Automated Model Generation

THOMAS M. RUDLOF

首页> 外文期刊>Journal of logic and computation >SHR Tableaux-A Framework for Automated Model Generation

【24h】

SHR Tableaux-A Framework for Automated Model Generation

机译：用于自动模型生成的SHR Tableaux-A框架

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Refutation methods share two important points distinguishing them from the literature in the field of automated reasoning: they use the same basic idea-a mixture of hyperresolution and tableaux methods-in order to construct a refutation tree and they are considered rather to be model generators than refutation methods. But, they differ very much in the way they represent structures-and consequently the classes of formulae they can cope with tare very different.

机译：在自动推理领域，反驳方法具有两个与众不同的重要点：它们使用相同的基本思想（超分辨率和Tableaux方法的混合）来构造反驳树，并且它们被认为是模型生成器而不是模型生成器反驳方法。但是，它们在表示结构的方式上有很大不同-因此，它们可以处理的皮重类别也非常不同。

著录项

来源
《Journal of logic and computation》 |2001年第1期|p.107-155|共49页
作者
THOMAS M. RUDLOF;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
Automated model generation; finite model; hyperresolution;

机译：自动生成模型;有限模型超分辨率;

相似文献

外文文献
中文文献
专利

1. PRESENTING A HYBRID PROCESSING MINING FRAMEWORK FOR AUTOMATED SIMULATION MODEL GENERATION [J] . Mohammed Mesabbah, Susan McKeever Proceedings of the Workshop on Principles of Advanced and Distributed Simulation . 2018,第CDaROM1期

机译：呈现用于自动仿真模型生成的混合处理挖掘框架
2. Automated deserializer generation from CIM ontologies: CIM++-an easy-to-use and automated adaptable open-source library for object deserialization in C++ from documents based on user-specified UML models following the Common Information Model (CIM) standards for the energy sector [J] . Lukas Razik, Markus Mirz, Daniel Knibbe, Computer science . 2018,第1a2期

机译：从CIM本体自动生成反序列化器：CIM ++-一种易于使用且可自动适应的开源库，用于根据用户指定的UML模型（基于能源领域的通用信息模型（CIM）标准）从文档中以C ++中的对象反序列化
3. An Automated Shrink-Wrapped Mesh Generation for "Dirty" Geometries [J] . Wei Yuan, Tim Dollar, C. P. Chen 中国航空太空学会学刊． . 2004,第3期

机译：用于“脏”几何的自动收缩包装网格生成
4. VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models [C] . Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings . 2019

机译：VIATRA Solver：自动生成一致的领域特定模型的框架
5. A computational framework for automating generation of finite element mesh sizing function via skeletons. [D] . Quadros, William Roshan. 2005

机译：通过骨架自动生成有限元网格尺寸调整函数的计算框架。
6. An automated framework for hypotheses generation using literature [O] . Vida Abedi, Ramin Zand, Mohammed Yeasin, 2012

机译：使用文献自动生成假设的框架
7. Object-Oriented Simulation Model Generation in an Automated Control Software Development Framework [O] . Foeken M. J., van Tooren M. J. L. 2009

机译：自动控制软件开发框架中的面向对象的仿真模型生成

SHR Tableaux-A Framework for Automated Model Generation

摘要

著录项

相似文献

相关主题

期刊订阅