Author:
Ansótegui C.,Bofill M.,Manyà F.,Villaret M.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logical Approximation and Formal Verification of Neural Networks;Anais do V Workshop Brasileiro de Lógica (WBL 2024);2024-07-21
2. Alloy Goes Fuzzy;Lecture Notes in Computer Science;2024
3. Chapter 28. Effective Reasoning over Neural Networks Using Łukasiewicz Logic;Frontiers in Artificial Intelligence and Applications;2023-07-21
4. Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05
5. The MaxSAT Problem in the Real-Valued MV-Algebra;Lecture Notes in Computer Science;2023