Many-valued logic and mixed integer programming-Reference-Cited by-同舟云学术

Many-valued logic and mixed integer programming

Published:1994-12 Issue:3-4 Volume:12 Page:231-263
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

H�hnle Reiner

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

http://link.springer.com/article/10.1007/BF01530787/fulltext.html

Reference50 articles.

1. H. Barringer, J.H. Cheng and C.B. Jones, A logic covering undefinedness in program proofs, Acta Informatica 21 (1984) 251?269.

2. P. Earth and A. Bockmayr, Solving 0?1 problems in CLP(PB), in:Proc. CAIA, Orlando, Florida (IEEE Press, 1993) pp. 263?269.

3. M.G. Beavers, Automated theorem proving for ?ukasiewicz logics, Manuscript of talk given at 1991 Meeting of Society for Exact Philosophy, Victoria, Canada, 1991.

4. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian, Implementing deductive databases by mixed integer programming, in:Proc. ACM Symp. on Principles of Database Systems, 1992, pp. 283?292.

5. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian, Mixed integer programming methods for computing nonmonotonic deductive databases, JACM (1994) to appear.

Cited by 52 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Foundations of reasoning with uncertainty via real-valued logics;Proceedings of the National Academy of Sciences;2024-05-16

2. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic;Journal of Logic and Computation;2023-10-13

3. Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05

4. The MaxSAT Problem in the Real-Valued MV-Algebra;Lecture Notes in Computer Science;2023

5. Non-standard Modalities in Paraconsistent Gödel Logic;Logics in Artificial Intelligence;2023