Full Text Available
Access Full Text at Repository
Search Results - arxiv cs.it recent paper
-
Should I Replan? Learning to Spot the Right Time in Robust MAPF Execution
Published in ArXiv cs.MA Recent Papers (2026)Subjects: “…ArXiv cs.MA Recent Papers…”
Get full text
Online Article RSS Article -
A Survey of Multi-Agent Deep Reinforcement Learning with Graph Neural Network-Based Communication
Published in ArXiv cs.MA Recent Papers (2026)Subjects: “…ArXiv cs.MA Recent Papers…”
Get full text
-
Where Did It Go Wrong? Capability-Oriented Failure Attribution for Vision-and-Language Navigation Agents
Published in ArXiv cs.MA Recent Papers (2026)Subjects: “…ArXiv cs.MA Recent Papers…”
Get full text
-
Non-negative Rational Semantic Numeration Systems
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Splitting Argumentation Frameworks with Collective Attacks and Supports
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Attractor FCM
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Computing Witnesses Using the SCAN Algorithm
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
A Logic of Inability
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Order-invariant cluster first-order logic on graph classes of bounded degree
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Full Definability in a Profunctorial Model
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
On-the-fly LTLf Synthesis under Partial Observability
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Finite-Horizon First-Order Rank Profiles of Regular Languages
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text