Results for "ArXiv cs.LO Recent Papers"

Results for "ArXiv cs.LO Recent Papers" Showing 1 - 50 results of 112 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22ArXiv+cs.LO+Recent+Papers%22&type=AllFields&lng=en 112 0 50 Non-negative Rational Semantic Numeration Systems Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48459 https://search.frelip.org/Record/rss_article:48459 Online Article RSS Article 2026 0 Splitting Argumentation Frameworks with Collective Attacks and Supports Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48460 https://search.frelip.org/Record/rss_article:48460 Online Article RSS Article 2026 0 Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48461 https://search.frelip.org/Record/rss_article:48461 Online Article RSS Article 2026 0 On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48462 https://search.frelip.org/Record/rss_article:48462 Online Article RSS Article 2026 0 Attractor FCM Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48463 https://search.frelip.org/Record/rss_article:48463 Online Article RSS Article 2026 0 Computing Witnesses Using the SCAN Algorithm Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48464 https://search.frelip.org/Record/rss_article:48464 Online Article RSS Article 2026 0 A Logic of Inability Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48465 https://search.frelip.org/Record/rss_article:48465 Online Article RSS Article 2026 0 Order-invariant cluster first-order logic on graph classes of bounded degree Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48466 https://search.frelip.org/Record/rss_article:48466 Online Article RSS Article 2026 0 BAss: Symbolic Reasoning in Abstract Dialectical Frameworks Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48467 https://search.frelip.org/Record/rss_article:48467 Online Article RSS Article 2026 0 A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48468 https://search.frelip.org/Record/rss_article:48468 Online Article RSS Article 2026 0 Full Definability in a Profunctorial Model Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48469 https://search.frelip.org/Record/rss_article:48469 Online Article RSS Article 2026 0 Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48470 https://search.frelip.org/Record/rss_article:48470 Online Article RSS Article 2026 0 On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48471 https://search.frelip.org/Record/rss_article:48471 Online Article RSS Article 2026 0 An Effective Orchestral Approach to Satisfiability Modulo Prime Fields Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48472 https://search.frelip.org/Record/rss_article:48472 Online Article RSS Article 2026 0 On-the-fly LTLf Synthesis under Partial Observability Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48473 https://search.frelip.org/Record/rss_article:48473 Online Article RSS Article 2026 0 Finite-Horizon First-Order Rank Profiles of Regular Languages Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48474 https://search.frelip.org/Record/rss_article:48474 Online Article RSS Article 2026 0 Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48475 https://search.frelip.org/Record/rss_article:48475 Online Article RSS Article 2026 0 Templates in Rewriting Induction Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48476 https://search.frelip.org/Record/rss_article:48476 Online Article RSS Article 2026 0 Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48477 https://search.frelip.org/Record/rss_article:48477 Online Article RSS Article 2026 0 Pseudo-Complex Quantifier Elimination Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48478 https://search.frelip.org/Record/rss_article:48478 Online Article RSS Article 2026 0 Automaton-based Characterisations of First Order Logic over Infinite Trees Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48479 https://search.frelip.org/Record/rss_article:48479 Online Article RSS Article 2026 0 Quantum Bayesian Networks: Compositionality and Typing via Linear Logic Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48480 https://search.frelip.org/Record/rss_article:48480 Online Article RSS Article 2026 0 Verification of Neural Networks (Lecture Notes) Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:48481 https://search.frelip.org/Record/rss_article:48481 Online Article RSS Article 2026 0 Univalence without function extensionality Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49108 https://search.frelip.org/Record/rss_article:49108 Online Article RSS Article 2026 0 The Synthetic Sierpiński Cone Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49109 https://search.frelip.org/Record/rss_article:49109 Online Article RSS Article 2026 0 HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49110 https://search.frelip.org/Record/rss_article:49110 Online Article RSS Article 2026 0 Efficient Incremental #SAT via Cross-Instance Knowledge Reuse Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49111 https://search.frelip.org/Record/rss_article:49111 Online Article RSS Article 2026 0 Type Theory With Erasure Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49112 https://search.frelip.org/Record/rss_article:49112 Online Article RSS Article 2026 0 Intuitionistic Common Knowledge Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49113 https://search.frelip.org/Record/rss_article:49113 Online Article RSS Article 2026 0 Zero-Knowledge Model Checking Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49114 https://search.frelip.org/Record/rss_article:49114 Online Article RSS Article 2026 0 Multiset semantics in SPARQL, Relational Algebra and Datalog Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49115 https://search.frelip.org/Record/rss_article:49115 Online Article RSS Article 2026 0 Polymorphism Meets DHOL Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49116 https://search.frelip.org/Record/rss_article:49116 Online Article RSS Article 2026 0 Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49117 https://search.frelip.org/Record/rss_article:49117 Online Article RSS Article 2026 0 From Tensor Networks to Tractable Circuits, and back Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49118 https://search.frelip.org/Record/rss_article:49118 Online Article RSS Article 2026 0 Static Analysis of Recursive SHACL Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49410 https://search.frelip.org/Record/rss_article:49410 Online Article RSS Article 2026 0 Efficient Temporal Datalog Materialisation for Composite Event Recognition Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49411 https://search.frelip.org/Record/rss_article:49411 Online Article RSS Article 2026 0 Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49412 https://search.frelip.org/Record/rss_article:49412 Online Article RSS Article 2026 0 Glivenko's theorems from an ecumenical perspective Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49413 https://search.frelip.org/Record/rss_article:49413 Online Article RSS Article 2026 0 Differentially Private Runtime Monitoring Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49414 https://search.frelip.org/Record/rss_article:49414 Online Article RSS Article 2026 0 A uniform characterisation of the (a)synchronous must-preorder Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49415 https://search.frelip.org/Record/rss_article:49415 Online Article RSS Article 2026 0 Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49416 https://search.frelip.org/Record/rss_article:49416 Online Article RSS Article 2026 0 Knowledge Compilation for Quantification in Alternating Automata Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49417 https://search.frelip.org/Record/rss_article:49417 Online Article RSS Article 2026 0 Efficient Decision Procedures for RNmatrix Semantics Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49418 https://search.frelip.org/Record/rss_article:49418 Online Article RSS Article 2026 0 Collusion Relations and their Applications to Balance Theory Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49419 https://search.frelip.org/Record/rss_article:49419 Online Article RSS Article 2026 0 Automated Channel Fault Analysis with Tofu Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49420 https://search.frelip.org/Record/rss_article:49420 Online Article RSS Article 2026 0 Inexpressibility in Exp-Minus-Log Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49421 https://search.frelip.org/Record/rss_article:49421 Online Article RSS Article 2026 0 ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49422 https://search.frelip.org/Record/rss_article:49422 Online Article RSS Article 2026 0 Value Functions for Temporal Logic: Optimal Policies and Safety Filters Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49423 https://search.frelip.org/Record/rss_article:49423 Online Article RSS Article 2026 0 Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49424 https://search.frelip.org/Record/rss_article:49424 Online Article RSS Article 2026 0 Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries Thu, 01 Jan 2026 01:44:09 -0500 https://search.frelip.org/Record/rss_article:49425 https://search.frelip.org/Record/rss_article:49425 Online Article RSS Article 2026 0