首页> 外文会议>Automated deduction-CADE-16 >System description: twelf-a meta-logical framework for deductive systems

【24h】

System description: twelf-a meta-logical framework for deductive systems

机译：系统描述：twelf-演绎系统的元逻辑框架

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It relies on the LF type theory and the judgments-as-types methodology for specification [HHP93], a con-straint logic programming interpreter for implementation [Pfe91], and the meta-logic M_2 for reasoning about object languages encoded in LF [SP98]. It is a significant extension and complete reimplementation of the Elf system [Pfe94].

机译：Twelf是一个元逻辑框架，用于根据编程语言和逻辑理论来演绎系统的规范，实现和元理论。它依靠LF类型理论和规范判断类型方法[HHP93]，用于实现的约束逻辑编程解释器[Pfe91]，以及用于推理以LF编码的目标语言的元逻辑M_2 [SP98] ]。它是Elf系统的重要扩展和完整实现[Pfe94]。

著录项

来源
《Automated deduction-CADE-16》|1999年|p.202-206|共5页
会议地点 Trento(IT);Trento(IT)
作者
Frank Pfenning; Carsten Schurmann;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A FRAMEWORK FOR COOPERATIVE DEDUCTIVE DATABASE SYSTEMS [J] . Mukesh K. MOHANIA, N. L. SARDA Computers and Artificial Intelligence . 1995,第2期

机译：协作演绎数据库系统的框架
2. Systematic description of direct push sensor systems: A conceptual framework for system decomposition as a basis for the optimal sensor system design [J] . Bumberger Jan, Paasche Hendrik, Dietrich Peter Journal of Applied Geophysics . 2015,第Null期

机译：直推式传感器系统的系统描述：系统分解的概念框架，作为最佳传感器系统设计的基础
3. Simsdairy: A Modelling Framework To Identify Sustainable Dairy Farms In The Uk. Framework Description And Test For Organic Systems And N Fertiliser Optimisation [J] . A. Del Prado, T. Misselbrook, D. Chad wick, Science of the total environment . 2011,第19期

机译：Simsdairy：确定英国可持续奶牛场的建模框架。有机系统和氮肥优化的框架描述和测试
4. System description: twelf-a meta-logical framework for deductive systems [C] . Frank Pfenning, Carsten Schurmann International conference on automated deduction . 1999

机译：系统描述：推迟系统的二维逻辑框架
5. From Empowerment to Sustained Health Behaviors Using Home Monitoring Systems: A Deductive Theoretical Model for Informational and Communication Technology (ICT) [D] . Alluhaidan, Ala. 2017

机译：从授权到使用家庭监控系统的持续健康行为：信息和通信技术（ICT）的演绎理论模型
6. V-Alert: Description and Validation of a Vulnerable Road User Alert System in the Framework of a Smart City [O] . Unai Hernandez-Jayo, Idoia De-la-Iglesia, Jagoba Perez 2015

机译：V-Alert：在智能城市框架中描述和验证易受伤害的道路用户警报系统
7. System Description: Twelf - A Meta-Logical Framework for Deductive Systems [O] . Frank Pfenning, Carsten Schürmann 1999

机译：系统描述：Twelf - 演绎系统的元逻辑框架
8. Deductive Databases and Logic Programming: Abduction in Deductive Databases andKnowledge-Based Systems. Proceedings of the ICLP'95 Joint Workshop. Held in Shonan Village Center, Japan on June 17, 1995 [R] . Decker, H., Muenchen, S., Geske, U., 1995

机译：演绎数据库和逻辑编程：演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行

System description: twelf-a meta-logical framework for deductive systems

摘要

著录项

相似文献

相关主题

期刊订阅