Tutorial:: Meta-logical frameworks

被引：0
|
作者：
Schürmann, C [1 ]
机构：
[1] Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA
来源：
AUTOMATED DEDUCTION - CADE-17 | 2000年 / 1831卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：507 / 508
页数：2
相关论文
共 50 条
  • [1] Logical and meta-logical frameworks - (Abstract)
    Pfenning, F
    PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, 1999, 1702 : 206 - 206
  • [2] Meta-logical frameworks and formal digital libraries
    Schurmann, Carsten
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 478 - 485
  • [3] IMPLEMENTING A META-LOGICAL SCHEME
    LIM, P
    MORLEY, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 106 - 120
  • [4] ON THE ADOPTION PROBLEM AND META-LOGICAL MONISM
    Santelli, Mauro
    Toranzo Calderon, Joaquin
    Erenfryd, Jonathan
    ANALISIS FILOSOFICO, 2022, 42 (01): : 53 - 78
  • [5] Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning
    Benzmueller, Christoph
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 7 - 11
  • [6] META-LOGICAL PROBLEMS - KNIGHTS, KNAVES, AND RIPS
    JOHNSONLAIRD, PN
    BYRNE, RMJ
    COGNITION, 1990, 36 (01) : 69 - 84
  • [7] A meta-logical approach for reasoning with an OWL 2 ontology
    Visit Hirankitti
    Trang Xuan Mai
    Journal of Ambient Intelligence and Humanized Computing, 2012, 3 : 293 - 303
  • [8] A meta-logical approach for reasoning with an OWL 2 ontology
    Hirankitti, Visit
    Trang Xuan Mai
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2012, 3 (04) : 293 - 303
  • [9] Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
    Bayer, Jonas
    Gonus, Alexey
    Benzmueller, Christoph
    Scott, Dana S.
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2023, 2023, 14101 : 69 - 83
  • [10] Twelf and delphin:: Logic and functional programming in a meta-logical framework
    Schürmann, C
    FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 22 - 23
12345