Добірка наукової літератури з теми "Convex Logical Constraints"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Convex Logical Constraints".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Convex Logical Constraints"
Scala, Enrico, Miquel Ramírez, Patrik Haslum, and Sylvie Thiebaux. "Numeric Planning with Disjunctive Global Constraints via SMT." Proceedings of the International Conference on Automated Planning and Scheduling 26 (March 30, 2016): 276–84. http://dx.doi.org/10.1609/icaps.v26i1.13766.
Повний текст джерелаGao, Wei, Hengyi Lv, Qiang Zhang, and Dunbo Cai. "Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method." Algorithms 11, no. 9 (September 18, 2018): 142. http://dx.doi.org/10.3390/a11090142.
Повний текст джерелаWu, Hsien-Chung. "The optimality conditions for optimization problems with convex constraints and multiple fuzzy-valued objective functions." Fuzzy Optimization and Decision Making 8, no. 3 (June 9, 2009): 295–321. http://dx.doi.org/10.1007/s10700-009-9061-6.
Повний текст джерелаLiao, Jiagen, and Zhongping Wan. "Inexact Restoration Methods for Semivectorial Bilevel Programming Problem on Riemannian Manifolds." Axioms 11, no. 12 (December 5, 2022): 696. http://dx.doi.org/10.3390/axioms11120696.
Повний текст джерелаZhu, Xinyue, Wei Li, and Xueping Luo. "Stability for a Class of Differential Set-Valued Inverse Variational Inequalities in Finite Dimensional Spaces." Axioms 11, no. 9 (September 16, 2022): 475. http://dx.doi.org/10.3390/axioms11090475.
Повний текст джерелаLee, Eun-Ji, and Jae-Hwan Jhong. "Change Point Detection Using Penalized Multidegree Splines." Axioms 10, no. 4 (December 1, 2021): 331. http://dx.doi.org/10.3390/axioms10040331.
Повний текст джерелаRizzo, Nicola, and Agostino Dovier. "3coSoKu and its declarative modeling." Journal of Logic and Computation 32, no. 2 (January 18, 2022): 307–30. http://dx.doi.org/10.1093/logcom/exab086.
Повний текст джерелаStetsyuk, Petro, Oleksii Lykhovyd, Volodymyr Zhydkov, and Anton Suprun. "OPTIMIZATION PROBLEMS OF MODERNIZATION OF THE CAPACITY OF ARCS OF FAULT-TOLERANT NETWORKS." Journal of Automation and Information sciences 5 (September 1, 2021): 5–20. http://dx.doi.org/10.34229/1028-0979-2021-5-1.
Повний текст джерелаPerminov, E. A., D. D. Gadjiev, and M. M. Abdurazakov. "About relevance of fundamentalisation of mathematical training of students of the pedagogical directions during the digital era." Education and science journal 21, no. 5 (May 31, 2019): 86–111. http://dx.doi.org/10.17853/1994-5639-2019-5-87-112.
Повний текст джерелаKumar, T. K. Satish, Duc Thien Nguyen, William Yeoh, and Sven Koenig. "A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints." Proceedings of the AAAI Conference on Artificial Intelligence 28, no. 1 (June 21, 2014). http://dx.doi.org/10.1609/aaai.v28i1.9043.
Повний текст джерелаДисертації з теми "Convex Logical Constraints"
Giannini, Francesco. "On the Integration of Logic and Learning." Doctoral thesis, Università di Siena, 2019. http://hdl.handle.net/11365/1072603.
Повний текст джерелаКниги з теми "Convex Logical Constraints"
Golan, Amos. Causal Inference via Constraint Satisfaction. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199349524.003.0011.
Повний текст джерелаSanders, Rebecca. Plausible Legality. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190870553.001.0001.
Повний текст джерелаLassiter, Daniel. Implications for the epistemic auxiliaries. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198701347.003.0006.
Повний текст джерелаStojnić, Una. Context and Coherence. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198865469.001.0001.
Повний текст джерелаЧастини книг з теми "Convex Logical Constraints"
Hughes, Jack, and Dominic Orchard. "Resourceful Program Synthesis from Graded Linear Types." In Logic-Based Program Synthesis and Transformation, 151–70. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68446-4_8.
Повний текст джерелаKreutzer, Stephan. "Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls." In Database Theory — ICDT 2001, 248–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44503-x_17.
Повний текст джерелаUsman, Muhammad, Divya Gopinath, Youcheng Sun, Yannic Noller, and Corina S. Păsăreanu. "NNrepair: Constraint-Based Repair of Neural Network Classifiers." In Computer Aided Verification, 3–25. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_1.
Повний текст джерелаAl-Jumaily, Harith T., Dolores Cuadra, and Paloma Martínez. "MDD Approach for Maintaining Integrity Constraints in Databases." In Handbook of Research on Innovations in Database Technologies and Applications, 145–53. IGI Global, 2009. http://dx.doi.org/10.4018/978-1-60566-242-8.ch017.
Повний текст джерелаStojnić, Una. "Pointing Things Out: Prominence and the Attentional State of a Discourse." In Context and Coherence, 40–57. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198865469.003.0004.
Повний текст джерелаPace, Gordon J. "A General Theory of Contract Conflicts with Environmental Constraints." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2020. http://dx.doi.org/10.3233/faia200852.
Повний текст джерелаMisra, Janardan. "Towards a Framework for Collaborative Enterprise Security." In Threats, Countermeasures, and Advances in Applied Information Security, 309–34. IGI Global, 2012. http://dx.doi.org/10.4018/978-1-4666-0978-5.ch016.
Повний текст джерелаBock, Gregory A., Ryan T. Hendrickson, Jared Allen Lamkin, Brittany Dhall, Jing Wang, and In Soo Ahn. "Experimental Validation of Distributed Cooperative Control of Multiple Mobile Robots via Local Information Exchange." In Robotic Systems, 743–64. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-1754-3.ch039.
Повний текст джерелаMoffitt, Michael. "CommentsMachiavelli and the Bar and Ethical Ratcheting." In Discussions in Dispute Resolution, 31–35. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780197513248.003.0007.
Повний текст джерелаVaz, Maria Salete Marcon Gomes, and Lucélia de Souza. "Conventional and Non-Conventional Data Modeling." In Enterprise Business Modeling, Optimization Techniques, and Flexible Information Systems, 141–58. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-3946-1.ch011.
Повний текст джерелаТези доповідей конференцій з теми "Convex Logical Constraints"
Kumar, T. K. Satish, Hong Xu, Zheng Tang, Anoop Kumar, Craig Milo Rogers, and Craig A. Knoblock. "A Distributed Logical Filter for Connected Row Convex Constraints." In 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, 2017. http://dx.doi.org/10.1109/ictai.2017.00026.
Повний текст джерелаSuilen, Marnix, Nils Jansen, Murat Cubuktepe, and Ufuk Topcu. "Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/569.
Повний текст джерелаDas, Atish K., and Noshir A. Langrana. "Geometry Reconstruction of Vectorized Drawings Consisting of Orthographic Views." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/cie-1655.
Повний текст джерелаLiu, Yilun, Lei Zuo, and Xiudong Tang. "Regenerative Vibration Control of Tall Buildings Using Model Predictive Control." In ASME 2013 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/dscc2013-3988.
Повний текст джерелаAtia, George, Andre Beckus, Ismail Alkhouri, and Alvaro Velasquez. "Steady-State Policy Synthesis in Multichain Markov Decision Processes." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/563.
Повний текст джерелаOzawa, Masanori, Yumi Iwasaki, and Mark R. Cutkosky. "Multi Disciplinary Early Performance Evaluation via Logical Description of Mechanisms: DVD Pick up Head Example." In ASME 1998 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/detc98/cie-6007.
Повний текст джерелаCarr, Steven, Nils Jansen, and Ufuk Topcu. "Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/570.
Повний текст джерелаKřetínský, Jan. "LTL-Constrained Steady-State Policy Synthesis." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/565.
Повний текст джерелаKerarmi, Abdelouadoud, Assia Kamal-idrissi, and Amal El Fallah Seghrouchni. "An Optimized Fuzzy Logic Model for Proactive Maintenance." In 12th International Conference on Artificial Intelligence, Soft Computing and Applications. Academy and Industry Research Collaboration Center (AIRCC), 2022. http://dx.doi.org/10.5121/csit.2022.122303.
Повний текст джерелаAmirian, Mohammad Mahdi, and Saeed Shiry Ghidary. "Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models (Extended Abstract)." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/697.
Повний текст джерелаЗвіти організацій з теми "Convex Logical Constraints"
Lutz, Carsten, and Maja Miličić. Description Logics with Concrete Domains and Functional Dependencies. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.143.
Повний текст джерела