💻 Category

cs.LO

1115 पेपर

💻 computer science

Multi-paradigm Logic Programming in the E{\cal E}rgoAI System

यह शोध पत्र ErgoAI को प्रस्तुत करता है, जो Coherent Knowledge Systems द्वारा विकसित एक उच्च-स्तरीय, बहु-प्रतिमान (multi-paradigm) लॉजिक प्रोग्रामिंग सिस्टम है, जो Flora-2 के उत्तराधिकारी के रूप में कार्य करता है, और यह स्केलेबल ज्ञान प्रतिनिधित्व और तर्क (reasoning) को सक्षम करने के लिए वेल-फाउंडेड सिमेंटिक्स को F-logic, HiLog और डिफ़िज़िबल रीजनिंग (defeasible reasoning) जैसी विशेषताओं के साथ एकीकृत करता है, जो संरचित डेटा को वेक्टर एम्बेडिंग जैसे बाहरी स्रोतों के साथ जोड़ता है।

Michael Kifer, Theresa Swift2026-04-01
⚡ electrical engineering

Sound Value Iteration for Simple Stochastic Games

यह शोध पत्र एंड कंपोनेंट्स (end components) के उपचार के लिए विशिष्ट तकनीकों को पेश करते हुए और अनुकूलन प्रदान करते हुए, सिंपल स्टोकेस्टिक गेम्स और एंड कंपोनेंट्स वाले मार्कोव डिसीजन प्रोसेसेज को संभालने के लिए साउंड वैल्यू इटरेशन (Sound Value Iteration) का विस्तार करता है, जिससे संभाव्य चक्रों (probabilistic cycles) की उपस्थिति में सटीक और तेज़ अभिसरण (convergence) सक्षम होता है।

Muqsit Azeem, Jan Kretinsky, Maximilian Weininger2026-03-31
💻 computer science

Breaking Symmetries from a Set-Covering Perspective

यह शोध पत्र ग्राफ में समरूपता भंग (symmetry breaking) को एक सेट-कवरिंग समस्या के रूप में औपचारिक रूप देता है, जो संबंधित कम्प्यूटेशनल चुनौतियों को संबोधित करने के लिए सेट-कवरिंग तकनीकों पर दशकों के शोध का लाभ उठाते हुए इष्टतम और उन्नत आंशिक समरूपता भंगों की व्युत्पत्ति को सक्षम बनाता है।

Michael Codish, Mikoláš Janota2026-03-31
🔢 mathematics

Homological Invariants of Higher-Order Equational Theories

यह शोध पत्र प्रथम-क्रम तुल्यकालिक सिद्धांतों (first-order equational theories) में अभिगृहीतों (axioms) की संख्या पर निचली सीमाएँ स्थापित करने के लिए होमोलॉजिकल विधियों को उच्च-क्रम के सिद्धांतों (higher-order theories) तक विस्तारित करता है, जिसके लिए लैम्ब्डा पदों (lambda terms) के बीच समीकरणों के सेट के लिए इन सीमाओं की गणना करने हेतु प्रोडक्ट और यूनिट प्रकारों वाले सिंपली टाइप्ड लैम्ब्डा कैलकुलस (simply typed lambda calculus) के लिए होमोलॉजी समूहों को परिभाषित किया गया है।

Mirai Ikebuchi2026-03-31
💻 computer science

Capability Safety as Datalog: A Foundational Equivalence

यह शोध पत्र क्षमता सुरक्षा (capability safety) और प्रपोज़िशनल डैटलॉग (propositional Datalog) के बीच एक सटीक तुल्यता स्थापित करता है, जिससे मौजूदा क्षमता हाइपरग्राफ फ्रेमवर्क की संरचनात्मक सीमाओं को दूर करने के लिए ऑडिट सतह समावेशन (audit surface containment) हेतु एक कुशल वृद्धिशील रखरखाव (incremental maintenance) और एक निर्णय प्रक्रिया सक्षम होती है।

Cosimo Spera2026-03-31
💻 computer science

Automated Reencoding Meets Graph Theory

यह शोध पत्र 2-CNF सूत्रों को पुन: कूटबद्ध (reencoding) करने में बाउंडेड वेरिएबल एडिशन (BVA) की सैद्धांतिक सीमाओं और क्षमताओं को सिद्ध करने के लिए इसके ग्राफ-सिद्धांत आधारित अभिलक्षण को स्थापित करता है, जो सामान्य सूत्रों के लिए क्लॉज गणना को महत्वपूर्ण रूप से कम करने की इसकी क्षमता और 'एट-मोस्ट-वन' जैसे विशिष्ट बाधाओं के लिए इष्टतम कूटलेखन बनाने में इसकी अंतर्निहित अक्षमता, दोनों को प्रदर्शित करता है, साथ ही इन अंतर्दृष्टि का लाभ उठाकर एक अधिक कुशल कार्यान्वयन विकसित करता है।

Benjamin Przybocki, Bernardo Subercaseaux, Marijn J. H. Heule2026-03-31
🔢 mathematics

Janus-faces of temporal constraint languages: a dichotomy of expressivity

यह शोध पत्र प्रदर्शित करता है कि बहुपद समय (polynomial time) में हल होने वाली टेम्पोरल कंस्ट्रेंट भाषाएँ सीमित अभिव्यंजक शक्ति रखती हैं, एक ऐसा निष्कर्ष जो नए बीजगणितीय परिणाम उत्पन्न करता है और यह सिद्ध करता है कि वे 4-ary pseudo-Siggers पॉलीमॉर्फिज्म को स्वीकार करती हैं, जिससे व्यापक बोडिर्स्की-पिंस्कर अनुमान (Bodirsky-Pinsker conjecture) को समर्थन मिलता है।

Johanna Brunar, Michael Pinsker, Moritz Schöbi2026-03-30
💻 computer science

SuperDP: Differential Privacy Refutation via Supermartingales

यह शोधपत्र SuperDP प्रस्तुत करता है, जो सुपरमार्टिंगेल और सबमार्टिंगेल का उपयोग करके उल्लंघन करने वाले इनपुट्स और एक विभेदक फलन (distinguishing function) को एक साथ खोजने के माध्यम से, दोनों विविक्त (discrete) और निरंतर (continuous) वितरणों वाले स्टोकेस्टिक मैकेनिज्म में ϵ\epsilon-डिफरेंशियल प्राइवेसी को खंडित करने के लिए एक पूर्णतः स्वचालित और सुदृढ़ विधि है।

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, {\DJ}or{\dj}e Žikelić2026-03-30
💻 computer science

A General Theory of Propositional Modal Bundled Modalities

यह शोध पत्र एक समान बिसीम्युलेशन (bisimulation) परिभाषा, उत्तल बंडलों (convex bundles) के एक विशेष वर्ग और विभिन्न ज्ञान संबंधी परिदृश्यों के लिए ठोस अभिबद्धता (axiomatizations) को पेश करते हुए, बंडल मोडैलिटीज़ (bundled modalities) की अभिव्यंजक क्षमता और अभिबद्धता के लिए एक सामान्य सिद्धांत स्थापित करता है।

Yifeng Ding, Yuanzhe Yang2026-03-30
💻 computer science

Proofdoors and Efficiency of CDCL Solvers

यह शोध पत्र "प्रूफडोर" (proofdoor) पैरामीटर प्रस्तुत करता है, जो क्लॉज चंकिंग (clause chunking) और इंटरपोलेन्ट्स (interpolants) को जोड़ने वाला एक अपघटन ढांचा (decomposition framework) है, ताकि यह स्पष्ट और सिद्ध किया जा सके कि CDCL SAT सॉल्वर विशिष्ट सर्किट सत्यापन समस्याओं को कुशलतापूर्वक हल करते हैं, यह प्रदर्शित करते हुए कि छोटे प्रूफडोर वाले फॉर्मुलों में लघु रेजोल्यूशन प्रमाण (resolution proofs) होते हैं जिन्हें बहुपद समय (polynomial time) में संगणित किया जा सकता है, साथ ही अपघटन विकल्पों के प्रति इस ढांचे की संवेदनशीलता पर भी प्रकाश डालता है।

Sunidhi Singh, Vincent Liew, Marc Vinyals, Vijay Ganesh2026-03-30