Compact Propositional Encodings of First-Order Theories

被引：0
|
作者：
Ramachandran, Deepak [1 ]
Amir, Eyal [1 ]
机构：
[1] Univ Illinois, Dept Comp Sci, Urbana, IL 61801 USA
来源：
19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05) | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1579 / 1580
页数：2
相关论文
共 50 条
  • [21] Runtime Verification: From Propositional to First-Order Temporal Logic
    Havelund, Klaus
    Peled, Doron
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 90 - 112
  • [22] Lifting propositional proof compression algorithms to first-order logic
    Gorzny, Jan
    Postan, Ezequiel
    Paleo, Bruno Woltzenlogel
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (08) : 1903 - 1932
  • [23] Alternative translation techniques for propositional and first-order modal logics
    Montanari, A
    Policriti, A
    Slanina, M
    JOURNAL OF AUTOMATED REASONING, 2002, 28 (04) : 397 - 415
  • [24] Alternative Translation Techniques for Propositional and First-Order Modal Logics
    Angelo Montanari
    Alberto Policriti
    Matteo Slanina
    Journal of Automated Reasoning, 2002, 28 : 397 - 415
  • [25] Interpreting first-order theories into a logic of records
    Van De Vel M.
    Studia Logica, 2002, 72 (3) : 411 - 432
  • [26] UNDECIDABLE FIRST-ORDER THEORIES OF AFFINE GEOMETRIES
    Kuusisto, Antti
    Meyers, Jeremy
    Virtema, Jonni
    LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)
  • [27] Pairs, sets and sequences in first-order theories
    Visser, Albert
    ARCHIVE FOR MATHEMATICAL LOGIC, 2008, 47 (04) : 299 - 326
  • [28] Adding metatheoretic facilities to first-order theories
    Basin, D
    Matthews, S
    JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (06) : 835 - 849
  • [29] The Complexity of Decomposing Modal and First-Order Theories
    Goeller, Stefan
    Jung, Jean Christoph
    Lohrey, Markus
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 325 - 334
  • [30] Jurisprudential Theories and First-Order Legal Judgments
    Toh, Kevin
    PHILOSOPHY COMPASS, 2013, 8 (05): : 457 - 471
12345