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 条

[1] Partition-based logical reasoning for first-order and propositional theories
Amir, E
McIlraith, S
ARTIFICIAL INTELLIGENCE, 2005, 162 (1-2) : 49 - 88
[2] Knowledge base reformation: Preparing first-order theories for efficient propositional reasoning
Prendinger, H
Ishizuka, M
Schurz, G
INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 2000, 14 (01) : 35 - 57
[3] Knowledge base reformation: Preparing first-order theories for efficient propositional reasoning
Prendinger, Helmut, 2000, World Scientific Publ Co, Singapore, Singapore (14)
[4] From Propositional to First-Order Monitoring
Bauer, Andreas
Kuester, Jan-Christoph
Vegliach, Gil
RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 59 - 75
[5] Modal logics between propositional and first-order
Fitting, M
JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (06) : 1017 - 1026
[6] First-Order Encodings for Modular Nonmonotonic Datalog Programs
Minh Dao-Tran
Eiter, Thomas
Fink, Michael
Krennwallner, Thomas
DATALOG RELOADED: FIRST INTERNATIONALWORKSHOP, DATALOG 2010, 2011, 6702 : 59 - 77
[7] Optimized encodings of fragments of type theory in first-order logic
Tammet, T
Smith, JM
JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (06) : 713 - 744
[8] Efficient Encodings of First-Order Horn Formulas in Equational Logic
Claessen, Koen
Smallbone, Nicholas
AUTOMATED REASONING, IJCAR 2018, 2018, 10900 : 388 - 404
[9] First-order interpolation derived from propositional interpolation
Baaz, Matthias
Lolic, Anela
THEORETICAL COMPUTER SCIENCE, 2020, 837 (837) : 209 - 222
[10] Hoare logic: From first-order to propositional formalism
Tiuryn, J
PROOF AND SYSTEM-RELIABILITY, 2002, 62 : 323 - 340

← 1 2 3 4 5 →