Compact Propositional Encodings of First-Order Theories

被引：0

作者：

Ramachandran, Deepak ^{[1
]}

Amir, Eyal ^{[1
]}

机构：

[1] Univ Illinois, Dept Comp Sci, Urbana, IL 61801 USA

来源：

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：1579 / 1580

页数：2

共 50 条

[11] ARITIES AND ARITIZABILITIES OF FIRST-ORDER THEORIES
Sudoplatov, S., V
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2022, 19 (02): : 889 - 901
[12] FIRST-ORDER THEORIES CATEGORIC IN A CARDINAL
RESSAYRE, JP
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 142 (AUG) : 481 - &
[13] On the Classification of Unstable First-Order Theories
Mutchnik, Scott
ProQuest Dissertations and Theses Global, 2023,
[14] The First-Order Theories of Dedekind Algebras
George Weaver
Studia Logica, 2003, 73 (3) : 337 - 365
[15] First-order theories of bounded trees
Kellerman, Ruaan
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (1-2) : 263 - 297
[16] First-order theories of orthogonality structures
Kellerman, Ruaan
LOGIC JOURNAL OF THE IGPL, 2007, 15 (03) : 255 - 270
[17] Classifying toposes for first-order theories
Butz, C
Johnstone, P
ANNALS OF PURE AND APPLIED LOGIC, 1998, 91 (01) : 33 - 58
[18] First-order theories of bounded trees
Ruaan Kellerman
Archive for Mathematical Logic, 2022, 61 : 263 - 297
[19] GENERIC COMPLEXITY OF FIRST-ORDER THEORIES
Rybalov, A. N.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2011, 8 : 168 - 178
[20] Extension of first-order theories into trees
Djelloul, Khalil
Dao, Thi-Bich-Hanh
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2006, 4120 : 53 - 67