首页> 外文OA文献 >The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic (Mathematical Studies of Information Processing)

【2h】

The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic (Mathematical Studies of Information Processing)

机译：命题逻辑中某些类别的扩展号角集的可满足性问题（信息处理的数学研究）

页面导航

著录项
相似文献
相关主题

著录项

作者
YAMASAKI SUSUMU; DOSHITA SHUJI;
展开▼
作者单位

展开▼
年度 1982
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic [J] . Xingxing He Logic Journal of IGPL . 2012,第3期

机译：有限格值命题逻辑中的α可满足性及其α锁定分辨率
2. Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs [J] . Miroslaw Truszczynski Artificial intelligence . 2010,第16a17期

机译：命题理论，可满足性关系的简化，以及逻辑程序语义的概括
3. Symmetric Neural Networks and Propositional Logic Satisfiability [J] . Pinkas G Neural computation . 1991,第2期

机译：对称神经网络与命题逻辑可满足性
4. SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions [C] . Maarten Marieen, Johan Wittocx, Marc Denecker, Theory and Applications of Satisfiability Testing - SAT 2008 . 2008

机译：SAT（ID）：用归纳定义扩展的命题逻辑的可满足性
5. SEMANTIC PARAMODULATION FOR HORN SETS (LOGIC, EQUALITY, THEOREM-PROVING). [D] . MCCUNE, WILLIAM WALKER, JR. 1984

机译：角集的语义参数调制（逻辑，等式，定理证明）。
6. Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic [O] . Guillermo Badia, Vicent Costa, Pilar Dellunde, -1

机译：数学模糊逻辑中一阶结构类的句法表征
7. The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics [O] . Chen Cheng-Chia, Lin I-Peng 1994

机译：模态命题逻辑的模态Horn子句可满足性的计算复杂性
8. Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic [R] . Bryant, R. E. , German, S. , Velev, M. N. 1999

机译：处理器验证使用有效减少未解释函数的逻辑到命题逻辑

The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic (Mathematical Studies of Information Processing)

著录项

相似文献

相关主题

期刊订阅