1086 पेपर
यह शोध पत्र Chess_db को प्रस्तुत करता है, जो एक लॉजिक प्रोग्रामिंग फ्रेमवर्क है जिसे PGN फाइलों को डेटाबेस में बदलकर और ऐतिहासिक गेम सांख्यिकी तथा स्थिति परिणामों तक त्वरित पहुंच प्रदान करने के लिए ओपन-सोर्स की-वैल्यू स्टोर्स का लाभ उठाकर बड़े शतरंज डेटासेट को कुशलतापूर्वक संसाधित करने के लिए डिज़ाइन किया गया है।
यह शोध पत्र एक ऐसे प्रयोग को प्रस्तुत करता है जहाँ एक LLM (Claude) ने LPTP का उपयोग करके 'नाइन्टी-नाइन प्रोलॉग प्रॉब्लम्स' के पहले 33 समाधानों को उत्पन्न और औपचारिक रूप से सत्यापित किया, जो एक "वेरिकोडिंग" दृष्टिकोण को प्रदर्शित करता है जो अनौपचारिक अंग्रेजी विशिष्टताओं को स्वचालित कोड जनरेशन और शुद्धता के कठोर गणितीय प्रमाणों के साथ जोड़ता है।
यह शोध पत्र अर्बन एयर मोबिलिटी में रणनीतिक विसंघटन (deconfliction) के लिए एक आंसर सेट प्रोग्रामिंग (ASP) दृष्टिकोण प्रस्तावित करता है, जो कॉन्स्ट्रेंट प्रोग्रामिंग के विरुद्ध बेंचमार्किंग के माध्यम से यह प्रदर्शित करता है कि ASP छोटे से मध्यम आकार के उड़ान नियोजन परिदृश्यों के लिए बेहतर निष्पादन गति और स्केलेबिलिटी प्रदान करता है।
यह शोध पत्र वॉक-इन अस्पतालों के लिए एक रिएक्टिव, मल्टी-स्टेज पेशेंट फ्लो शेड्यूलिंग मॉडल प्रस्तुत करता है जो परीक्षण मार्गों को अनुकूलित करने और यात्रा एवं प्रतीक्षा समय को कम करने के लिए 'आंसर सेट प्रोग्रामिंग' (ASP) का उपयोग करता है, और डिस्क्रीट-इवेंट सिमुलेशन (DES) के माध्यम से यह प्रदर्शित करता है कि यह विशेष रूप से भारी भार की स्थितियों में रोगी के रुकने की अवधि को कम करने में ग्रीडी बेसलाइन्स की तुलना में काफी बेहतर प्रदर्शन करता है।
यह शोधपत्र CertiFOX प्रस्तुत करता है, जो प्रथम-क्रम तर्क (first-order logic) मॉडल विस्तार के लिए एक नवीन प्रमाणित ग्राउंडिंग फ्रेमवर्क है, जो एक प्रूफ़ फॉर्मेट, एक प्रमाणित ग्राउंडर (GroundFOX), और एक स्वतंत्र प्रूफ़ चेकर (CheckFOX) प्रदान करके उच्च-स्तरीय विशिष्टताओं और निम्न-स्तरीय सॉल्वर इनपुट्स के बीच विश्वास के अंतर को पाटता है ताकि न्यूनतम ओवरहेड के साथ आउटपुट तुल्यता की गारंटी दी जा सके।
यह शोध पत्र अंतर बाधाओं (difference constraints) के साथ उत्तर सेट प्रोग्रामिंग (Answer Set Programming) के लिए एक एकीकृत अर्थ संबंधी ढांचा (semantic framework) प्रदान करने हेतु बाउंड-फाउंडेड लॉजिक ऑफ हियर-एंड-देयर (HTb) के एक मेनी-सॉर्टेड वेरिएंट को प्रस्तुत करता है, जो विशेष रूप से clingo[DL] जैसे सिस्टम के व्यवहार को स्पष्ट करता है और प्रोग्राम सरलीकरण तथा भविष्य के अर्थ संबंधी एकीकरणों के कठोर विश्लेषण को सक्षम बनाता है।
यह शोध पत्र हाइब्रिड MKNF ज्ञान आधारों (knowledge bases) के एक विस्तार को प्रस्तुत करता है जो सुरक्षा-महत्वपूर्ण अनुप्रयोगों में स्पष्ट नकारात्मक तर्क (explicit negative reasoning) को बेहतर समर्थन देने के लिए नियम घटक (rule component) में शास्त्रीय निषेध (classical negation) को सम्मिलित करता है, जो औपचारिक परिभाषाएँ और वेल-फाउंडेड मॉडल (well-founded model) की गणना के लिए एक प्रक्रिया प्रदान करता है।
यह शोध पत्र एक नवीन नैरोइंग-आधारित सत्यापन पद्धति प्रस्तुत करता है जिसे Maude में कार्यान्वित किया गया है, जो अनबाउंडेड एजेंटों और डेंस टाइम वाले रियल-टाइम सिस्टम का ध्वनिपूर्ण और अभिव्यंजक विश्लेषण करने के लिए रीराइटिंग मोड्यूलो SMT, लॉजिकल वेरिएबल्स और एक फोल्डिंग मैकेनिज्म को एकीकृत करता है, और सफलतापूर्वक बिना प्रोसेस बाउंड्स के एक टाइमड म्यूचुअल एक्सक्लूजन प्रोटोकॉल को सत्यापित करता है।
यह शोध पत्र स्ट्रैटिफाइड प्रोग्राम्स के लिए P-log के अनुरूप एक औपचारिक कारण अर्थविज्ञान (causal semantics) और हस्तक्षेप तंत्र (intervention mechanism) प्रस्तावित करके, एसाइक्लिक बेयसियन नेटवर्क की सीमाओं को संबोधित करते हुए, जुडिया पर्ल के कॉज़ल मॉडलिंग फ्रेमवर्क को प्रोबेबिलिस्टिक लॉजिक प्रोग्रामिंग तक विस्तारित करता है।
यह शोध पत्र एक सामाजिक विज्ञान-सूचित ढांचे का प्रस्ताव करता जिसे एसर सेट प्रोग्रामिंग (Answer Set Programming) और पायथन में कार्यान्वित किया गया है, जो नीति उल्लंघन दंडों (policy violation penalties) का लाभ उठाकर अवांछनीय प्रतितथ्यात्मक घटनाओं (counterfactual events) की पहचान करता है और मानव प्रतिभागियों के सर्वेक्षणों के माध्यम से अपनी प्रभावशीलता को प्रमाणित करते हुए स्वायत्त एजेंटों के लिए विरोधाभासी, नीति-जागरूक स्पष्टीकरण उत्पन्न करता है।