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 条
  • [31] Probabilistic characterisation of models of first-order theories
    Rad, Soroush Rafiee
    ANNALS OF PURE AND APPLIED LOGIC, 2021, 172 (01)
  • [32] First-order and counting theories of ω-automatic structures
    Kuske, Dietrich
    Lohrey, Markus
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 322 - 336
  • [33] The Complexity of Decomposing Modal and First-Order Theories
    Goeller, Stefan
    Jung, Jean-Christoph
    Lohrey, Markus
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (01)
  • [34] First-order and counting theories of ω-automatic structures
    Kuske, Dietrich
    Lohrey, Markus
    JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (01) : 129 - 150
  • [35] Definability in first-order theories of graph orderings
    Ramanujam, R.
    Thinniyam, Ramanathan S.
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 403 - 420
  • [36] An analysis of the first-order form of gauge theories
    Kiriushcheva, N.
    Kuzmin, S. V.
    McKeon, D. G. C.
    CANADIAN JOURNAL OF PHYSICS, 2012, 90 (02) : 165 - 174
  • [37] Pairs, sets and sequences in first-order theories
    Albert Visser
    Archive for Mathematical Logic, 2008, 47 : 299 - 326
  • [38] No Inconsistencies in Fundamental First-Order Theories in Logic
    Friedman, Harvey
    Marek, Victor
    COMMUNICATIONS OF THE ACM, 2018, 61 (10) : 6 - 6
  • [39] First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
    Zhu, Shufang
    Pu, Geguang
    Vardi, Moshe Y.
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2019, 2019, 11436 : 684 - 705
  • [40] ON CONNECTION OF FIRST-ORDER FUNCTIONAL CALCULUS WITH MANY VALUED PROPOSITIONAL CALCULI
    REICHBACH, J
    BULLETIN OF THE RESEARCH COUNCIL OF ISRAEL, 1961, F 10 (01): : 32 - &
12345