How to represent opaque sentences in first order logic

被引：0
|
作者：
机构：
来源：
| 1600年 / Morgan Kaufmann Publ Inc, San Mateo, CA, USA卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] First-order logic and some existential sentences
    McLeod, Stephen K.
    DISPUTATIO-INTERNATIONAL JOURNAL OF PHILOSOPHY, 2011, 4 (31): : 255 - 270
  • [2] How to prove higher order theorems in first order logic
    1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
  • [3] How complex are random graphs in first order logic?
    Kim, JH
    Pikhurko, O
    Spencer, JH
    Verbitsky, O
    RANDOM STRUCTURES & ALGORITHMS, 2005, 26 (1-2) : 119 - 145
  • [4] A Partition-Based First-Order Probabilistic Logic to Represent Interactive Beliefs
    Panella, Alessandro
    Gmytrasiewicz, Piotr
    SCALABLE UNCERTAINTY MANAGEMENT, 2011, 6929 : 233 - 246
  • [5] Reasoning with truth ascriptions, self-reference and embedded sentences in first-order logic
    Hadley, Robert F.
    Proceedings of the International Symposium on Computational Intelligence 90', 1991,
  • [6] First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences
    Yamamoto, Hanako
    Bekki, Daisuke
    NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2013), 2014, 8417 : 154 - 164
  • [7] Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions
    Wilk, Szymon
    Michalowski, Martin
    Tan, Xing
    Michalowski, Wojtek
    KNOWLEDGE REPRESENTATION FOR HEALTH CARE (KR4HC 2014), 2014, 8903 : 45 - 61
  • [8] On spectra of sentences of Monadic Second Order Logic with counting
    Fischer, E
    Makowsky, JA
    JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (03) : 617 - 640
  • [9] First-order sentences in random groups I: Universal sentences
    Kharlampovich, Olga
    Sklinos, Rizos
    JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2024, 2024 (815): : 173 - 227
  • [10] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
12345