{"id":221909,"date":"2025-11-02T04:49:26","date_gmt":"2025-11-02T05:49:26","guid":{"rendered":"https:\/\/express24.ir\/d\/product\/2109-07914\/"},"modified":"2025-11-02T04:49:26","modified_gmt":"2025-11-02T05:49:26","slug":"2109-07914","status":"publish","type":"product","link":"https:\/\/express24.ir\/d\/product\/2109-07914\/","title":{"rendered":"\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc"},"content":{"rendered":"<div style=\"background: linear-gradient(135deg, #667eea 0%, #764ba2 100%); padding: 30px; border-radius: 15px; color: white; margin-bottom: 30px;\">\n<h2 style=\"color: white; text-align: center; margin-bottom: 20px;\">\ud83d\udcda \u0645\u0642\u0627\u0644\u0647 \u0639\u0644\u0645\u06cc<\/h2>\n<\/p><\/div>\n<table class=\"paper-info-table\" border=\"1\" cellpadding=\"10\" cellspacing=\"0\" style=\"width: 100%; margin-bottom: 20px; border-collapse: collapse; direction: rtl;\">\n<tr>\n<th style=\"background-color: #1F3A5E; color: white; text-align: right; width: 35%;\">\u0639\u0646\u0648\u0627\u0646 \u0641\u0627\u0631\u0633\u06cc \u0645\u0642\u0627\u0644\u0647<\/th>\n<td style=\"text-align: right; background-color: #f8f9fa; font-weight: bold;\">\u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc)<\/td>\n<\/tr>\n<tr>\n<th style=\"background-color: #1F3A5E; color: white; text-align: right;\">\u0646\u0648\u06cc\u0633\u0646\u062f\u06af\u0627\u0646<\/th>\n<td style=\"text-align: right; background-color: #ffffff;\">Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou<\/td>\n<\/tr>\n<tr>\n<th style=\"background-color: #1F3A5E; color: white; text-align: right;\">\u062f\u0633\u062a\u0647\u200c\u0628\u0646\u062f\u06cc \u0639\u0644\u0645\u06cc<\/th>\n<td style=\"text-align: right; background-color: #f8f9fa;\">Logic in Computer Science,Artificial Intelligence<\/td>\n<\/tr>\n<\/table>\n<div style=\"border: 2px dashed #4CAF50; border-radius: 16px; padding: 20px; background: #f9fff9; font-family: 'IRANSans', sans-serif;\">\r\n  <h2 style=\"color: #2E7D32; margin-top: 0;\">\ud83d\udcd8 \u0645\u062d\u062a\u0648\u0627\u06cc \u0627\u06cc\u0646 \u0645\u0642\u0627\u0644\u0647 \u0622\u0645\u0648\u0632\u0634\u06cc<\/h2>\r\n  <ul style=\"list-style-type: \u2705; padding-left: 20px; font-size: 16px; line-height: 1.8;\">\r\n    <li>\u0634\u0627\u0645\u0644 <strong>\u0641\u0627\u06cc\u0644 \u0627\u0635\u0644\u06cc \u0645\u0642\u0627\u0644\u0647 (PDF \u0627\u0646\u06af\u0644\u06cc\u0633\u06cc)<\/strong><\/li>\r\n    <li>\u0628\u0647 \u0647\u0645\u0631\u0627\u0647 <strong>\u0641\u0627\u06cc\u0644 PDF \u062a\u0648\u0636\u06cc\u062d \u0641\u0627\u0631\u0633\u06cc<\/strong> \u0628\u0627 \u0628\u06cc\u0627\u0646 \u0633\u0627\u062f\u0647 \u0648 \u0631\u0648\u0627\u0646<\/li>\r\n    <li>\u062f\u0627\u0631\u0627\u06cc <strong>\u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc<\/strong> \u062a\u0648\u0636\u06cc\u062d \u06a9\u0627\u0645\u0644 \u0645\u0642\u0627\u0644\u0647<\/li>\r\n    <li>\u0628\u0647 \u0647\u0645\u0631\u0627\u0647 <strong>\u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc<\/strong> \u0628\u0631\u0627\u06cc \u062f\u0631\u06a9 \u0639\u0645\u06cc\u0642\u200c\u062a\u0631 \u0645\u0641\u0627\u0647\u06cc\u0645 \u0645\u0642\u0627\u0644\u0647<\/li>\r\n  <\/ul>\r\n  <p style=\"color: #388E3C; font-weight: bold; font-size: 18px; margin-top: 20px;\">\r\n    \ud83c\udfaf \u0647\u0645\u0647\u200c\u06cc \u0641\u0627\u06cc\u0644\u200c\u0647\u0627 \u0628\u0627 \u0647\u062f\u0641 \u062f\u0631\u06a9 \u0622\u0633\u0627\u0646 \u0648 \u0633\u0631\u06cc\u0639 \u0645\u0641\u0627\u0647\u06cc\u0645 \u0639\u0644\u0645\u06cc \u0627\u06cc\u0646 \u0645\u0642\u0627\u0644\u0647 \u062a\u0647\u06cc\u0647 \u0634\u062f\u0647\u200c\u0627\u0646\u062f.\r\n  <\/p>\r\n  <p style=\"font-size: 16px; line-height: 1.8;\">\r\n    \u0686\u0646\u0627\u0646\u0686\u0647 \u062f\u0631 <strong>\u062f\u0627\u0646\u0644\u0648\u062f \u0641\u0627\u06cc\u0644\u200c\u0647\u0627<\/strong> \u0628\u0627 \u0645\u0634\u06a9\u0644\u06cc \u0645\u0648\u0627\u062c\u0647 \u0634\u062f\u06cc\u062f\u060c \u0644\u0637\u0641\u0627\u064b \u0627\u0632 \u0637\u0631\u06cc\u0642 \u0648\u0627\u062a\u0633\u200c\u0627\u067e \u0628\u0627 \u0634\u0645\u0627\u0631\u0647 \r\n    <strong>09395106248<\/strong> \u06cc\u0627 \u0627\u0632 \u0637\u0631\u06cc\u0642 \u0622\u06cc\u062f\u06cc \u062a\u0644\u06af\u0631\u0627\u0645 \r\n    <strong>@ma_limbs<\/strong> \u067e\u06cc\u0627\u0645 \u062f\u0647\u06cc\u062f \u062a\u0627 \u0644\u06cc\u0646\u06a9\u200c\u0647\u0627 \u0641\u0648\u0631\u0627\u064b \u0628\u0631\u0627\u06cc\u062a\u0627\u0646 \u0645\u062c\u062f\u062f\u0627\u064b \u0627\u0631\u0633\u0627\u0644 \u0634\u0648\u0646\u062f.\r\n  <\/p>\r\n<\/div>\r\n\n<article class=\"violin-complex-pieces\" style=\"font-family: 'Vazirmatn', sans-serif;color: #2E2E2E;line-height: 1.75;max-width: 800px;margin: 40px auto;padding: 30px;background: #FFFFFF;border-radius: 12px;box-shadow: 0 6px 20px rgba(0,0,0,0.05);\">\n<style>\n.violin-complex-pieces h1 { text-align: center; font-size: 2.8rem; color: #1F3A5E; margin-bottom: 24px; }\n.violin-complex-pieces h2 { position: relative; font-size: 1.9rem; color: #243A5E; margin-top: 36px; margin-bottom: 16px; padding-bottom: 6px; }\n.violin-complex-pieces h2::after { content: \"\"; position: absolute; left: 0; bottom: 0; width: 60px; height: 4px; background: linear-gradient(90deg,#4A90E2,#50E3C2); border-radius: 2px; }\n.section-box { background: #F7F9FC; border: 1px solid #E0E4E8; border-radius: 8px; padding: 24px; margin-top: 20px; transition: transform 0.2s, box-shadow 0.2s; }\n.section-box:hover { transform: translateY(-4px); box-shadow: 0 8px 24px rgba(42,77,102,0.1); }\n.section-box p, .section-box ul { margin-bottom: 12px; }\nul { margin-left: 24px; }\nul li { margin-bottom: 8px; }\n.highlight { background: #EAF4FF; color: #1F3A5E; padding: 3px 6px; border-radius: 4px; font-weight: bold; }\n<\/style>\n<h1>\u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc)<\/h1>\n<div class=\"section-box\">\n<h2>\u0645\u0639\u0631\u0641\u06cc \u0645\u0642\u0627\u0644\u0647 \u0648 \u0627\u0647\u0645\u06cc\u062a \u0622\u0646<\/h2>\n<p>\u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (ICLP)<\/span> \u0627\u0632 \u062f\u06cc\u0631\u0628\u0627\u0632 \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u0647\u0645\u200c\u062a\u0631\u06cc\u0646 \u06af\u0631\u062f\u0647\u0645\u0627\u06cc\u06cc \u0639\u0644\u0645\u06cc \u0628\u0631\u0627\u06cc \u0627\u0631\u0627\u0626\u0647 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a \u067e\u06cc\u0634\u0631\u0648 \u062f\u0631 \u0632\u0645\u06cc\u0646\u0647 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0634\u0646\u0627\u062e\u062a\u0647 \u0634\u062f\u0647 \u0627\u0633\u062a. \u0627\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633\u060c \u06a9\u0647 \u0647\u0631\u0633\u0627\u0644\u0647 \u062c\u0627\u0645\u0639\u0647 \u062c\u0647\u0627\u0646\u06cc \u0645\u062d\u0642\u0642\u0627\u0646 \u0631\u0627 \u06af\u0631\u062f \u0647\u0645 \u0645\u06cc\u200c\u0622\u0648\u0631\u062f\u060c \u0628\u0633\u062a\u0631\u06cc \u0628\u0631\u0627\u06cc \u062a\u0628\u0627\u062f\u0644 \u0627\u06cc\u062f\u0647\u200c\u0647\u0627\u06cc \u0646\u0648\u0622\u0648\u0631\u0627\u0646\u0647\u060c \u0646\u0645\u0627\u06cc\u0634 \u062f\u0633\u062a\u0627\u0648\u0631\u062f\u0647\u0627\u06cc \u062a\u0627\u0632\u0647 \u0648 \u0628\u062d\u062b \u062f\u0631\u0628\u0627\u0631\u0647 \u0686\u0627\u0644\u0634\u200c\u0647\u0627\u06cc \u0622\u062a\u06cc \u062f\u0631 \u0627\u06cc\u0646 \u062d\u0648\u0632\u0647 \u0628\u0646\u06cc\u0627\u062f\u06cc\u0646 \u0639\u0644\u0648\u0645 \u06a9\u0627\u0645\u067e\u06cc\u0648\u062a\u0631 \u0641\u0631\u0627\u0647\u0645 \u0645\u06cc\u200c\u06a9\u0646\u062f. \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u06a9\u0647 \u062f\u0631 \u0633\u0627\u0644 \u06f2\u06f0\u06f2\u06f1 \u0628\u0631\u06af\u0632\u0627\u0631 \u0634\u062f\u060c \u0646\u06cc\u0632 \u0627\u0632 \u0627\u06cc\u0646 \u0642\u0627\u0639\u062f\u0647 \u0645\u0633\u062a\u062b\u0646\u06cc \u0646\u06cc\u0633\u062a \u0648 \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u06af\u0648\u0627\u0647 \u0632\u0646\u062f\u0647\u200c\u0627\u06cc \u0628\u0631 \u067e\u0648\u06cc\u0627\u06cc\u06cc \u0648 \u062a\u06a9\u0627\u0645\u0644 \u0645\u0633\u062a\u0645\u0631 \u0627\u06cc\u0646 \u0631\u0634\u062a\u0647\u060c \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0627\u06cc \u063a\u0646\u06cc \u0627\u0632 &#8220;\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc&#8221; (Technical Communications) \u0631\u0627 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f.<\/p>\n<p>\u0627\u0647\u0645\u06cc\u062a \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0646\u0647 \u062a\u0646\u0647\u0627 \u0628\u0647 \u062f\u0644\u06cc\u0644 \u0631\u06cc\u0634\u0647\u200c\u0647\u0627\u06cc \u0639\u0645\u06cc\u0642 \u0622\u0646 \u062f\u0631 \u0645\u0646\u0637\u0642 \u0631\u06cc\u0627\u0636\u06cc \u0648 \u0639\u0644\u0648\u0645 \u06a9\u0627\u0645\u067e\u06cc\u0648\u062a\u0631 \u0646\u0638\u0631\u06cc \u0627\u0633\u062a\u060c \u0628\u0644\u06a9\u0647 \u0628\u0647 \u0648\u0627\u0633\u0637\u0647 \u062a\u0648\u0627\u0646\u0627\u06cc\u06cc \u0645\u0646\u062d\u0635\u0631 \u0628\u0647 \u0641\u0631\u062f\u0634 \u062f\u0631 \u0645\u062f\u0644\u200c\u0633\u0627\u0632\u06cc \u062f\u0627\u0646\u0634\u060c \u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0648 \u062d\u0644 \u0645\u0633\u0627\u0626\u0644 \u067e\u06cc\u0686\u06cc\u062f\u0647\u060c \u0646\u0642\u0634 \u062d\u06cc\u0627\u062a\u06cc \u062f\u0631 \u062a\u0648\u0633\u0639\u0647 \u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc\u060c \u067e\u0627\u06cc\u06af\u0627\u0647\u200c\u0647\u0627\u06cc \u062f\u0627\u062f\u0647\u060c \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u062e\u0648\u062f\u06a9\u0627\u0631 \u0648 \u0628\u0633\u06cc\u0627\u0631\u06cc \u0627\u0632 \u062d\u0648\u0632\u0647\u200c\u0647\u0627\u06cc \u062f\u06cc\u06af\u0631 \u0627\u06cc\u0641\u0627 \u0645\u06cc\u200c\u06a9\u0646\u062f. \u0627\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633\u060c \u0628\u0627 \u067e\u0648\u0634\u0634 \u062f\u0627\u062f\u0646 \u0637\u06cc\u0641 \u0648\u0633\u06cc\u0639\u06cc \u0627\u0632 \u0645\u0628\u0627\u062d\u062b \u0627\u0632 <span class=\"highlight\">\u0645\u0628\u0627\u0646\u06cc \u0646\u0638\u0631\u06cc<\/span> \u06af\u0631\u0641\u062a\u0647 \u062a\u0627 <span class=\"highlight\">\u067e\u06cc\u0627\u062f\u0647\u200c\u0633\u0627\u0632\u06cc\u200c\u0647\u0627\u06cc \u0639\u0645\u0644\u06cc<\/span> \u0648 <span class=\"highlight\">\u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u06cc \u0646\u0648\u06cc\u0646<\/span>\u060c \u0646\u0634\u0627\u0646\u200c\u062f\u0647\u0646\u062f\u0647 \u0686\u0634\u0645\u200c\u0627\u0646\u062f\u0627\u0632 \u06af\u0633\u062a\u0631\u062f\u0647 \u0648 \u0686\u0646\u062f\u0648\u062c\u0647\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u062f\u0631 \u062f\u0646\u06cc\u0627\u06cc \u0627\u0645\u0631\u0648\u0632 \u0627\u0633\u062a. \u0645\u0642\u0627\u0644\u0627\u062a \u0627\u0631\u0627\u0626\u0647 \u0634\u062f\u0647 \u062f\u0631 ICLP 2021 \u0646\u0647 \u062a\u0646\u0647\u0627 \u0645\u0631\u0632\u0647\u0627\u06cc \u062f\u0627\u0646\u0634 \u0631\u0627 \u06af\u0633\u062a\u0631\u0634 \u0645\u06cc\u200c\u062f\u0647\u0646\u062f\u060c \u0628\u0644\u06a9\u0647 \u0645\u0633\u06cc\u0631\u0647\u0627\u06cc \u062c\u062f\u06cc\u062f\u06cc \u0628\u0631\u0627\u06cc \u062a\u062d\u0642\u06cc\u0642\u0627\u062a \u0622\u06cc\u0646\u062f\u0647 \u0648 \u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u06cc \u0639\u0645\u0644\u06cc \u062f\u0631 \u0635\u0646\u0627\u06cc\u0639 \u0645\u062e\u062a\u0644\u0641 \u062a\u0631\u0633\u06cc\u0645 \u0645\u06cc\u200c\u06a9\u0646\u0646\u062f.<\/p>\n<\/p><\/div>\n<div class=\"section-box\">\n<h2>\u0646\u0648\u06cc\u0633\u0646\u062f\u06af\u0627\u0646 \u0648 \u0632\u0645\u06cc\u0646\u0647 \u062a\u062d\u0642\u06cc\u0642<\/h2>\n<p>\u0627\u06cc\u0646 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u062a\u0648\u0633\u0637 \u062a\u06cc\u0645\u06cc \u0628\u0631\u062c\u0633\u062a\u0647 \u0627\u0632 \u0645\u062d\u0642\u0642\u0627\u0646 \u0648 \u0645\u062a\u062e\u0635\u0635\u0627\u0646 \u0646\u0627\u0645\u062f\u0627\u0631 \u062f\u0631 \u062d\u0648\u0632\u0647 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0648 \u0631\u0634\u062a\u0647\u200c\u0647\u0627\u06cc \u0645\u0631\u062a\u0628\u0637 \u062a\u062f\u0648\u06cc\u0646 \u0634\u062f\u0647 \u0627\u0633\u062a. \u0646\u0648\u06cc\u0633\u0646\u062f\u06af\u0627\u0646 \u0627\u06cc\u0646 \u0645\u062c\u0645\u0648\u0639\u0647 \u0639\u0628\u0627\u0631\u062a\u0646\u062f \u0627\u0632: <span class=\"highlight\">Andrea Formisano<\/span>\u060c <span class=\"highlight\">Yanhong Annie Liu<\/span>\u060c <span class=\"highlight\">Bart Bogaerts<\/span>\u060c <span class=\"highlight\">Alex Brik<\/span>\u060c <span class=\"highlight\">Veronica Dahl<\/span>\u060c <span class=\"highlight\">Carmine Dodaro<\/span>\u060c <span class=\"highlight\">Paul Fodor<\/span>\u060c <span class=\"highlight\">Gian Luca Pozzato<\/span>\u060c <span class=\"highlight\">Joost Vennekens<\/span>\u060c \u0648 <span class=\"highlight\">Neng-Fa Zhou<\/span>. \u062d\u0636\u0648\u0631 \u0686\u0646\u06cc\u0646 \u0627\u0633\u0627\u0645\u06cc \u0634\u0646\u0627\u062e\u062a\u0647 \u0634\u062f\u0647\u200c\u0627\u06cc \u062f\u0631 \u0644\u06cc\u0633\u062a \u0646\u0648\u06cc\u0633\u0646\u062f\u06af\u0627\u0646\u060c \u0646\u0634\u0627\u0646\u200c\u062f\u0647\u0646\u062f\u0647 \u0639\u0645\u0642 \u0648 \u06af\u0633\u062a\u0631\u062f\u06af\u06cc \u062f\u0627\u0646\u0634 \u0648 \u062a\u062c\u0631\u0628\u0647\u200c\u0627\u06cc \u0627\u0633\u062a \u06a9\u0647 \u062f\u0631 \u0627\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u0647 \u0627\u0634\u062a\u0631\u0627\u06a9 \u06af\u0630\u0627\u0634\u062a\u0647 \u0634\u062f\u0647 \u0627\u0633\u062a.<\/p>\n<p>\u0647\u0631 \u06cc\u06a9 \u0627\u0632 \u0627\u06cc\u0646 \u0645\u062d\u0642\u0642\u0627\u0646\u060c \u0628\u0627 \u062a\u062e\u0635\u0635\u200c\u0647\u0627\u06cc \u0641\u0631\u062f\u06cc \u062e\u0648\u062f \u062f\u0631 \u0628\u062e\u0634\u200c\u0647\u0627\u06cc \u0645\u062e\u062a\u0644\u0641 <span class=\"highlight\">\u0645\u0646\u0637\u0642 \u062f\u0631 \u0639\u0644\u0648\u0645 \u06a9\u0627\u0645\u067e\u06cc\u0648\u062a\u0631<\/span> \u0648 <span class=\"highlight\">\u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc<\/span>\u060c \u0628\u0647 \u063a\u0646\u0627\u06cc \u0627\u06cc\u0646 \u0645\u062c\u0645\u0648\u0639\u0647 \u0627\u0641\u0632\u0648\u062f\u0647\u200c\u0627\u0646\u062f. \u062a\u0646\u0648\u0639 \u062f\u06cc\u062f\u06af\u0627\u0647\u200c\u0647\u0627 \u0648 \u0632\u0645\u06cc\u0646\u0647\u200c\u0647\u0627\u06cc \u062a\u062e\u0635\u0635\u06cc \u0646\u0648\u06cc\u0633\u0646\u062f\u06af\u0627\u0646\u060c \u0627\u0645\u06a9\u0627\u0646 \u0628\u0631\u0631\u0633\u06cc \u062c\u0627\u0645\u0639 \u0645\u0648\u0636\u0648\u0639\u0627\u062a \u0645\u062e\u062a\u0644\u0641 \u0631\u0627 \u0641\u0631\u0627\u0647\u0645 \u0645\u06cc\u200c\u0622\u0648\u0631\u062f. \u0628\u0631\u062e\u06cc \u0627\u0632 \u0622\u0646\u200c\u0647\u0627 \u0628\u0631 \u062c\u0646\u0628\u0647\u200c\u0647\u0627\u06cc \u0646\u0638\u0631\u06cc \u0648 \u0645\u0628\u0627\u0646\u06cc \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u0645\u062a\u0645\u0631\u06a9\u0632 \u0647\u0633\u062a\u0646\u062f\u060c \u062f\u0631 \u062d\u0627\u0644\u06cc \u06a9\u0647 \u0628\u0631\u062e\u06cc \u062f\u06cc\u06af\u0631 \u0628\u0647 \u0633\u0645\u062a <span class=\"highlight\">\u067e\u06cc\u0627\u062f\u0647\u200c\u0633\u0627\u0632\u06cc\u200c\u0647\u0627\u06cc \u06a9\u0627\u0631\u0622\u0645\u062f<\/span>\u060c <span class=\"highlight\">\u062a\u0648\u0633\u0639\u0647 \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc<\/span>\u060c \u06cc\u0627 <span class=\"highlight\">\u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u06cc \u0639\u0645\u0644\u06cc<\/span> \u062f\u0631 \u062d\u0648\u0632\u0647\u200c\u0647\u0627\u06cc\u06cc \u0645\u0627\u0646\u0646\u062f \u06cc\u0627\u062f\u06af\u06cc\u0631\u06cc \u0645\u0627\u0634\u06cc\u0646 \u0648 \u067e\u0631\u062f\u0627\u0632\u0634 \u0632\u0628\u0627\u0646 \u0637\u0628\u06cc\u0639\u06cc \u06af\u0631\u0627\u06cc\u0634 \u062f\u0627\u0631\u0646\u062f. \u0627\u06cc\u0646 \u0647\u0645\u06a9\u0627\u0631\u06cc \u0628\u06cc\u0646\u200c\u0631\u0634\u062a\u0647\u200c\u0627\u06cc\u060c \u062a\u0636\u0645\u06cc\u0646\u200c\u06a9\u0646\u0646\u062f\u0647 \u0645\u0642\u0627\u0644\u0627\u062a\u06cc \u0627\u0633\u062a \u06a9\u0647 \u0647\u0645 \u0627\u0632 \u0646\u0638\u0631 \u0646\u0638\u0631\u06cc \u0645\u0633\u062a\u062d\u06a9\u0645 \u0647\u0633\u062a\u0646\u062f \u0648 \u0647\u0645 \u0627\u0632 \u0642\u0627\u0628\u0644\u06cc\u062a \u06a9\u0627\u0631\u0628\u0631\u062f\u06cc \u0628\u0627\u0644\u0627\u06cc\u06cc \u0628\u0631\u062e\u0648\u0631\u062f\u0627\u0631\u0646\u062f \u0648 \u0628\u0647 \u067e\u06cc\u0634\u0631\u0641\u062a \u0647\u0631 \u062f\u0648 \u0632\u0645\u06cc\u0646\u0647 \u0645\u0646\u0637\u0642 \u062f\u0631 \u0639\u0644\u0648\u0645 \u06a9\u0627\u0645\u067e\u06cc\u0648\u062a\u0631 \u0648 \u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc \u06a9\u0645\u06a9 \u0634\u0627\u06cc\u0627\u0646\u06cc \u0645\u06cc\u200c\u06a9\u0646\u0646\u062f.<\/p>\n<\/p><\/div>\n<div class=\"section-box\">\n<h2>\u0686\u06a9\u06cc\u062f\u0647 \u0648 \u062e\u0644\u0627\u0635\u0647 \u0645\u062d\u062a\u0648\u0627<\/h2>\n<p>\u0686\u06a9\u06cc\u062f\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a ICLP 2021 \u0628\u0647 \u0648\u0636\u0648\u062d \u0646\u0634\u0627\u0646 \u0645\u06cc\u200c\u062f\u0647\u062f \u06a9\u0647 \u0627\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u0647 \u062f\u0646\u0628\u0627\u0644 \u062c\u0630\u0628 \u0645\u0634\u0627\u0631\u06a9\u062a\u200c\u0647\u0627 \u062f\u0631 \u062a\u0645\u0627\u0645\u06cc \u0632\u0645\u06cc\u0646\u0647\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0648\u062f\u0647 \u0627\u0633\u062a. \u0627\u06cc\u0646 \u0627\u0645\u0631 \u0634\u0627\u0645\u0644 \u0637\u06cc\u0641 \u06af\u0633\u062a\u0631\u062f\u0647\u200c\u0627\u06cc \u0627\u0632 \u0645\u0628\u0627\u062d\u062b \u0627\u0633\u062a \u06a9\u0647 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646 \u0622\u0646\u200c\u0647\u0627 \u0631\u0627 \u062f\u0631 \u062f\u0633\u062a\u0647\u200c\u0628\u0646\u062f\u06cc\u200c\u0647\u0627\u06cc \u0627\u0635\u0644\u06cc \u0632\u06cc\u0631 \u062e\u0644\u0627\u0635\u0647 \u06a9\u0631\u062f:<\/p>\n<ul>\n<li><strong>\u0645\u0628\u0627\u0646\u06cc (Foundations):<\/strong> \u0627\u06cc\u0646 \u0628\u062e\u0634 \u0628\u0647 \u0627\u0635\u0648\u0644 \u0646\u0638\u0631\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0645\u06cc\u200c\u067e\u0631\u062f\u0627\u0632\u062f. \u0645\u0628\u0627\u062d\u062b\u06cc \u0686\u0648\u0646 <span class=\"highlight\">\u0645\u0639\u0627\u0646\u06cc (Semantics)<\/span>\u060c <span class=\"highlight\">\u0641\u0631\u0645\u0627\u0644\u06cc\u0633\u0645\u200c\u0647\u0627 (Formalisms)<\/span>\u060c <span class=\"highlight\">\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u063a\u06cc\u0631\u06cc\u06a9\u0646\u0648\u0627\u062e\u062a (Nonmonotonic reasoning)<\/span> \u0648 <span class=\"highlight\">\u0628\u0627\u0632\u0646\u0645\u0627\u06cc\u06cc \u062f\u0627\u0646\u0634 (Knowledge representation)<\/span> \u062f\u0631 \u0627\u06cc\u0646 \u062f\u0633\u062a\u0647 \u0642\u0631\u0627\u0631 \u0645\u06cc\u200c\u06af\u06cc\u0631\u0646\u062f. \u0627\u06cc\u0646 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a \u0628\u0647 \u0639\u0645\u0642 \u0645\u0641\u0627\u0647\u06cc\u0645 \u0627\u0633\u0627\u0633\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0645\u06cc\u200c\u067e\u0631\u062f\u0627\u0632\u0646\u062f \u0648 \u067e\u0627\u06cc\u0647\u200c\u0647\u0627\u06cc \u0646\u0638\u0631\u06cc \u0644\u0627\u0632\u0645 \u0628\u0631\u0627\u06cc \u062a\u0648\u0633\u0639\u0647\u200c\u0647\u0627\u06cc \u0622\u06cc\u0646\u062f\u0647 \u0631\u0627 \u0641\u0631\u0627\u0647\u0645 \u0645\u06cc\u200c\u0622\u0648\u0631\u0646\u062f.<\/li>\n<li><strong>\u0645\u0628\u0627\u062d\u062b \u0632\u0628\u0627\u0646 (Languages issues):<\/strong> \u0627\u06cc\u0646 \u062f\u0633\u062a\u0647 \u0628\u0631 \u0631\u0648\u06cc \u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627 \u0648 \u0686\u0627\u0644\u0634\u200c\u0647\u0627\u06cc \u0637\u0631\u0627\u062d\u06cc \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u062a\u0645\u0631\u06a9\u0632 \u062f\u0627\u0631\u062f. \u0645\u0648\u0636\u0648\u0639\u0627\u062a\u06cc \u0645\u0627\u0646\u0646\u062f <span class=\"highlight\">\u0647\u0645\u200c\u0631\u0648\u0646\u062f\u06cc (Concurrency)<\/span>\u060c <span class=\"highlight\">\u0627\u0634\u06cc\u0627\u0621 (Objects)<\/span>\u060c <span class=\"highlight\">\u0647\u0645\u0627\u0647\u0646\u06af\u06cc (Coordination)<\/span>\u060c <span class=\"highlight\">\u0642\u0627\u0628\u0644\u06cc\u062a \u062a\u062d\u0631\u06a9 (Mobility)<\/span>\u060c <span class=\"highlight\">\u0645\u0631\u0627\u062a\u0628 \u0628\u0627\u0644\u0627\u062a\u0631 (Higher order)<\/span>\u060c <span class=\"highlight\">\u0627\u0646\u0648\u0627\u0639 (Types)<\/span>\u060c <span class=\"highlight\">\u0645\u062f\u0647\u0627 (Modes)<\/span>\u060c <span class=\"highlight\">\u0627\u0639\u0644\u0627\u0646\u200c\u0647\u0627 (Assertions)<\/span>\u060c <span class=\"highlight\">\u0645\u0627\u0698\u0648\u0644\u200c\u0647\u0627 (Modules)<\/span>\u060c <span class=\"highlight\">\u0645\u062a\u0627-\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc (Meta-programming)<\/span>\u060c \u0648 <span class=\"highlight\">\u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u062e\u0627\u0635 \u062f\u0627\u0645\u0646\u0647 \u0645\u0628\u062a\u0646\u06cc \u0628\u0631 \u0645\u0646\u0637\u0642 (Logic-based domain-specific languages)<\/span>\u060c \u0648 \u0647\u0645\u0686\u0646\u06cc\u0646 <span class=\"highlight\">\u062a\u06a9\u0646\u06cc\u06a9\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc (Programming techniques)<\/span> \u0645\u0648\u0631\u062f \u0628\u0631\u0631\u0633\u06cc \u0642\u0631\u0627\u0631 \u0645\u06cc\u200c\u06af\u06cc\u0631\u0646\u062f.<\/li>\n<li><strong>\u067e\u0634\u062a\u06cc\u0628\u0627\u0646\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc (Programming support):<\/strong> \u0627\u06cc\u0646 \u0628\u062e\u0634 \u0628\u0647 \u0627\u0628\u0632\u0627\u0631\u0647\u0627 \u0648 \u0631\u0648\u0634\u200c\u0647\u0627\u06cc\u06cc \u0645\u06cc\u200c\u067e\u0631\u062f\u0627\u0632\u062f \u06a9\u0647 \u0641\u0631\u0622\u06cc\u0646\u062f \u062a\u0648\u0633\u0639\u0647 \u0648 \u0646\u06af\u0647\u062f\u0627\u0631\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u0631\u0627 \u0628\u0647\u0628\u0648\u062f \u0645\u06cc\u200c\u0628\u062e\u0634\u0646\u062f. \u0627\u06cc\u0646\u200c\u0647\u0627 \u0634\u0627\u0645\u0644 <span class=\"highlight\">\u062a\u062d\u0644\u06cc\u0644 \u0628\u0631\u0646\u0627\u0645\u0647 (Program analysis)<\/span>\u060c <span class=\"highlight\">\u062a\u0628\u062f\u06cc\u0644 (Transformation)<\/span>\u060c <span class=\"highlight\">\u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc (Validation)<\/span>\u060c <span class=\"highlight\">\u062a\u0623\u06cc\u06cc\u062f (Verification)<\/span>\u060c <span class=\"highlight\">\u0627\u0634\u06a9\u0627\u0644\u200c\u0632\u062f\u0627\u06cc\u06cc (Debugging)<\/span>\u060c <span class=\"highlight\">\u067e\u0631\u0648\u0641\u0627\u06cc\u0644\u200c\u06af\u06cc\u0631\u06cc (Profiling)<\/span>\u060c <span class=\"highlight\">\u0622\u0632\u0645\u0627\u06cc\u0634 (Testing)<\/span> \u0648 <span class=\"highlight\">\u062a\u062c\u0633\u0645 \u0627\u062c\u0631\u0627 (Execution visualization)<\/span> \u0647\u0633\u062a\u0646\u062f \u06a9\u0647 \u0647\u0645\u06af\u06cc \u0628\u0647 \u06a9\u06cc\u0641\u06cc\u062a \u0648 \u06a9\u0627\u0631\u0627\u06cc\u06cc \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u06a9\u0645\u06a9 \u0645\u06cc\u200c\u06a9\u0646\u0646\u062f.<\/li>\n<li><strong>\u067e\u06cc\u0627\u062f\u0647\u200c\u0633\u0627\u0632\u06cc (Implementation):<\/strong> \u0627\u06cc\u0646 \u062f\u0633\u062a\u0647 \u0628\u0647 \u062c\u0646\u0628\u0647\u200c\u0647\u0627\u06cc \u0641\u0646\u06cc \u0648 \u0645\u0647\u0646\u062f\u0633\u06cc \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0645\u06cc\u200c\u067e\u0631\u062f\u0627\u0632\u062f. \u0645\u0628\u0627\u062d\u062b\u06cc \u0645\u0627\u0646\u0646\u062f <span class=\"highlight\">\u06a9\u0627\u0645\u067e\u0627\u06cc\u0644 (Compilation)<\/span>\u060c <span class=\"highlight\">\u0645\u0627\u0634\u06cc\u0646\u200c\u0647\u0627\u06cc \u0645\u062c\u0627\u0632\u06cc (Virtual machines)<\/span>\u060c <span class=\"highlight\">\u0645\u062f\u06cc\u0631\u06cc\u062a \u062d\u0627\u0641\u0638\u0647 (Memory management)<\/span>\u060c <span class=\"highlight\">\u0627\u062c\u0631\u0627\u06cc \u0645\u0648\u0627\u0632\u06cc \u0648 \u062a\u0648\u0632\u06cc\u0639\u200c\u0634\u062f\u0647 (Parallel and Distributed execution)<\/span>\u060c <span class=\"highlight\">\u0642\u0648\u0627\u0639\u062f \u0645\u062f\u06cc\u0631\u06cc\u062a \u0645\u062d\u062f\u0648\u062f\u06cc\u062a (Constraint handling rules)<\/span>\u060c <span class=\"highlight\">\u062c\u062f\u0648\u0644\u200c\u0628\u0646\u062f\u06cc (Tabling)<\/span>\u060c <span class=\"highlight\">\u0648\u0627\u0633\u0637\u200c\u0647\u0627\u06cc \u062e\u0627\u0631\u062c\u06cc (Foreign interfaces)<\/span> \u0648 <span class=\"highlight\">\u0648\u0627\u0633\u0637\u200c\u0647\u0627\u06cc \u06a9\u0627\u0631\u0628\u0631\u06cc (User interfaces)<\/span> \u062f\u0631 \u0627\u06cc\u0646 \u0628\u062e\u0634 \u0645\u0648\u0631\u062f \u062a\u0648\u062c\u0647 \u0642\u0631\u0627\u0631 \u0645\u06cc\u200c\u06af\u06cc\u0631\u0646\u062f.<\/li>\n<li><strong>\u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645\u200c\u0647\u0627\u06cc \u0645\u0631\u062a\u0628\u0637 \u0648 \u0647\u0645\u200c\u0627\u0641\u0632\u0627\u06cc\u06cc\u200c\u0647\u0627 (Related Paradigms and Synergies):<\/strong> \u0627\u06cc\u0646 \u0628\u062e\u0634 \u0628\u0647 \u0628\u0631\u0631\u0633\u06cc \u0627\u0631\u062a\u0628\u0627\u0637 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0627 \u0633\u0627\u06cc\u0631 \u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645\u200c\u0647\u0627 \u0648 \u0641\u0646\u0627\u0648\u0631\u06cc\u200c\u0647\u0627 \u0645\u06cc\u200c\u067e\u0631\u062f\u0627\u0632\u062f. \u0627\u0632 \u062c\u0645\u0644\u0647: <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0627\u0633\u062a\u0642\u0631\u0627\u06cc\u06cc \u0648 \u0647\u0645\u200c\u0627\u0633\u062a\u0642\u0631\u0627\u06cc\u06cc (Inductive and coinductive logic programming)<\/span>\u060c <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0645\u062d\u062f\u0648\u062f\u06cc\u062a\u06cc (Constraint logic programming)<\/span>\u060c <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u062c\u0645\u0648\u0639\u0647 \u062c\u0648\u0627\u0628 (Answer set programming &#8211; ASP)<\/span>\u060c <span class=\"highlight\">\u062a\u0639\u0627\u0645\u0644 \u0628\u0627 \u062d\u0644\u200c\u06a9\u0646\u0646\u062f\u0647\u200c\u0647\u0627\u06cc SAT\u060c SMT \u0648 CSP (Interaction with SAT, SMT and CSP solvers)<\/span>\u060c <span class=\"highlight\">\u0627\u062b\u0628\u0627\u062a \u0642\u0636\u06cc\u0647 (Theorem proving)<\/span>\u060c <span class=\"highlight\">\u0627\u0633\u062a\u062f\u0644\u0627\u0644 (Argumentation)<\/span>\u060c <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0627\u062d\u062a\u0645\u0627\u0644\u06cc (Probabilistic programming)<\/span> \u0648 <span class=\"highlight\">\u06cc\u0627\u062f\u06af\u06cc\u0631\u06cc \u0645\u0627\u0634\u06cc\u0646 (Machine learning)<\/span>.<\/li>\n<li><strong>\u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627 (Applications):<\/strong> \u0627\u06cc\u0646 \u062f\u0633\u062a\u0647 \u0646\u0634\u0627\u0646\u200c\u062f\u0647\u0646\u062f\u0647 \u06af\u0633\u062a\u0631\u062f\u06af\u06cc \u0646\u0641\u0648\u0630 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u062f\u0631 \u062d\u0648\u0632\u0647\u200c\u0647\u0627\u06cc \u0645\u062e\u062a\u0644\u0641 \u0627\u0633\u062a. \u0634\u0627\u0645\u0644 <span class=\"highlight\">\u067e\u0627\u06cc\u06af\u0627\u0647\u200c\u0647\u0627\u06cc \u062f\u0627\u062f\u0647 (Databases)<\/span>\u060c <span class=\"highlight\">\u0628\u06cc\u06af \u062f\u06cc\u062a\u0627 (Big data)<\/span>\u060c <span class=\"highlight\">\u06cc\u06a9\u067e\u0627\u0631\u0686\u0647\u200c\u0633\u0627\u0632\u06cc \u0648 \u0641\u062f\u0631\u0627\u0633\u06cc\u0648\u0646 \u062f\u0627\u062f\u0647 (Data integration and federation)<\/span>\u060c <span class=\"highlight\">\u0645\u0647\u0646\u062f\u0633\u06cc \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631 (Software engineering)<\/span>\u060c <span class=\"highlight\">\u067e\u0631\u062f\u0627\u0632\u0634 \u0632\u0628\u0627\u0646 \u0637\u0628\u06cc\u0639\u06cc (Natural language processing)<\/span>\u060c <span class=\"highlight\">\u0648\u0628 \u0648 \u0648\u0628 \u0645\u0639\u0646\u0627\u06cc\u06cc (Web and semantic web)<\/span>\u060c <span class=\"highlight\">\u0639\u0627\u0645\u0644\u200c\u0647\u0627 (Agents)<\/span>\u060c <span class=\"highlight\">\u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc (Artificial intelligence)<\/span>\u060c <span class=\"highlight\">\u0639\u0644\u0648\u0645 \u0632\u06cc\u0633\u062a\u06cc \u0645\u062d\u0627\u0633\u0628\u0627\u062a\u06cc (Computational life sciences)<\/span>\u060c <span class=\"highlight\">\u0627\u0645\u0646\u06cc\u062a \u0633\u0627\u06cc\u0628\u0631\u06cc (Cyber-security)<\/span>\u060c <span class=\"highlight\">\u0631\u0628\u0627\u062a\u06cc\u06a9 (Robotics)<\/span> \u0648 <span class=\"highlight\">\u0622\u0645\u0648\u0632\u0634 (Education)<\/span>.<\/li>\n<\/ul><\/div>\n<div class=\"section-box\">\n<h2>\u0631\u0648\u0634\u200c\u0634\u0646\u0627\u0633\u06cc \u062a\u062d\u0642\u06cc\u0642<\/h2>\n<p>\u0647\u0645\u0627\u0646\u0637\u0648\u0631 \u06a9\u0647 \u0627\u0632 \u06cc\u06a9 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u062c\u0627\u0645\u0639 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0627\u0646\u062a\u0638\u0627\u0631 \u0645\u06cc\u200c\u0631\u0648\u062f\u060c \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a ICLP 2021 \u0634\u0627\u0645\u0644 \u0637\u06cc\u0641 \u0648\u0633\u06cc\u0639\u06cc \u0627\u0632 \u0631\u0648\u0634\u200c\u0634\u0646\u0627\u0633\u06cc\u200c\u0647\u0627\u06cc \u062a\u062d\u0642\u06cc\u0642 \u0627\u0633\u062a \u06a9\u0647 \u0647\u0631 \u06cc\u06a9 \u0645\u062a\u0646\u0627\u0633\u0628 \u0628\u0627 \u0645\u0627\u0647\u06cc\u062a \u062e\u0627\u0635 \u0645\u0634\u06a9\u0644 \u0645\u0637\u0631\u062d \u0634\u062f\u0647\u060c \u0628\u0647 \u06a9\u0627\u0631 \u06af\u0631\u0641\u062a\u0647 \u0634\u062f\u0647\u200c\u0627\u0646\u062f. \u0627\u06cc\u0646 \u062a\u0646\u0648\u0639 \u0631\u0648\u0634\u200c\u0634\u0646\u0627\u062e\u062a\u06cc\u060c \u062e\u0648\u062f \u06cc\u06a9\u06cc \u0627\u0632 \u0646\u0642\u0627\u0637 \u0642\u0648\u062a \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0648 \u062c\u0627\u0645\u0639\u0647 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a\u06cc \u0622\u0646 \u0645\u062d\u0633\u0648\u0628 \u0645\u06cc\u200c\u0634\u0648\u062f. \u0645\u06cc\u200c\u062a\u0648\u0627\u0646 \u0631\u0648\u06cc\u06a9\u0631\u062f\u0647\u0627\u06cc \u0627\u0635\u0644\u06cc \u0631\u0627 \u0628\u0647 \u0634\u0631\u062d \u0632\u06cc\u0631 \u062f\u0633\u062a\u0647\u200c\u0628\u0646\u062f\u06cc \u06a9\u0631\u062f:<\/p>\n<ul>\n<li><strong>\u062a\u062d\u0642\u06cc\u0642 \u0646\u0638\u0631\u06cc \u0648 \u0641\u0631\u0645\u0627\u0644:<\/strong> \u0628\u0633\u06cc\u0627\u0631\u06cc \u0627\u0632 \u0645\u0642\u0627\u0644\u0627\u062a \u0628\u0631 \u062a\u0648\u0633\u0639\u0647 <span class=\"highlight\">\u0645\u062f\u0644\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u062c\u062f\u06cc\u062f<\/span>\u060c \u062a\u0639\u0631\u06cc\u0641 <span class=\"highlight\">\u0645\u0639\u0627\u0646\u06cc \u0631\u0633\u0645\u06cc (Formal Semantics)<\/span> \u0628\u0631\u0627\u06cc \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u062a\u0648\u0633\u0639\u0647\u200c\u06cc\u0627\u0641\u062a\u0647\u060c \u0648 \u0627\u062b\u0628\u0627\u062a <span class=\"highlight\">\u062e\u0648\u0627\u0635 \u0646\u0638\u0631\u06cc (Theoretical Properties)<\/span> \u0645\u0627\u0646\u0646\u062f \u0635\u062d\u062a\u060c \u06a9\u0627\u0645\u0644 \u0628\u0648\u062f\u0646 \u06cc\u0627 \u062e\u0627\u062a\u0645\u0647 \u06cc\u0627\u0641\u062a\u0646 (Termination) \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627 \u062a\u0645\u0631\u06a9\u0632 \u062f\u0627\u0631\u0646\u062f. \u0627\u06cc\u0646 \u0631\u0648\u06cc\u06a9\u0631\u062f \u0627\u063a\u0644\u0628 \u0627\u0632 \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u0631\u06cc\u0627\u0636\u06cc \u0648 \u0645\u0646\u0637\u0642 \u0635\u0648\u0631\u06cc \u0628\u0647\u0631\u0647 \u0645\u06cc\u200c\u0628\u0631\u062f \u062a\u0627 \u067e\u0627\u06cc\u0647\u200c\u0647\u0627\u06cc \u0645\u0633\u062a\u062d\u06a9\u0645\u06cc \u0628\u0631\u0627\u06cc \u062f\u0631\u06a9 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u0641\u0631\u0627\u0647\u0645 \u0622\u0648\u0631\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644\u060c \u062a\u0648\u0633\u0639\u0647 \u0641\u0631\u0645\u0627\u0644\u06cc\u0633\u0645\u200c\u0647\u0627\u06cc \u062c\u062f\u06cc\u062f \u0628\u0631\u0627\u06cc \u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u063a\u06cc\u0631\u06cc\u06a9\u0646\u0648\u0627\u062e\u062a \u06cc\u0627 \u0628\u0647\u0628\u0648\u062f \u0646\u0638\u0631\u06cc\u0647 <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u062c\u0645\u0648\u0639\u0647 \u062c\u0648\u0627\u0628<\/span> \u062f\u0631 \u0627\u06cc\u0646 \u062f\u0633\u062a\u0647 \u0642\u0631\u0627\u0631 \u0645\u06cc\u200c\u06af\u06cc\u0631\u062f.<\/li>\n<li><strong>\u062a\u062d\u0642\u06cc\u0642 \u0645\u0628\u062a\u0646\u06cc \u0628\u0631 \u0637\u0631\u0627\u062d\u06cc \u0648 \u067e\u06cc\u0627\u062f\u0647\u200c\u0633\u0627\u0632\u06cc:<\/strong> \u0628\u062e\u0634 \u0642\u0627\u0628\u0644 \u062a\u0648\u062c\u0647\u06cc \u0627\u0632 \u06a9\u0627\u0631\u0647\u0627 \u0628\u0647 <span class=\"highlight\">\u0637\u0631\u0627\u062d\u06cc \u0648 \u067e\u06cc\u0627\u062f\u0647\u200c\u0633\u0627\u0632\u06cc \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u060c \u0627\u0628\u0632\u0627\u0631\u0647\u0627 \u0648 \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u062c\u062f\u06cc\u062f<\/span> \u0627\u062e\u062a\u0635\u0627\u0635 \u062f\u0627\u0631\u062f. \u0627\u06cc\u0646 \u0645\u0642\u0627\u0644\u0627\u062a \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0634\u0627\u0645\u0644 \u062c\u0632\u0626\u06cc\u0627\u062a \u0645\u0639\u0645\u0627\u0631\u06cc \u06cc\u06a9 \u06a9\u0627\u0645\u067e\u0627\u06cc\u0644\u0631 \u062c\u062f\u06cc\u062f \u0628\u0631\u0627\u06cc \u06cc\u06a9 \u0632\u0628\u0627\u0646 \u0645\u0646\u0637\u0642\u06cc\u060c \u062a\u0648\u0633\u0639\u0647 \u06cc\u06a9 \u0645\u0627\u0634\u06cc\u0646 \u0645\u062c\u0627\u0632\u06cc \u06a9\u0627\u0631\u0622\u0645\u062f\u060c \u06cc\u0627 \u0633\u0627\u062e\u062a \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u0627\u0634\u06a9\u0627\u0644\u200c\u0632\u062f\u0627\u06cc\u06cc \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0628\u0631\u0646\u0627\u0645\u0647 \u0628\u0627\u0634\u0646\u062f. \u062a\u0627\u06a9\u06cc\u062f \u062f\u0631 \u0627\u06cc\u0646\u062c\u0627 \u0628\u0631 \u062c\u0646\u0628\u0647\u200c\u0647\u0627\u06cc \u0645\u0647\u0646\u062f\u0633\u06cc \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631 \u0648 \u0628\u0647\u06cc\u0646\u0647\u200c\u0633\u0627\u0632\u06cc \u0639\u0645\u0644\u06a9\u0631\u062f \u0627\u0633\u062a. \u0645\u0642\u0627\u0644\u0627\u062a\u06cc \u06a9\u0647 \u0628\u0647 <span class=\"highlight\">\u0645\u062f\u06cc\u0631\u06cc\u062a \u062d\u0627\u0641\u0638\u0647 \u062f\u0631 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u062a\u0628\u0644\u0647\u200c\u0633\u0627\u0632\u06cc (tabling)<\/span> \u06cc\u0627 <span class=\"highlight\">\u0627\u062c\u0631\u0627\u06cc \u0645\u0648\u0627\u0632\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc<\/span> \u0645\u06cc\u200c\u067e\u0631\u062f\u0627\u0632\u0646\u062f\u060c \u0646\u0645\u0648\u0646\u0647\u200c\u0647\u0627\u06cc\u06cc \u0627\u0632 \u0627\u06cc\u0646 \u062f\u0633\u062a\u0647 \u0647\u0633\u062a\u0646\u062f.<\/li>\n<li><strong>\u062a\u062d\u0642\u06cc\u0642 \u062a\u062c\u0631\u0628\u06cc \u0648 \u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u0639\u0645\u0644\u06a9\u0631\u062f:<\/strong> \u0627\u06cc\u0646 \u0631\u0648\u06cc\u06a9\u0631\u062f \u0634\u0627\u0645\u0644 \u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u0639\u0645\u0644\u06cc \u0627\u0644\u06af\u0648\u0631\u06cc\u062a\u0645\u200c\u0647\u0627\u060c \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627 \u06cc\u0627 \u062a\u06a9\u0646\u06cc\u06a9\u200c\u0647\u0627\u06cc \u062c\u062f\u06cc\u062f \u0627\u0632 \u0637\u0631\u06cc\u0642 <span class=\"highlight\">\u0622\u0632\u0645\u0627\u06cc\u0634\u200c\u0647\u0627\u06cc \u06a9\u0646\u062a\u0631\u0644\u200c\u0634\u062f\u0647<\/span> \u0648 \u0645\u0642\u0627\u06cc\u0633\u0647 \u0622\u0646\u200c\u0647\u0627 \u0628\u0627 \u0631\u0648\u0634\u200c\u0647\u0627\u06cc \u0645\u0648\u062c\u0648\u062f \u0627\u0633\u062a. \u0645\u062d\u0642\u0642\u0627\u0646 \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0627\u0632 \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0647\u0627\u06cc \u062f\u0627\u062f\u0647 \u0627\u0633\u062a\u0627\u0646\u062f\u0627\u0631\u062f (benchmarks) \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0631\u062f\u0647\u060c \u0632\u0645\u0627\u0646 \u0627\u062c\u0631\u0627\u060c \u0645\u0635\u0631\u0641 \u062d\u0627\u0641\u0638\u0647\u060c \u0645\u0642\u06cc\u0627\u0633\u200c\u067e\u0630\u06cc\u0631\u06cc \u0648 \u062f\u0642\u062a \u0631\u0648\u0634\u200c\u0647\u0627\u06cc \u062e\u0648\u062f \u0631\u0627 \u0627\u0646\u062f\u0627\u0632\u0647\u200c\u06af\u06cc\u0631\u06cc \u06a9\u0646\u0646\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644\u060c \u0627\u0631\u0632\u06cc\u0627\u0628\u06cc \u06a9\u0627\u0631\u0627\u06cc\u06cc \u06cc\u06a9 <span class=\"highlight\">\u062d\u0644\u200c\u06a9\u0646\u0646\u062f\u0647 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a (Constraint Solver)<\/span> \u062c\u062f\u06cc\u062f \u0628\u0631 \u0631\u0648\u06cc \u0645\u0633\u0627\u0626\u0644 \u0645\u062e\u062a\u0644\u0641.<\/li>\n<li><strong>\u062a\u062d\u0642\u06cc\u0642 \u06a9\u0627\u0631\u0628\u0631\u062f\u06cc \u0648 \u0645\u0637\u0627\u0644\u0639\u0627\u062a \u0645\u0648\u0631\u062f\u06cc:<\/strong> \u0627\u06cc\u0646 \u062f\u0633\u062a\u0647 \u0634\u0627\u0645\u0644 \u0645\u0642\u0627\u0644\u0627\u062a\u06cc \u0627\u0633\u062a \u06a9\u0647 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0631\u0627 \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u062d\u0644 \u0645\u0633\u0627\u0626\u0644 \u0648\u0627\u0642\u0639\u06cc \u062f\u0631 \u062f\u0627\u0645\u0646\u0647\u200c\u0647\u0627\u06cc \u062e\u0627\u0635<\/span> \u0628\u0647 \u06a9\u0627\u0631 \u0645\u06cc\u200c\u06af\u06cc\u0631\u0646\u062f. \u0627\u06cc\u0646 \u0645\u0637\u0627\u0644\u0639\u0627\u062a \u0645\u0645\u06a9\u0646 \u0627\u0633\u062a \u0634\u0627\u0645\u0644 \u0637\u0631\u0627\u062d\u06cc \u06cc\u06a9 \u0633\u06cc\u0633\u062a\u0645 \u0645\u0628\u062a\u0646\u06cc \u0628\u0631 \u062f\u0627\u0646\u0634 \u0628\u0631\u0627\u06cc \u062a\u0634\u062e\u06cc\u0635 \u0628\u06cc\u0645\u0627\u0631\u06cc\u060c \u062a\u0648\u0633\u0639\u0647 \u06cc\u06a9 \u0639\u0627\u0645\u0644 \u0647\u0648\u0634\u0645\u0646\u062f \u0628\u0631\u0627\u06cc \u0631\u0628\u0627\u062a\u06cc\u06a9\u060c \u06cc\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u062a\u062d\u0644\u06cc\u0644 \u0627\u0645\u0646\u06cc\u062a \u0633\u0627\u06cc\u0628\u0631\u06cc<\/span> \u0628\u0627\u0634\u062f. \u062f\u0631 \u0627\u06cc\u0646 \u0631\u0648\u06cc\u06a9\u0631\u062f\u060c \u062a\u0627\u06a9\u06cc\u062f \u0628\u0631 \u0686\u06af\u0648\u0646\u06af\u06cc \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0642\u062f\u0631\u062a \u0628\u06cc\u0627\u0646 \u0648 \u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0645\u0646\u0637\u0642\u06cc \u0628\u0631\u0627\u06cc \u0627\u06cc\u062c\u0627\u062f \u0631\u0627\u0647\u200c\u062d\u0644\u200c\u0647\u0627\u06cc \u0639\u0645\u0644\u06cc \u0648 \u0645\u0624\u062b\u0631 \u0627\u0633\u062a.<\/li>\n<li><strong>\u0647\u0645\u200c\u0627\u0641\u0632\u0627\u06cc\u06cc \u0628\u06cc\u0646 \u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645\u200c\u0647\u0627:<\/strong> \u06cc\u06a9 \u0631\u0648\u0634\u200c\u0634\u0646\u0627\u0633\u06cc \u0645\u0647\u0645 \u062f\u06cc\u06af\u0631\u060c \u0628\u0631\u0631\u0633\u06cc <span class=\"highlight\">\u062a\u0631\u06a9\u06cc\u0628 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0627 \u0633\u0627\u06cc\u0631 \u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc<\/span> (\u0645\u0627\u0646\u0646\u062f \u06cc\u0627\u062f\u06af\u06cc\u0631\u06cc \u0645\u0627\u0634\u06cc\u0646\u060c \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0627\u062d\u062a\u0645\u0627\u0644\u06cc \u06cc\u0627 SAT solving) \u0627\u0633\u062a. \u0627\u06cc\u0646 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a \u0628\u0647 \u062f\u0646\u0628\u0627\u0644 \u06a9\u0634\u0641 \u0646\u0642\u0627\u0637 \u0642\u0648\u062a \u0647\u0631 \u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645 \u0648 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0622\u0646\u200c\u0647\u0627 \u062f\u0631 \u06a9\u0646\u0627\u0631 \u06cc\u06a9\u062f\u06cc\u06af\u0631 \u0628\u0631\u0627\u06cc \u062d\u0644 \u0645\u0633\u0627\u0626\u0644 \u067e\u06cc\u0686\u06cc\u062f\u0647\u200c\u062a\u0631 \u0647\u0633\u062a\u0646\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644\u060c \u062a\u0631\u06a9\u06cc\u0628 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0627\u0633\u062a\u0642\u0631\u0627\u06cc\u06cc \u0628\u0627 \u062a\u06a9\u0646\u06cc\u06a9\u200c\u0647\u0627\u06cc \u06cc\u0627\u062f\u06af\u06cc\u0631\u06cc \u0645\u0627\u0634\u06cc\u0646.<\/li>\n<\/ul>\n<p>\u062f\u0631 \u0645\u062c\u0645\u0648\u0639\u060c \u0627\u06cc\u0646 \u062a\u0646\u0648\u0639 \u0631\u0648\u0634\u200c\u0634\u0646\u0627\u0633\u06cc \u0646\u0634\u0627\u0646\u200c\u062f\u0647\u0646\u062f\u0647 \u0645\u0627\u0647\u06cc\u062a \u0628\u06cc\u0646\u200c\u0631\u0634\u062a\u0647\u200c\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0648 \u062a\u0639\u0647\u062f \u062c\u0627\u0645\u0639\u0647 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a\u06cc \u0622\u0646 \u0628\u0647 \u067e\u06cc\u0634\u0631\u0641\u062a \u0647\u0645\u0632\u0645\u0627\u0646 \u062f\u0631 \u0627\u0628\u0639\u0627\u062f \u0646\u0638\u0631\u06cc\u060c \u0645\u0647\u0646\u062f\u0633\u06cc \u0648 \u06a9\u0627\u0631\u0628\u0631\u062f\u06cc \u0627\u0633\u062a.<\/p>\n<\/p><\/div>\n<div class=\"section-box\">\n<h2>\u06cc\u0627\u0641\u062a\u0647\u200c\u0647\u0627\u06cc \u06a9\u0644\u06cc\u062f\u06cc<\/h2>\n<p>\u0645\u0642\u0627\u0644\u0627\u062a \u0627\u0631\u0627\u0626\u0647 \u0634\u062f\u0647 \u062f\u0631 ICLP 2021 \u0645\u062c\u0645\u0648\u0639\u0647\u200c\u0627\u06cc \u0627\u0632 \u06cc\u0627\u0641\u062a\u0647\u200c\u0647\u0627\u06cc \u06a9\u0644\u06cc\u062f\u06cc \u0631\u0627 \u062f\u0631 \u062a\u0645\u0627\u0645\u06cc \u062d\u0648\u0632\u0647\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0647 \u0646\u0645\u0627\u06cc\u0634 \u0645\u06cc\u200c\u06af\u0630\u0627\u0631\u0646\u062f \u06a9\u0647 \u0646\u0634\u0627\u0646\u200c\u062f\u0647\u0646\u062f\u0647 \u067e\u06cc\u0634\u0631\u0641\u062a\u200c\u0647\u0627\u06cc \u0642\u0627\u0628\u0644 \u062a\u0648\u062c\u0647 \u062f\u0631 \u0627\u06cc\u0646 \u0631\u0634\u062a\u0647 \u0647\u0633\u062a\u0646\u062f. \u0627\u0632 \u0645\u0647\u0645\u200c\u062a\u0631\u06cc\u0646 \u0627\u06cc\u0646 \u06cc\u0627\u0641\u062a\u0647\u200c\u0647\u0627 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646 \u0628\u0647 \u0645\u0648\u0627\u0631\u062f \u0632\u06cc\u0631 \u0627\u0634\u0627\u0631\u0647 \u06a9\u0631\u062f:<\/p>\n<ul>\n<li><strong>\u067e\u06cc\u0634\u0631\u0641\u062a \u062f\u0631 \u0645\u0628\u0627\u0646\u06cc \u0646\u0638\u0631\u06cc \u0648 \u0641\u0631\u0645\u0627\u0644\u06cc\u0633\u0645\u200c\u0647\u0627:<\/strong> \u062a\u062d\u0642\u06cc\u0642\u0627\u062a \u062c\u062f\u06cc\u062f\u060c \u0646\u0638\u0631\u06cc\u0647\u200c\u0647\u0627\u06cc \u0639\u0645\u06cc\u0642\u200c\u062a\u0631\u06cc \u0631\u0627 \u062f\u0631 \u0645\u0648\u0631\u062f <span class=\"highlight\">\u0645\u0639\u0627\u0646\u06cc \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647<\/span>\u060c \u0628\u0647 \u0648\u06cc\u0698\u0647 \u062f\u0631 \u0632\u0645\u06cc\u0646\u0647 <span class=\"highlight\">\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u063a\u06cc\u0631\u06cc\u06a9\u0646\u0648\u0627\u062e\u062a<\/span> \u0648 <span class=\"highlight\">\u0628\u0627\u0632\u0646\u0645\u0627\u06cc\u06cc \u062f\u0627\u0646\u0634<\/span> \u0627\u0631\u0627\u0626\u0647 \u062f\u0627\u062f\u0647\u200c\u0627\u0646\u062f. \u0627\u06cc\u0646 \u0627\u0645\u0631 \u0628\u0647 \u062a\u0648\u0633\u0639\u0647 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0627\u0633\u062a\u062f\u0644\u0627\u0644\u06cc \u0642\u0648\u06cc\u200c\u062a\u0631 \u0648 \u0645\u0646\u0639\u0637\u0641\u200c\u062a\u0631 \u0645\u0646\u062c\u0631 \u0645\u06cc\u200c\u0634\u0648\u062f \u06a9\u0647 \u0645\u06cc\u200c\u062a\u0648\u0627\u0646\u0646\u062f \u0628\u0627 \u0639\u062f\u0645 \u0642\u0637\u0639\u06cc\u062a \u0648 \u0627\u0637\u0644\u0627\u0639\u0627\u062a \u0646\u0627\u0642\u0635 \u0628\u0647\u062a\u0631 \u06a9\u0646\u0627\u0631 \u0628\u06cc\u0627\u06cc\u0646\u062f.<\/li>\n<li><strong>\u0627\u0641\u0632\u0627\u06cc\u0634 \u06a9\u0627\u0631\u0627\u06cc\u06cc \u062f\u0631 \u067e\u06cc\u0627\u062f\u0647\u200c\u0633\u0627\u0632\u06cc \u0648 \u0627\u062c\u0631\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627:<\/strong> \u0628\u0647\u0628\u0648\u062f\u0647\u0627\u06cc \u0686\u0634\u0645\u06af\u06cc\u0631\u06cc \u062f\u0631 <span class=\"highlight\">\u06a9\u0627\u0645\u067e\u0627\u06cc\u0644\u0631\u0647\u0627<\/span>\u060c <span class=\"highlight\">\u0645\u0627\u0634\u06cc\u0646\u200c\u0647\u0627\u06cc \u0645\u062c\u0627\u0632\u06cc<\/span> \u0648 \u062a\u06a9\u0646\u06cc\u06a9\u200c\u0647\u0627\u06cc <span class=\"highlight\">\u0645\u062f\u06cc\u0631\u06cc\u062a \u062d\u0627\u0641\u0638\u0647<\/span> \u0628\u0631\u0627\u06cc \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u0645\u0634\u0627\u0647\u062f\u0647 \u0634\u062f\u0647 \u0627\u0633\u062a. \u0628\u0647 \u062e\u0635\u0648\u0635\u060c \u067e\u06cc\u0634\u0631\u0641\u062a\u200c\u0647\u0627\u06cc\u06cc \u062f\u0631 <span class=\"highlight\">\u062a\u06a9\u0646\u06cc\u06a9\u200c\u0647\u0627\u06cc \u062a\u0628\u0644\u0647\u200c\u0633\u0627\u0632\u06cc (Tabling)<\/span> \u0628\u0631\u0627\u06cc \u0628\u0647\u0628\u0648\u062f \u06a9\u0627\u0631\u0627\u06cc\u06cc \u0627\u062c\u0631\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u0648 \u0647\u0645\u0686\u0646\u06cc\u0646 \u0631\u0648\u0634\u200c\u0647\u0627\u06cc \u062c\u062f\u06cc\u062f \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u0627\u062c\u0631\u0627\u06cc \u0645\u0648\u0627\u0632\u06cc \u0648 \u062a\u0648\u0632\u06cc\u0639\u200c\u0634\u062f\u0647<\/span> \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u06a9\u0647 \u0627\u0645\u06a9\u0627\u0646 \u067e\u0631\u062f\u0627\u0632\u0634 \u062d\u062c\u0645 \u0632\u06cc\u0627\u062f\u06cc \u0627\u0632 \u062f\u0627\u062f\u0647\u200c\u0647\u0627 \u0631\u0627 \u0641\u0631\u0627\u0647\u0645 \u0645\u06cc\u200c\u06a9\u0646\u0646\u062f.<\/li>\n<li><strong>\u062a\u0648\u0633\u0639\u0647 \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc:<\/strong> \u0645\u0642\u0627\u0644\u0627\u062a \u0645\u062a\u0639\u062f\u062f\u06cc \u0628\u0647 \u0645\u0639\u0631\u0641\u06cc <span class=\"highlight\">\u0642\u0627\u0628\u0644\u06cc\u062a\u200c\u0647\u0627\u06cc \u062c\u062f\u06cc\u062f \u062f\u0631 \u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc<\/span>\u060c \u0645\u0627\u0646\u0646\u062f \u067e\u0634\u062a\u06cc\u0628\u0627\u0646\u06cc \u0628\u0647\u062a\u0631 \u0627\u0632 <span class=\"highlight\">\u0647\u0645\u200c\u0631\u0648\u0646\u062f\u06cc<\/span>\u060c <span class=\"highlight\">\u0645\u062f\u06cc\u0631\u06cc\u062a \u0627\u0646\u0648\u0627\u0639 (Type Systems)<\/span> \u067e\u06cc\u0634\u0631\u0641\u062a\u0647\u060c \u0648 <span class=\"highlight\">\u0645\u0627\u0698\u0648\u0644\u200c\u0628\u0646\u062f\u06cc<\/span> \u0628\u0631\u0627\u06cc \u0633\u0627\u062e\u062a \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627\u06cc \u0628\u0632\u0631\u06af\u200c\u062a\u0631 \u0648 \u067e\u06cc\u0686\u06cc\u062f\u0647\u200c\u062a\u0631 \u067e\u0631\u062f\u0627\u062e\u062a\u0647\u200c\u0627\u0646\u062f. \u0647\u0645\u0686\u0646\u06cc\u0646\u060c \u062a\u0648\u0633\u0639\u0647 <span class=\"highlight\">\u0632\u0628\u0627\u0646\u200c\u0647\u0627\u06cc \u062e\u0627\u0635 \u062f\u0627\u0645\u0646\u0647 (Domain-Specific Languages &#8211; DSLs)<\/span> \u0645\u0628\u062a\u0646\u06cc \u0628\u0631 \u0645\u0646\u0637\u0642 \u0628\u0631\u0627\u06cc \u062d\u0644 \u0645\u0633\u0627\u0626\u0644 \u062f\u0631 \u062d\u0648\u0632\u0647\u200c\u0647\u0627\u06cc \u062a\u062e\u0635\u0635\u06cc.<\/li>\n<li><strong>\u0647\u0645\u200c\u0627\u0641\u0632\u0627\u06cc\u06cc \u0628\u0627 \u0633\u0627\u06cc\u0631 \u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645\u200c\u0647\u0627:<\/strong> \u06cc\u06a9\u06cc \u0627\u0632 \u0645\u0647\u0645\u200c\u062a\u0631\u06cc\u0646 \u0631\u0648\u0646\u062f\u0647\u0627\u060c <span class=\"highlight\">\u0627\u062f\u063a\u0627\u0645 \u0645\u0648\u0641\u0642\u06cc\u062a\u200c\u0622\u0645\u06cc\u0632 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0627 \u0633\u0627\u06cc\u0631 \u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645\u200c\u0647\u0627<\/span> \u0627\u0633\u062a. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644\u060c \u062a\u0631\u06a9\u06cc\u0628 <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0627 \u06cc\u0627\u062f\u06af\u06cc\u0631\u06cc \u0645\u0627\u0634\u06cc\u0646<\/span> (\u0628\u0647 \u0648\u06cc\u0698\u0647 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0627\u0633\u062a\u0642\u0631\u0627\u06cc\u06cc) \u0628\u0631\u0627\u06cc \u0627\u0633\u062a\u062e\u0631\u0627\u062c \u0642\u0648\u0627\u0639\u062f \u0648 \u062f\u0627\u0646\u0634 \u0627\u0632 \u062f\u0627\u062f\u0647\u200c\u0647\u0627\u060c \u06cc\u0627 \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0645\u062d\u062f\u0648\u062f\u06cc\u062a\u06cc (CLP)<\/span> \u0648 <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u062c\u0645\u0648\u0639\u0647 \u062c\u0648\u0627\u0628 (ASP)<\/span> \u062f\u0631 \u06a9\u0646\u0627\u0631 <span class=\"highlight\">\u062d\u0644\u200c\u06a9\u0646\u0646\u062f\u0647\u200c\u0647\u0627\u06cc SAT\/SMT<\/span> \u0628\u0631\u0627\u06cc \u062d\u0644 \u0645\u0633\u0627\u0626\u0644 \u0628\u0647\u06cc\u0646\u0647\u200c\u0633\u0627\u0632\u06cc \u0648 \u062a\u0635\u0645\u06cc\u0645\u200c\u06af\u06cc\u0631\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647.<\/li>\n<li><strong>\u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u067e\u06cc\u0634\u0631\u0641\u062a\u0647 \u0628\u0631\u0627\u06cc \u067e\u0634\u062a\u06cc\u0628\u0627\u0646\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc:<\/strong> \u062a\u0648\u0633\u0639\u0647 \u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u062c\u062f\u06cc\u062f \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u062a\u062d\u0644\u06cc\u0644 \u0627\u0633\u062a\u0627\u062a\u06cc\u06a9 \u0648 \u062f\u06cc\u0646\u0627\u0645\u06cc\u06a9 \u0628\u0631\u0646\u0627\u0645\u0647<\/span>\u060c <span class=\"highlight\">\u062a\u0623\u06cc\u06cc\u062f \u0631\u0633\u0645\u06cc<\/span>\u060c <span class=\"highlight\">\u0627\u0634\u06a9\u0627\u0644\u200c\u0632\u062f\u0627\u06cc\u06cc \u0647\u0648\u0634\u0645\u0646\u062f<\/span> \u0648 <span class=\"highlight\">\u062a\u062c\u0633\u0645 \u0627\u062c\u0631\u0627<\/span> \u06a9\u0647 \u0628\u0647 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u0627\u0646 \u06a9\u0645\u06a9 \u0645\u06cc\u200c\u06a9\u0646\u062f \u062a\u0627 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc \u0642\u0627\u0628\u0644 \u0627\u0639\u062a\u0645\u0627\u062f\u062a\u0631 \u0648 \u06a9\u0627\u0631\u0622\u0645\u062f\u062a\u0631\u06cc \u062a\u0648\u0644\u06cc\u062f \u06a9\u0646\u0646\u062f.<\/li>\n<\/ul>\n<p>\u0627\u06cc\u0646 \u06cc\u0627\u0641\u062a\u0647\u200c\u0647\u0627 \u062f\u0631 \u0645\u062c\u0645\u0648\u0639 \u0646\u0634\u0627\u0646\u200c\u062f\u0647\u0646\u062f\u0647 \u06cc\u06a9 \u0631\u0634\u062a\u0647 \u067e\u0648\u06cc\u0627 \u0647\u0633\u062a\u0646\u062f \u06a9\u0647 \u0646\u0647 \u062a\u0646\u0647\u0627 \u0628\u0647 \u0639\u0645\u0642 \u0646\u0638\u0631\u06cc \u062e\u0648\u062f \u0645\u06cc\u200c\u0627\u0641\u0632\u0627\u06cc\u062f\u060c \u0628\u0644\u06a9\u0647 \u0628\u0647 \u0637\u0648\u0631 \u0645\u062f\u0627\u0648\u0645 \u0631\u0627\u0647 \u062d\u0644\u200c\u0647\u0627\u06cc \u0639\u0645\u0644\u06cc \u0648 \u0642\u062f\u0631\u062a\u0645\u0646\u062f\u06cc \u0628\u0631\u0627\u06cc \u0686\u0627\u0644\u0634\u200c\u0647\u0627\u06cc \u0645\u062d\u0627\u0633\u0628\u0627\u062a\u06cc \u0645\u0639\u0627\u0635\u0631 \u0627\u0631\u0627\u0626\u0647 \u0645\u06cc\u200c\u062f\u0647\u062f.<\/p>\n<\/p><\/div>\n<div class=\"section-box\">\n<h2>\u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627 \u0648 \u062f\u0633\u062a\u0627\u0648\u0631\u062f\u0647\u0627<\/h2>\n<p>\u062a\u0648\u0627\u0646\u0627\u06cc\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u062f\u0631 \u0645\u062f\u0644\u200c\u0633\u0627\u0632\u06cc \u0627\u0633\u062a\u062f\u0644\u0627\u0644\u060c \u062f\u0627\u0646\u0634 \u0648 \u0645\u062d\u062f\u0648\u062f\u06cc\u062a\u200c\u0647\u0627\u060c \u0622\u0646 \u0631\u0627 \u0628\u0647 \u0627\u0628\u0632\u0627\u0631\u06cc \u0642\u062f\u0631\u062a\u0645\u0646\u062f \u0628\u0631\u0627\u06cc \u062d\u0644 \u0645\u0633\u0627\u0626\u0644 \u062f\u0631 \u062f\u0627\u0645\u0646\u0647\u200c\u0647\u0627\u06cc \u06a9\u0627\u0631\u0628\u0631\u062f\u06cc \u0645\u062e\u062a\u0644\u0641 \u062a\u0628\u062f\u06cc\u0644 \u06a9\u0631\u062f\u0647 \u0627\u0633\u062a. \u0645\u0642\u0627\u0644\u0627\u062a ICLP 2021 \u0637\u06cc\u0641 \u06af\u0633\u062a\u0631\u062f\u0647\u200c\u0627\u06cc \u0627\u0632 \u0627\u06cc\u0646 \u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627 \u0648 \u062f\u0633\u062a\u0627\u0648\u0631\u062f\u0647\u0627\u06cc \u0645\u0631\u062a\u0628\u0637 \u0631\u0627 \u0628\u0647 \u0646\u0645\u0627\u06cc\u0634 \u0645\u06cc\u200c\u06af\u0630\u0627\u0631\u0646\u062f:<\/p>\n<ul>\n<li><strong>\u067e\u0627\u06cc\u06af\u0627\u0647\u200c\u0647\u0627\u06cc \u062f\u0627\u062f\u0647 \u0648 \u0628\u06cc\u06af \u062f\u06cc\u062a\u0627:<\/strong> \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u06cc\u06a9 \u0632\u0628\u0627\u0646 \u0637\u0628\u06cc\u0639\u06cc \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u067e\u0631\u0633\u200c\u0648\u062c\u0648\u06cc \u0627\u0639\u0644\u0627\u0646\u06cc (Declarative Querying)<\/span> \u0648 <span class=\"highlight\">\u06cc\u06a9\u067e\u0627\u0631\u0686\u0647\u200c\u0633\u0627\u0632\u06cc \u062f\u0627\u062f\u0647\u200c\u0647\u0627<\/span> \u0634\u0646\u0627\u062e\u062a\u0647 \u0645\u06cc\u200c\u0634\u0648\u062f. \u062f\u0633\u062a\u0627\u0648\u0631\u062f\u0647\u0627 \u0634\u0627\u0645\u0644 \u062a\u0648\u0633\u0639\u0647 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc\u06cc \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u0645\u062f\u06cc\u0631\u06cc\u062a \u062f\u0627\u062f\u0647\u200c\u0647\u0627\u06cc \u062d\u062c\u06cc\u0645 (Big Data)<\/span>\u060c <span class=\"highlight\">\u0627\u0633\u062a\u0646\u062a\u0627\u062c \u0627\u0632 \u067e\u0627\u06cc\u06af\u0627\u0647\u200c\u0647\u0627\u06cc \u062f\u0627\u0646\u0634 \u0628\u0632\u0631\u06af<\/span> \u0648 \u0627\u06cc\u062c\u0627\u062f <span class=\"highlight\">\u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0641\u062f\u0631\u0627\u0633\u06cc\u0648\u0646 \u062f\u0627\u062f\u0647<\/span> \u06a9\u0647 \u0627\u0632 \u0645\u0646\u0627\u0628\u0639 \u0645\u062e\u062a\u0644\u0641 \u0627\u0637\u0644\u0627\u0639\u0627\u062a \u0631\u0627 \u062c\u0645\u0639\u200c\u0622\u0648\u0631\u06cc \u0648 \u06cc\u06a9\u067e\u0627\u0631\u0686\u0647 \u0645\u06cc\u200c\u06a9\u0646\u0646\u062f. \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u0645\u062b\u0627\u0644\u060c \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0627\u0632 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0631\u0627\u06cc \u0627\u0633\u062a\u062e\u0631\u0627\u062c \u0648 \u062a\u0631\u06a9\u06cc\u0628 \u0627\u0637\u0644\u0627\u0639\u0627\u062a \u0627\u0632 \u0645\u0646\u0627\u0628\u0639 \u0646\u0627\u0645\u062a\u062c\u0627\u0646\u0633 \u0648\u0628.<\/li>\n<li><strong>\u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc \u0648 \u067e\u0631\u062f\u0627\u0632\u0634 \u0632\u0628\u0627\u0646 \u0637\u0628\u06cc\u0639\u06cc:<\/strong> \u0627\u0632 \u062f\u06cc\u0631\u0628\u0627\u0632\u060c \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0633\u062a\u0648\u0646 \u0641\u0642\u0631\u0627\u062a \u0628\u0633\u06cc\u0627\u0631\u06cc \u0627\u0632 <span class=\"highlight\">\u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u062e\u0628\u0631\u0647<\/span>\u060c <span class=\"highlight\">\u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0627\u0633\u062a\u062f\u0644\u0627\u0644\u06cc \u062e\u0648\u062f\u06a9\u0627\u0631<\/span> \u0648 <span class=\"highlight\">\u0639\u0627\u0645\u0644\u200c\u0647\u0627\u06cc \u0647\u0648\u0634\u0645\u0646\u062f<\/span> \u0628\u0648\u062f\u0647 \u0627\u0633\u062a. \u062f\u0631 \u062d\u0648\u0632\u0647 <span class=\"highlight\">\u067e\u0631\u062f\u0627\u0632\u0634 \u0632\u0628\u0627\u0646 \u0637\u0628\u06cc\u0639\u06cc (NLP)<\/span>\u060c \u0627\u0632 \u0622\u0646 \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0645\u0639\u0646\u0627\u06cc\u06cc<\/span>\u060c <span class=\"highlight\">\u0628\u0627\u0632\u0646\u0645\u0627\u06cc\u06cc \u062f\u0627\u0646\u0634 \u0632\u0628\u0627\u0646\u06cc<\/span> \u0648 <span class=\"highlight\">\u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u067e\u0631\u0633\u0634 \u0648 \u067e\u0627\u0633\u062e<\/span> \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc\u200c\u0634\u0648\u062f. \u062a\u0631\u06a9\u06cc\u0628 \u0628\u0627 \u06cc\u0627\u062f\u06af\u06cc\u0631\u06cc \u0645\u0627\u0634\u06cc\u0646 \u0646\u06cc\u0632 \u0628\u0647 \u062a\u0648\u0633\u0639\u0647 \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc NLP \u062a\u0648\u0627\u0646\u0645\u0646\u062f\u062a\u0631 \u06a9\u0645\u06a9 \u0645\u06cc\u200c\u06a9\u0646\u062f.<\/li>\n<li><strong>\u0648\u0628 \u0648 \u0648\u0628 \u0645\u0639\u0646\u0627\u06cc\u06cc:<\/strong> \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0646\u0642\u0634 \u06a9\u0644\u06cc\u062f\u06cc \u062f\u0631 \u062a\u0648\u0633\u0639\u0647 <span class=\"highlight\">\u0648\u0628 \u0645\u0639\u0646\u0627\u06cc\u06cc (Semantic Web)<\/span> \u0627\u06cc\u0641\u0627 \u0645\u06cc\u200c\u06a9\u0646\u062f\u060c \u062c\u0627\u06cc\u06cc \u06a9\u0647 \u0627\u0645\u06a9\u0627\u0646 <span class=\"highlight\">\u0627\u0633\u062a\u0646\u062a\u0627\u062c \u0628\u0631 \u0631\u0648\u06cc \u0627\u0628\u0631\u062f\u0627\u062f\u0647\u200c\u0647\u0627 (Metadata)<\/span> \u0648 <span class=\"highlight\">\u062f\u0627\u0646\u0634 \u0633\u0627\u062e\u062a\u0627\u0631\u06cc\u0627\u0641\u062a\u0647<\/span> \u0631\u0627 \u0641\u0631\u0627\u0647\u0645 \u0645\u06cc\u200c\u0622\u0648\u0631\u062f. \u0627\u06cc\u0646 \u0627\u0645\u0631 \u0628\u0647 \u0633\u0627\u062e\u062a <span class=\"highlight\">\u0645\u0648\u062a\u0648\u0631\u0647\u0627\u06cc \u062c\u0633\u062a\u062c\u0648\u06cc \u0647\u0648\u0634\u0645\u0646\u062f\u062a\u0631<\/span>\u060c <span class=\"highlight\">\u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u062a\u0648\u0635\u06cc\u0647\u200c\u06af\u0631 (Recommender Systems)<\/span> \u0648 <span class=\"highlight\">\u067e\u0644\u062a\u0641\u0631\u0645\u200c\u0647\u0627\u06cc \u062f\u0627\u062f\u0647 \u0645\u062a\u0635\u0644 (Linked Data)<\/span> \u0645\u0646\u062c\u0631 \u0645\u06cc\u200c\u0634\u0648\u062f.<\/li>\n<li><strong>\u0645\u0647\u0646\u062f\u0633\u06cc \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631:<\/strong> \u062f\u0631 \u0627\u06cc\u0646 \u062d\u0648\u0632\u0647\u060c \u0627\u0632 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u0627\u0639\u062a\u0628\u0627\u0631\u0633\u0646\u062c\u06cc (Validation)<\/span> \u0648 <span class=\"highlight\">\u062a\u0623\u06cc\u06cc\u062f (Verification)<\/span> \u062e\u0635\u0648\u0635\u06cc\u0627\u062a \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631\u060c <span class=\"highlight\">\u062a\u062d\u0644\u06cc\u0644 \u06a9\u062f<\/span>\u060c <span class=\"highlight\">\u062a\u0648\u0644\u06cc\u062f \u062e\u0648\u062f\u06a9\u0627\u0631 \u062a\u0633\u062a\u200c\u0647\u0627<\/span> \u0648 <span class=\"highlight\">\u0645\u062f\u0644\u200c\u0633\u0627\u0632\u06cc \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627<\/span> \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc\u200c\u0634\u0648\u062f. \u0627\u06cc\u0646 \u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627 \u0628\u0647 \u0628\u0647\u0628\u0648\u062f \u06a9\u06cc\u0641\u06cc\u062a\u060c \u0642\u0627\u0628\u0644\u06cc\u062a \u0627\u0637\u0645\u06cc\u0646\u0627\u0646 \u0648 \u0627\u0645\u0646\u06cc\u062a \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631 \u06a9\u0645\u06a9 \u0645\u06cc\u200c\u06a9\u0646\u0646\u062f.<\/li>\n<li><strong>\u0639\u0644\u0648\u0645 \u0632\u06cc\u0633\u062a\u06cc \u0645\u062d\u0627\u0633\u0628\u0627\u062a\u06cc \u0648 \u0627\u0645\u0646\u06cc\u062a \u0633\u0627\u06cc\u0628\u0631\u06cc:<\/strong> \u062f\u0631 <span class=\"highlight\">\u0639\u0644\u0648\u0645 \u0632\u06cc\u0633\u062a\u06cc<\/span>\u060c \u0627\u0632 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u0645\u062f\u0644\u200c\u0633\u0627\u0632\u06cc \u0634\u0628\u06a9\u0647\u200c\u0647\u0627\u06cc \u0628\u06cc\u0648\u0644\u0648\u0698\u06cc\u06a9\u06cc<\/span>\u060c <span class=\"highlight\">\u062a\u062d\u0644\u06cc\u0644 \u0645\u0633\u06cc\u0631\u0647\u0627\u06cc \u0645\u0648\u0644\u06a9\u0648\u0644\u06cc<\/span> \u0648 <span class=\"highlight\">\u06a9\u0634\u0641 \u062f\u0627\u0646\u0634 \u0627\u0632 \u062f\u0627\u062f\u0647\u200c\u0647\u0627\u06cc \u0698\u0646\u062a\u06cc\u06a9\u06cc<\/span> \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u0645\u06cc\u200c\u0634\u0648\u062f. \u062f\u0631 <span class=\"highlight\">\u0627\u0645\u0646\u06cc\u062a \u0633\u0627\u06cc\u0628\u0631\u06cc<\/span>\u060c \u0627\u06cc\u0646 \u0631\u0648\u0634 \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u062a\u062c\u0632\u06cc\u0647 \u0648 \u062a\u062d\u0644\u06cc\u0644 \u0622\u0633\u06cc\u0628\u200c\u067e\u0630\u06cc\u0631\u06cc\u200c\u0647\u0627<\/span>\u060c <span class=\"highlight\">\u0634\u0646\u0627\u0633\u0627\u06cc\u06cc \u0646\u0627\u0647\u0646\u062c\u0627\u0631\u06cc\u200c\u0647\u0627 (Anomaly Detection)<\/span> \u0648 <span class=\"highlight\">\u0627\u0639\u0645\u0627\u0644 \u0633\u06cc\u0627\u0633\u062a\u200c\u0647\u0627\u06cc \u0627\u0645\u0646\u06cc\u062a\u06cc<\/span> \u0628\u0633\u06cc\u0627\u0631 \u0645\u0624\u062b\u0631 \u0627\u0633\u062a.<\/li>\n<li><strong>\u0631\u0628\u0627\u062a\u06cc\u06a9 \u0648 \u0622\u0645\u0648\u0632\u0634:<\/strong> \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u062f\u0631 <span class=\"highlight\">\u0631\u0628\u0627\u062a\u06cc\u06a9<\/span> \u0628\u0631\u0627\u06cc <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0631\u06cc\u0632\u06cc \u062d\u0631\u06a9\u062a<\/span>\u060c <span class=\"highlight\">\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u062f\u0631 \u0645\u0648\u0631\u062f \u0645\u062d\u06cc\u0637<\/span> \u0648 <span class=\"highlight\">\u062a\u0635\u0645\u06cc\u0645\u200c\u06af\u06cc\u0631\u06cc \u062e\u0648\u062f\u06a9\u0627\u0631<\/span> \u0628\u0647 \u06a9\u0627\u0631 \u0645\u06cc\u200c\u0631\u0648\u062f. \u062f\u0631 <span class=\"highlight\">\u0622\u0645\u0648\u0632\u0634<\/span>\u060c \u0645\u06cc\u200c\u062a\u0648\u0627\u0646 \u0627\u0632 \u0622\u0646 \u0628\u0631\u0627\u06cc \u062a\u0648\u0633\u0639\u0647 <span class=\"highlight\">\u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0622\u0645\u0648\u0632\u0634\u06cc \u0647\u0648\u0634\u0645\u0646\u062f<\/span> \u0648 <span class=\"highlight\">\u0627\u0628\u0632\u0627\u0631\u0647\u0627\u06cc \u06cc\u0627\u062f\u06af\u06cc\u0631\u06cc \u062a\u0637\u0628\u06cc\u0642\u06cc<\/span> \u0627\u0633\u062a\u0641\u0627\u062f\u0647 \u06a9\u0631\u062f.<\/li>\n<\/ul>\n<p>\u0627\u06cc\u0646 \u06af\u0648\u0646\u0627\u06af\u0648\u0646\u06cc \u062f\u0631 \u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u060c \u067e\u062a\u0627\u0646\u0633\u06cc\u0644 \u0639\u0638\u06cc\u0645 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0631\u0627 \u0628\u0631\u0627\u06cc \u062d\u0644 \u0686\u0627\u0644\u0634\u200c\u0647\u0627\u06cc \u067e\u06cc\u0686\u06cc\u062f\u0647 \u062f\u0631 \u062f\u0646\u06cc\u0627\u06cc \u0648\u0627\u0642\u0639\u06cc \u0646\u0634\u0627\u0646 \u0645\u06cc\u200c\u062f\u0647\u062f \u0648 \u062a\u0627\u06a9\u06cc\u062f \u0645\u06cc\u200c\u06a9\u0646\u062f \u06a9\u0647 \u0627\u06cc\u0646 \u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645 \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0646\u0647 \u062a\u0646\u0647\u0627 \u06cc\u06a9 \u062d\u0648\u0632\u0647 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a\u06cc \u0641\u0639\u0627\u0644 \u0627\u0633\u062a\u060c \u0628\u0644\u06a9\u0647 \u06cc\u06a9 \u0627\u0628\u0632\u0627\u0631 \u06a9\u0627\u0631\u0628\u0631\u062f\u06cc \u0642\u062f\u0631\u062a\u0645\u0646\u062f \u0646\u06cc\u0632 \u0645\u062d\u0633\u0648\u0628 \u0645\u06cc\u200c\u0634\u0648\u062f.<\/p>\n<\/p><\/div>\n<div class=\"section-box\">\n<h2>\u0646\u062a\u06cc\u062c\u0647\u200c\u06af\u06cc\u0631\u06cc<\/h2>\n<p>\u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (ICLP 2021) \u0628\u0647 \u0648\u0636\u0648\u062d \u0646\u0634\u0627\u0646 \u0645\u06cc\u200c\u062f\u0647\u062f \u06a9\u0647 \u062d\u0648\u0632\u0647 <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc<\/span> \u0647\u0645\u0686\u0646\u0627\u0646 \u06cc\u06a9 \u0632\u0645\u06cc\u0646\u0647 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a\u06cc \u067e\u0648\u06cc\u0627\u060c \u0641\u0639\u0627\u0644 \u0648 \u0628\u0633\u06cc\u0627\u0631 \u0645\u0631\u062a\u0628\u0637 \u062f\u0631 \u0639\u0644\u0648\u0645 \u06a9\u0627\u0645\u067e\u06cc\u0648\u062a\u0631 \u0648 \u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc \u0627\u0633\u062a. \u0645\u0642\u0627\u0644\u0627\u062a \u0627\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633\u060c \u0637\u06cc\u0641 \u0648\u0633\u06cc\u0639\u06cc \u0627\u0632 \u0645\u0648\u0636\u0648\u0639\u0627\u062a \u0631\u0627 \u067e\u0648\u0634\u0634 \u0645\u06cc\u200c\u062f\u0647\u0646\u062f\u060c \u0627\u0632 <span class=\"highlight\">\u0645\u0628\u0627\u0646\u06cc \u0646\u0638\u0631\u06cc \u0645\u0633\u062a\u062d\u06a9\u0645<\/span> \u06af\u0631\u0641\u062a\u0647 \u062a\u0627 <span class=\"highlight\">\u067e\u06cc\u0627\u062f\u0647\u200c\u0633\u0627\u0632\u06cc\u200c\u0647\u0627\u06cc \u0646\u0648\u0622\u0648\u0631\u0627\u0646\u0647<\/span> \u0648 <span class=\"highlight\">\u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u06cc \u0639\u0645\u0644\u06cc<\/span> \u062f\u0631 \u062f\u0627\u0645\u0646\u0647\u200c\u0647\u0627\u06cc \u0645\u062a\u0646\u0648\u0639.<\/p>\n<p>\u06cc\u0627\u0641\u062a\u0647\u200c\u0647\u0627\u06cc \u06a9\u0644\u06cc\u062f\u06cc \u062f\u0631 ICLP 2021 \u0634\u0627\u0645\u0644 \u067e\u06cc\u0634\u0631\u0641\u062a\u200c\u0647\u0627\u06cc\u06cc \u062f\u0631 \u0646\u0638\u0631\u06cc\u0647\u200c\u0647\u0627\u06cc <span class=\"highlight\">\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u063a\u06cc\u0631\u06cc\u06a9\u0646\u0648\u0627\u062e\u062a<\/span> \u0648 <span class=\"highlight\">\u0628\u0627\u0632\u0646\u0645\u0627\u06cc\u06cc \u062f\u0627\u0646\u0634<\/span>\u060c \u0628\u0647\u0628\u0648\u062f\u0647\u0627\u06cc \u0642\u0627\u0628\u0644 \u062a\u0648\u062c\u0647 \u062f\u0631 <span class=\"highlight\">\u06a9\u0627\u0631\u0627\u06cc\u06cc \u0627\u062c\u0631\u0627 \u0648 \u0645\u0642\u06cc\u0627\u0633\u200c\u067e\u0630\u06cc\u0631\u06cc \u0633\u06cc\u0633\u062a\u0645\u200c\u0647\u0627\u06cc \u0645\u0646\u0637\u0642\u06cc<\/span>\u060c \u0648 \u062a\u0648\u0633\u0639\u0647 <span class=\"highlight\">\u0648\u06cc\u0698\u06af\u06cc\u200c\u0647\u0627\u06cc \u062c\u062f\u06cc\u062f \u0632\u0628\u0627\u0646<\/span> \u0628\u0631\u0627\u06cc \u0627\u0641\u0632\u0627\u06cc\u0634 \u0642\u062f\u0631\u062a \u0628\u06cc\u0627\u0646 \u0648 \u0633\u0647\u0648\u0644\u062a \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0627\u0633\u062a. \u0647\u0645\u0686\u0646\u06cc\u0646\u060c <span class=\"highlight\">\u0647\u0645\u200c\u0627\u0641\u0632\u0627\u06cc\u06cc \u0641\u0632\u0627\u06cc\u0646\u062f\u0647 \u0628\u0627 \u0633\u0627\u06cc\u0631 \u067e\u0627\u0631\u0627\u062f\u0627\u06cc\u0645\u200c\u0647\u0627<\/span>\u060c \u0628\u0647 \u0648\u06cc\u0698\u0647 <span class=\"highlight\">\u06cc\u0627\u062f\u06af\u06cc\u0631\u06cc \u0645\u0627\u0634\u06cc\u0646<\/span> \u0648 <span class=\"highlight\">\u062d\u0644\u200c\u06a9\u0646\u0646\u062f\u0647\u200c\u0647\u0627\u06cc \u0645\u062d\u062f\u0648\u062f\u06cc\u062a<\/span>\u060c \u0645\u0631\u0632\u0647\u0627\u06cc \u062a\u0648\u0627\u0646\u0627\u06cc\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0631\u0627 \u06af\u0633\u062a\u0631\u0634 \u062f\u0627\u062f\u0647 \u0627\u0633\u062a. \u0627\u06cc\u0646 \u0631\u0648\u06cc\u06a9\u0631\u062f\u0647\u0627\u06cc \u062a\u0631\u06a9\u06cc\u0628\u06cc \u0646\u0648\u06cc\u062f\u0628\u062e\u0634 \u0631\u0627\u0647\u200c\u062d\u0644\u200c\u0647\u0627\u06cc \u0642\u0648\u06cc\u200c\u062a\u0631 \u0628\u0631\u0627\u06cc \u0645\u0633\u0627\u0626\u0644 \u067e\u06cc\u0686\u06cc\u062f\u0647 \u062f\u0631 \u062f\u0646\u06cc\u0627\u06cc \u0648\u0627\u0642\u0639\u06cc \u0647\u0633\u062a\u0646\u062f.<\/p>\n<p>\u06a9\u0627\u0631\u0628\u0631\u062f\u0647\u0627\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u0646\u06cc\u0632 \u06af\u0633\u062a\u0631\u062f\u06af\u06cc \u0686\u0634\u0645\u06af\u06cc\u0631\u06cc \u062f\u0627\u0631\u0646\u062f\u061b \u0627\u0632 <span class=\"highlight\">\u0645\u062f\u06cc\u0631\u06cc\u062a \u062f\u0627\u062f\u0647\u200c\u0647\u0627\u06cc \u062d\u062c\u06cc\u0645<\/span> \u0648 <span class=\"highlight\">\u0648\u0628 \u0645\u0639\u0646\u0627\u06cc\u06cc<\/span> \u06af\u0631\u0641\u062a\u0647 \u062a\u0627 <span class=\"highlight\">\u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc<\/span>\u060c <span class=\"highlight\">\u067e\u0631\u062f\u0627\u0632\u0634 \u0632\u0628\u0627\u0646 \u0637\u0628\u06cc\u0639\u06cc<\/span>\u060c <span class=\"highlight\">\u0645\u0647\u0646\u062f\u0633\u06cc \u0646\u0631\u0645\u200c\u0627\u0641\u0632\u0627\u0631<\/span> \u0648 \u062d\u062a\u06cc <span class=\"highlight\">\u0627\u0645\u0646\u06cc\u062a \u0633\u0627\u06cc\u0628\u0631\u06cc \u0648 \u0639\u0644\u0648\u0645 \u0632\u06cc\u0633\u062a\u06cc \u0645\u062d\u0627\u0633\u0628\u0627\u062a\u06cc<\/span>. \u0627\u06cc\u0646 \u062a\u0646\u0648\u0639 \u0646\u0634\u0627\u0646 \u0645\u06cc\u200c\u062f\u0647\u062f \u06a9\u0647 \u062a\u0648\u0627\u0646\u0627\u06cc\u06cc\u200c\u0647\u0627\u06cc \u0645\u0646\u062d\u0635\u0631 \u0628\u0647 \u0641\u0631\u062f \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc \u062f\u0631 \u0645\u062f\u0644\u200c\u0633\u0627\u0632\u06cc \u0627\u0639\u0644\u0627\u0646\u06cc\u060c \u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0648 \u0645\u062f\u06cc\u0631\u06cc\u062a \u062f\u0627\u0646\u0634\u060c \u0647\u0645\u0686\u0646\u0627\u0646 \u0628\u0631\u0627\u06cc \u062d\u0644 \u0686\u0627\u0644\u0634\u200c\u0647\u0627\u06cc \u0641\u0646\u06cc \u062f\u0631 \u0628\u0633\u06cc\u0627\u0631\u06cc \u0627\u0632 \u062d\u0648\u0632\u0647\u200c\u0647\u0627 \u0636\u0631\u0648\u0631\u06cc \u0627\u0633\u062a.<\/p>\n<p>\u062f\u0631 \u0646\u0647\u0627\u06cc\u062a\u060c ICLP 2021 \u0646\u0647 \u062a\u0646\u0647\u0627 \u0628\u0631 \u067e\u06cc\u0634\u0631\u0641\u062a\u200c\u0647\u0627\u06cc \u06af\u0630\u0634\u062a\u0647 \u062a\u0627\u06a9\u06cc\u062f \u0645\u06cc\u200c\u06a9\u0646\u062f\u060c \u0628\u0644\u06a9\u0647 \u0627\u0644\u0647\u0627\u0645\u200c\u0628\u062e\u0634 \u062a\u062d\u0642\u06cc\u0642\u0627\u062a \u0622\u06cc\u0646\u062f\u0647 \u0646\u06cc\u0632 \u0647\u0633\u062a. \u0627\u06cc\u0646 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0628\u0647 \u0639\u0646\u0648\u0627\u0646 \u06cc\u06a9 \u0645\u0646\u0628\u0639 \u0627\u0631\u0632\u0634\u0645\u0646\u062f \u0628\u0631\u0627\u06cc \u0645\u062d\u0642\u0642\u0627\u0646\u060c \u062f\u0627\u0646\u0634\u062c\u0648\u06cc\u0627\u0646 \u0648 \u0645\u062a\u062e\u0635\u0635\u0627\u0646\u06cc \u06a9\u0647 \u0628\u0647 \u062f\u0646\u0628\u0627\u0644 \u062f\u0631\u06a9 \u0639\u0645\u06cc\u0642\u200c\u062a\u0631 \u0648 \u0628\u0647\u0631\u0647\u200c\u0628\u0631\u062f\u0627\u0631\u06cc \u0627\u0632 \u0642\u062f\u0631\u062a <span class=\"highlight\">\u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc<\/span> \u0647\u0633\u062a\u0646\u062f\u060c \u0639\u0645\u0644 \u0645\u06cc\u200c\u06a9\u0646\u062f \u0648 \u0646\u0642\u0634 \u0645\u062d\u0648\u0631\u06cc \u0627\u06cc\u0646 \u0631\u0634\u062a\u0647 \u0631\u0627 \u062f\u0631 \u0634\u06a9\u0644\u200c\u062f\u0647\u06cc \u0628\u0647 \u0622\u06cc\u0646\u062f\u0647 \u0639\u0644\u0648\u0645 \u06a9\u0627\u0645\u067e\u06cc\u0648\u062a\u0631 \u0648 \u0647\u0648\u0634 \u0645\u0635\u0646\u0648\u0639\u06cc \u062a\u0642\u0648\u06cc\u062a \u0645\u06cc\u200c\u0646\u0645\u0627\u06cc\u062f.<\/p>\n<\/p><\/div>\n<\/article>\n","protected":false},"excerpt":{"rendered":"<p>\ud83d\udcda \u0645\u0642\u0627\u0644\u0647 \u0639\u0644\u0645\u06cc \u0639\u0646\u0648\u0627\u0646 \u0641\u0627\u0631\u0633\u06cc \u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0646\u0648\u06cc\u0633\u0646\u062f\u06af\u0627\u0646 Andrea Formisano, [&hellip;]<\/p>\n","protected":false},"featured_media":208799,"comment_status":"open","ping_status":"closed","template":"","meta":{"pmpro_default_level":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}}},"product_cat":[137319,137318],"product_tag":[107,13775,34150,176620,1416,176621,176613,144110,138382,176618,166683,19,176619,63608,30560,138028,176617,75601,144313,176615,138379,176616,166676,18535,1276,42907,13770,144102,176614,173273,138020,64617,261,267],"class_list":{"0":"post-221909","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-arxiv","7":"product_cat-137318","8":"product_tag-artificial-intelligence","9":"product_tag-computer-science","10":"product_tag-concurrency","11":"product_tag-constraints","12":"product_tag-data-mining","13":"product_tag-declarative-programming","14":"product_tag-iclp","15":"product_tag-international-conference","16":"product_tag-knowledge-representation","17":"product_tag-logic-foundations","18":"product_tag-logic-programming","19":"product_tag-machine-learning","20":"product_tag-nonmonotonic-reasoning","21":"product_tag-optimization","22":"product_tag-programming-languages","23":"product_tag-semantics","24":"product_tag-technical-communications","25":"product_tag-verification","26":"product_tag-144313","27":"product_tag-176615","28":"product_tag-138379","29":"product_tag-176616","30":"product_tag-166676","31":"product_tag-18535","32":"product_tag-1276","33":"product_tag-42907","34":"product_tag-13770","35":"product_tag-144102","36":"product_tag-176614","37":"product_tag-173273","38":"product_tag-138020","39":"product_tag-64617","40":"product_tag-261","41":"product_tag-267","42":"pmpro-has-access","43":"desktop-align-left","44":"tablet-align-left","45":"mobile-align-left","47":"first","48":"instock","49":"downloadable","50":"virtual","51":"purchasable","52":"product-type-simple"},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v22.0 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc - \u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/express24.ir\/d\/product\/2109-07914\/\" \/>\n<meta property=\"og:locale\" content=\"fa_IR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc - \u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633\" \/>\n<meta property=\"og:description\" content=\"\ud83d\udcda \u0645\u0642\u0627\u0644\u0647 \u0639\u0644\u0645\u06cc \u0639\u0646\u0648\u0627\u0646 \u0641\u0627\u0631\u0633\u06cc \u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0646\u0648\u06cc\u0633\u0646\u062f\u06af\u0627\u0646 Andrea Formisano, [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/express24.ir\/d\/product\/2109-07914\/\" \/>\n<meta property=\"og:site_name\" content=\"\u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u0632\u0645\u0627\u0646 \u062a\u0642\u0631\u06cc\u0628\u06cc \u0628\u0631\u0627\u06cc \u062e\u0648\u0627\u0646\u062f\u0646\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 \u062f\u0642\u06cc\u0642\u0647\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/express24.ir\/d\/product\/2109-07914\/\",\"url\":\"https:\/\/express24.ir\/d\/product\/2109-07914\/\",\"name\":\"\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc - \u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633\",\"isPartOf\":{\"@id\":\"https:\/\/express24.ir\/d\/#website\"},\"datePublished\":\"2025-11-02T05:49:26+00:00\",\"dateModified\":\"2025-11-02T05:49:26+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/express24.ir\/d\/product\/2109-07914\/#breadcrumb\"},\"inLanguage\":\"fa-IR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/express24.ir\/d\/product\/2109-07914\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/express24.ir\/d\/product\/2109-07914\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u062e\u0627\u0646\u0647\",\"item\":\"https:\/\/express24.ir\/d\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u0641\u0631\u0648\u0634\u06af\u0627\u0647\",\"item\":\"https:\/\/express24.ir\/d\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/express24.ir\/d\/#website\",\"url\":\"https:\/\/express24.ir\/d\/\",\"name\":\"\u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/express24.ir\/d\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fa-IR\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc - \u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/express24.ir\/d\/product\/2109-07914\/","og_locale":"fa_IR","og_type":"article","og_title":"\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc - \u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633","og_description":"\ud83d\udcda \u0645\u0642\u0627\u0644\u0647 \u0639\u0644\u0645\u06cc \u0639\u0646\u0648\u0627\u0646 \u0641\u0627\u0631\u0633\u06cc \u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0646\u0648\u06cc\u0633\u0646\u062f\u06af\u0627\u0646 Andrea Formisano, [&hellip;]","og_url":"https:\/\/express24.ir\/d\/product\/2109-07914\/","og_site_name":"\u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633","twitter_card":"summary_large_image","twitter_misc":{"\u0632\u0645\u0627\u0646 \u062a\u0642\u0631\u06cc\u0628\u06cc \u0628\u0631\u0627\u06cc \u062e\u0648\u0627\u0646\u062f\u0646":"1 \u062f\u0642\u06cc\u0642\u0647"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/express24.ir\/d\/product\/2109-07914\/","url":"https:\/\/express24.ir\/d\/product\/2109-07914\/","name":"\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc - \u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633","isPartOf":{"@id":"https:\/\/express24.ir\/d\/#website"},"datePublished":"2025-11-02T05:49:26+00:00","dateModified":"2025-11-02T05:49:26+00:00","breadcrumb":{"@id":"https:\/\/express24.ir\/d\/product\/2109-07914\/#breadcrumb"},"inLanguage":"fa-IR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/express24.ir\/d\/product\/2109-07914\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/express24.ir\/d\/product\/2109-07914\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u062e\u0627\u0646\u0647","item":"https:\/\/express24.ir\/d\/"},{"@type":"ListItem","position":2,"name":"\u0641\u0631\u0648\u0634\u06af\u0627\u0647","item":"https:\/\/express24.ir\/d\/"},{"@type":"ListItem","position":3,"name":"\u0645\u0642\u0627\u0644\u0647 \u0645\u062c\u0645\u0648\u0639\u0647 \u0645\u0642\u0627\u0644\u0627\u062a \u0633\u06cc \u0648 \u0647\u0641\u062a\u0645\u06cc\u0646 \u06a9\u0646\u0641\u0631\u0627\u0646\u0633 \u0628\u06cc\u0646\u200c\u0627\u0644\u0645\u0644\u0644\u06cc \u0628\u0631\u0646\u0627\u0645\u0647\u200c\u0646\u0648\u06cc\u0633\u06cc \u0645\u0646\u0637\u0642\u06cc (\u0627\u0631\u062a\u0628\u0627\u0637\u0627\u062a \u0641\u0646\u06cc) \u0628\u0647 \u0647\u0645\u0631\u0627\u0647 PDF \u0641\u0627\u0631\u0633\u06cc + \u067e\u0627\u062f\u06a9\u0633\u062a \u0635\u0648\u062a\u06cc \u0641\u0627\u0631\u0633\u06cc + \u0648\u06cc\u062f\u06cc\u0648 \u0622\u0645\u0648\u0632\u0634\u06cc \u0641\u0627\u0631\u0633\u06cc"}]},{"@type":"WebSite","@id":"https:\/\/express24.ir\/d\/#website","url":"https:\/\/express24.ir\/d\/","name":"\u0641\u0631\u0648\u0634\u06af\u0627\u0647 \u0627\u06a9\u0633\u067e\u0631\u0633","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/express24.ir\/d\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fa-IR"}]}},"_links":{"self":[{"href":"https:\/\/express24.ir\/d\/wp-json\/wp\/v2\/product\/221909","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/express24.ir\/d\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/express24.ir\/d\/wp-json\/wp\/v2\/types\/product"}],"replies":[{"embeddable":true,"href":"https:\/\/express24.ir\/d\/wp-json\/wp\/v2\/comments?post=221909"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/express24.ir\/d\/wp-json\/wp\/v2\/media\/208799"}],"wp:attachment":[{"href":"https:\/\/express24.ir\/d\/wp-json\/wp\/v2\/media?parent=221909"}],"wp:term":[{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/express24.ir\/d\/wp-json\/wp\/v2\/product_cat?post=221909"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/express24.ir\/d\/wp-json\/wp\/v2\/product_tag?post=221909"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}