Literatura académica sobre el tema "Convex Logical Constraints"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Convex Logical Constraints".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Convex Logical Constraints"
Scala, Enrico, Miquel Ramírez, Patrik Haslum y Sylvie Thiebaux. "Numeric Planning with Disjunctive Global Constraints via SMT". Proceedings of the International Conference on Automated Planning and Scheduling 26 (30 de marzo de 2016): 276–84. http://dx.doi.org/10.1609/icaps.v26i1.13766.
Texto completoGao, Wei, Hengyi Lv, Qiang Zhang y Dunbo Cai. "Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method". Algorithms 11, n.º 9 (18 de septiembre de 2018): 142. http://dx.doi.org/10.3390/a11090142.
Texto completoWu, Hsien-Chung. "The optimality conditions for optimization problems with convex constraints and multiple fuzzy-valued objective functions". Fuzzy Optimization and Decision Making 8, n.º 3 (9 de junio de 2009): 295–321. http://dx.doi.org/10.1007/s10700-009-9061-6.
Texto completoLiao, Jiagen y Zhongping Wan. "Inexact Restoration Methods for Semivectorial Bilevel Programming Problem on Riemannian Manifolds". Axioms 11, n.º 12 (5 de diciembre de 2022): 696. http://dx.doi.org/10.3390/axioms11120696.
Texto completoZhu, Xinyue, Wei Li y Xueping Luo. "Stability for a Class of Differential Set-Valued Inverse Variational Inequalities in Finite Dimensional Spaces". Axioms 11, n.º 9 (16 de septiembre de 2022): 475. http://dx.doi.org/10.3390/axioms11090475.
Texto completoLee, Eun-Ji y Jae-Hwan Jhong. "Change Point Detection Using Penalized Multidegree Splines". Axioms 10, n.º 4 (1 de diciembre de 2021): 331. http://dx.doi.org/10.3390/axioms10040331.
Texto completoRizzo, Nicola y Agostino Dovier. "3coSoKu and its declarative modeling". Journal of Logic and Computation 32, n.º 2 (18 de enero de 2022): 307–30. http://dx.doi.org/10.1093/logcom/exab086.
Texto completoStetsyuk, Petro, Oleksii Lykhovyd, Volodymyr Zhydkov y Anton Suprun. "OPTIMIZATION PROBLEMS OF MODERNIZATION OF THE CAPACITY OF ARCS OF FAULT-TOLERANT NETWORKS". Journal of Automation and Information sciences 5 (1 de septiembre de 2021): 5–20. http://dx.doi.org/10.34229/1028-0979-2021-5-1.
Texto completoPerminov, E. A., D. D. Gadjiev y 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, n.º 5 (31 de mayo de 2019): 86–111. http://dx.doi.org/10.17853/1994-5639-2019-5-87-112.
Texto completoKumar, T. K. Satish, Duc Thien Nguyen, William Yeoh y Sven Koenig. "A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints". Proceedings of the AAAI Conference on Artificial Intelligence 28, n.º 1 (21 de junio de 2014). http://dx.doi.org/10.1609/aaai.v28i1.9043.
Texto completoTesis sobre el tema "Convex Logical Constraints"
Giannini, Francesco. "On the Integration of Logic and Learning". Doctoral thesis, Università di Siena, 2019. http://hdl.handle.net/11365/1072603.
Texto completoLibros sobre el tema "Convex Logical Constraints"
Golan, Amos. Causal Inference via Constraint Satisfaction. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199349524.003.0011.
Texto completoSanders, Rebecca. Plausible Legality. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190870553.001.0001.
Texto completoLassiter, Daniel. Implications for the epistemic auxiliaries. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198701347.003.0006.
Texto completoStojnić, Una. Context and Coherence. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198865469.001.0001.
Texto completoCapítulos de libros sobre el tema "Convex Logical Constraints"
Hughes, Jack y Dominic Orchard. "Resourceful Program Synthesis from Graded Linear Types". En 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.
Texto completoKreutzer, Stephan. "Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls". En Database Theory — ICDT 2001, 248–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44503-x_17.
Texto completoUsman, Muhammad, Divya Gopinath, Youcheng Sun, Yannic Noller y Corina S. Păsăreanu. "NNrepair: Constraint-Based Repair of Neural Network Classifiers". En Computer Aided Verification, 3–25. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_1.
Texto completoAl-Jumaily, Harith T., Dolores Cuadra y Paloma Martínez. "MDD Approach for Maintaining Integrity Constraints in Databases". En 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.
Texto completoStojnić, Una. "Pointing Things Out: Prominence and the Attentional State of a Discourse". En Context and Coherence, 40–57. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198865469.003.0004.
Texto completoPace, Gordon J. "A General Theory of Contract Conflicts with Environmental Constraints". En Frontiers in Artificial Intelligence and Applications. IOS Press, 2020. http://dx.doi.org/10.3233/faia200852.
Texto completoMisra, Janardan. "Towards a Framework for Collaborative Enterprise Security". En 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.
Texto completoBock, Gregory A., Ryan T. Hendrickson, Jared Allen Lamkin, Brittany Dhall, Jing Wang y In Soo Ahn. "Experimental Validation of Distributed Cooperative Control of Multiple Mobile Robots via Local Information Exchange". En Robotic Systems, 743–64. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-1754-3.ch039.
Texto completoMoffitt, Michael. "CommentsMachiavelli and the Bar and Ethical Ratcheting". En Discussions in Dispute Resolution, 31–35. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780197513248.003.0007.
Texto completoVaz, Maria Salete Marcon Gomes y Lucélia de Souza. "Conventional and Non-Conventional Data Modeling". En 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.
Texto completoActas de conferencias sobre el tema "Convex Logical Constraints"
Kumar, T. K. Satish, Hong Xu, Zheng Tang, Anoop Kumar, Craig Milo Rogers y Craig A. Knoblock. "A Distributed Logical Filter for Connected Row Convex Constraints". En 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, 2017. http://dx.doi.org/10.1109/ictai.2017.00026.
Texto completoSuilen, Marnix, Nils Jansen, Murat Cubuktepe y Ufuk Topcu. "Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization". En 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.
Texto completoDas, Atish K. y Noshir A. Langrana. "Geometry Reconstruction of Vectorized Drawings Consisting of Orthographic Views". En 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.
Texto completoLiu, Yilun, Lei Zuo y Xiudong Tang. "Regenerative Vibration Control of Tall Buildings Using Model Predictive Control". En ASME 2013 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/dscc2013-3988.
Texto completoAtia, George, Andre Beckus, Ismail Alkhouri y Alvaro Velasquez. "Steady-State Policy Synthesis in Multichain Markov Decision Processes". En 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.
Texto completoOzawa, Masanori, Yumi Iwasaki y Mark R. Cutkosky. "Multi Disciplinary Early Performance Evaluation via Logical Description of Mechanisms: DVD Pick up Head Example". En ASME 1998 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/detc98/cie-6007.
Texto completoCarr, Steven, Nils Jansen y Ufuk Topcu. "Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints". En 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.
Texto completoKřetínský, Jan. "LTL-Constrained Steady-State Policy Synthesis". En 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.
Texto completoKerarmi, Abdelouadoud, Assia Kamal-idrissi y Amal El Fallah Seghrouchni. "An Optimized Fuzzy Logic Model for Proactive Maintenance". En 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.
Texto completoAmirian, Mohammad Mahdi y Saeed Shiry Ghidary. "Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models (Extended Abstract)". En 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.
Texto completoInformes sobre el tema "Convex Logical Constraints"
Lutz, Carsten y Maja Miličić. Description Logics with Concrete Domains and Functional Dependencies. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.143.
Texto completo