💻 Category

cs.LO

1098 पेपर

🤖 AI

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

यह शोध पत्र तीन इष्टतम मरम्मत धारणाओं (optimal repair notions) का उपयोग करते हुए विसंगत प्राथमिकता वाले ज्ञान भंडारों (inconsistent prioritized knowledge bases) के लिए क्वेरी एंटेलमेंट और रिपेयर एन्यूमरेशन की डेटा जटिलता का विश्लेषण करता है, जबकि इन मरम्मतों और तर्क ढांचा विस्तारों (argumentation framework extensions) के बीच सटीक पत्राचार स्थापित करते हुए ग्राउंडेड एक्सटेंशन से प्रेरित एक नवीन, गणनात्मक रूप से कुशल सिमेंटिक्स प्रस्तावित करता है।

Meghyn Bienvenu, Camille Bourgaux2026-05-27
💻 computer science

Extended Resolution Clause Learning via Dual Implication Points

यह शोध पत्र xMapleLCM प्रस्तुत करता है, जो एक CDCL SAT सॉल्वर है जो इम्पलीकेशन ग्राफ के भीतर ड्यूल इम्पलीकेशन पॉइंट्स (DIPs) को परिभाषित करने के लिए गतिशील रूप से नए वेरिएबल्स पेश करके Tseitin और XORified फॉर्मूला पर प्रदर्शन को बढ़ाता है, जिससे एक विस्तारित रेजोल्यूशन क्लॉज लर्निंग रणनीति लागू होती है जो MapleLCM, Kissat और GlucoseER जैसे अग्रणी सॉल्वरों से बेहतर प्रदर्शन करती है।

Sam Buss, Jonathan Chung, Vijay Ganesh, Albert Oliveras2026-05-27
💻 computer science

An automata-based approach for synchronizable mailbox communication

यह शोध पत्र यह स्थापित करता है कि आकार की सीमाओं के बिना राउंड-आधारित सिमेंटिक्स के तहत यह निर्धारित करना कि क्या एक परिमित-अवस्था (फाइनाइट-स्टेट) मेलबॉक्स संचार प्रणाली सिंक्रोनाइजेबल है, PSPACE-पूर्ण है, जिसे एक नवीन ऑटोमेटा-आधारित दृष्टिकोण के माध्यम से प्राप्त किया गया है जो संबंधित प्रश्नों की जटिलता को भी परिष्कृत करता है।

Romain Delpy, Anca Muscholl, Grégoire Sutre2026-05-27
💻 computer science

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems

यह शोध पत्र यह स्थापित करता है कि परिमित-क्षितिज संभाव्य समवर्ती गेम सिस्टम (finite-horizon probabilistic concurrent game systems) में सबगेम परफेक्ट इक्विलिब्रियम (subgame perfect equilibria) को सत्यापित करना PSPACE में है, जबकि नैश इक्विलिब्रियम (Nash equilibria) को सत्यापित करना EXPTIME-complete है, जो एक प्रतितर्क परिणाम है जो दर्शाता है कि अधिक परिष्कृत इक्विलिब्रियम अवधारणा को मानक एक की तुलना में सत्यापित करना कम्प्यूटेशनल रूप से आसान है।

Senthil Rajasekaran, Moshe Y. Vardi2026-05-27
💻 computer science

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification

यह सर्वेक्षण ESBMC मॉडल चेकर के 2009 की उत्पत्ति से लेकर 2025-2026 की स्थिति तक के विकास का पता लगाता है, जो AI एजेंटों और औद्योगिक ढांचों के साथ एकीकृत एक बहुमुखी, पुरस्कार विजेता और मूल रूप से स्वायत्त सत्यापन प्लेटफॉर्म है, जबकि इसके आर्थिक प्रभाव का विश्लेषण करता है और औपचारिक सॉफ्टवेयर सत्यापन में भविष्य की चुनौतियों को रेखांकित करता है।

Pierre Dantas, Lucas Cordeiro, Waldir Junior2026-05-27
💻 computer science

Nonlinear Arithmetic with SMTLIB Division is Undecidable

यह शोध पत्र यह प्रदर्शित करता है कि SMTLIB मानक में परिभाषित नॉनलीन रियल अर्थमैटिक (NRA) अनिर्णयकारी (undecidable) है क्योंकि शून्य से विभाजन को एक अनइंटरप्रिटेड फंक्शन के रूप में इसका उपचार अनिर्णयकारी पूर्णांक अंकगणित समस्याओं को एनकोड करने में सक्षम बनाता है।

Dejan Jovanovic2026-05-27
🔢 mathematics

A proof-theoretic approach to abstract interpretation

यह शोध पत्र व्यवस्थित रूप से उन तार्किक प्रणालियों का निर्माण करके एब्स्ट्रैक्ट इंटरप्रिटेशन (abstract interpretation) के लिए एक प्रमाण-सिद्धांतिक ढांचा स्थापित करता है जिनके बीजगणितीय संरचनाएं दिए गए एब्स्ट्रैक्ट लैट्टिस (abstract lattices) के अनुरूप होती हैं, जिससे ध्वनि और पूर्णता (soundness and completeness) के परिणामों के माध्यम से प्रोग्राम विश्लेषण को प्रमाण सिद्धांत और बीजगणितीय तर्क के साथ एकीकृत किया जा सके।

Vijay D'Silva, Alessandra Palmigiano, Apostolos Tzimoulis, Caterina Urban2026-05-27
💻 computer science

Almost Fair Simulations

यह शोधपत्र ट्रांज़िशन सिस्टम के लिए "लगभग निष्पक्ष" (almost fair) सिमुलेशन संबंधों के एक परिवार को प्रस्तुत करता है जो बुची फेयरनेस (Büchi fairness) स्थितियों के साथ, सहज निगमनात्मक नियमों के माध्यम से तर्क को सरल बनाता है, जो इंटरैक्टिव सत्यापन में फेयर ट्रेस समावेशन (fair trace inclusion) सिद्ध करने के लिए जटिल मानक फेयर सिमुलेशनों के एक अधिक सुलभ विकल्प के रूप में कार्य करता है।

Arthur Correnson, Iona Kuhn, Bernd Finkbeiner2026-05-27
💻 computer science

From Actions to Obligations: A Deontic Action Model Logic

यह शोध पत्र डियोन्टिक एक्शन मॉडल लॉजिक (DAML) प्रस्तुत करता है, जो एक नवीन डायनेमिक मोडल फ्रेमवर्क है जो कार्यों को उनके अपेक्षित डियोन्टिक मूल्य के आधार पर मूल्यांकन करके मल्टी-एजेंट सिस्टम में संदर्भ-संवेदनशील दायित्वों को औपचारिक रूप से व्युत्पन्न करने के लिए एक्शन मॉडल लॉजिक का विस्तार करता है, और इसके स्वयंसिद्धिकरण (axiomatization) तथा 'माइनर्स पज़ल' जैसे केस स्टडीज के माध्यम से इसकी सुसंगतता (soundness), पूर्णता (completeness) और अभिव्यंजक शक्ति (expressive power) को स्थापित करता है।

Giorgio Cignarale2026-05-27
💻 computer science

mstlo: Efficient Online Monitoring of Signal Temporal Logic

यह शोध पत्र mstlo को प्रस्तुत करता है, जो एक उच्च-प्रदर्शन वाली Rust लाइब्रेरी है जिसमें पायथन बाइंडिंग्स हैं जो एक एकीकृत इंटरफ़ेस, कैशिंग के साथ एक वृद्धिशील डायनेमिक प्रोग्रामिंग एल्गोरिदम और एक एम्बेडेड डोमेन-विशिष्ट भाषा के माध्यम से सिग्नल टेम्पोरल लॉजिक की कुशल ऑनलाइन निगरानी को सक्षम बनाती है, जो मौजूदा उपकरणों की तुलना में महत्वपूर्ण स्केलेबिलिटी सुधार प्रदर्शित करती है।

Andreas Kaag Thomsen, Niels Viggo Stark Madsen, Valdemar Tang Evans, Thomas David Wright, Lukas Esterle, Peter Gorm Lars (…)2026-05-27