A method for calculating probabilities in systems with uncertain timing of observations.
― 6 min read
Computer Science - Logic in Computer Science
RSSExploring the boundaries of choiceless computation with hypercubes and preorders.
― 5 min read
A look into provability and proof techniques in logic systems.
― 5 min read
This article discusses a new sequent calculus for Strong L intuitionistic logic.
― 4 min read
A look into string constraints and their importance in software systems.
― 6 min read
A study on how actions impact knowledge over time through logical frameworks.
― 6 min read
Exploring the dynamics and strategies of Rabin games in decision-making systems.
― 4 min read
A look into initial semantics and its role in programming languages with variables.
― 4 min read
This article analyzes succinctness in safety and cosafety languages using Linear Temporal Logic.
― 6 min read
A new approach simplifies the creation of robotic swarms for various tasks.
― 5 min read
A look into tools for verifying optimized software through scheduling languages and deductive verification.
― 7 min read
A new method enhances proof generation for SAT Modulo Monotonic Theories.
― 6 min read
Introducing Origami, a protocol enhancing interactive proofs for lookups using folding techniques.
― 6 min read
Discover how dependent variables can streamline reactive synthesis processes.
― 5 min read
Examining proof systems, their methods, and their connection to satisfiability solving.
― 7 min read
New methods improve the safety verification of Bayesian Neural Networks against attacks.
― 5 min read
An exploration of efficient higher-order functionals and their implications in computing.
― 7 min read
A look into how meaningfulness shapes programming language design and evaluation.
― 6 min read
This work discusses natural strategies and probabilistic logics for multi-agent systems.
― 7 min read
Future monitors improve smart contract reliability by considering future transactions.
― 6 min read
A study on how computers can create interesting geometric theorems.
― 5 min read
Examining challenges transformer models face in learning structural recursion.
― 6 min read
Discover the role of monadic intersection types in improving programming language type systems.
― 6 min read
A new framework for understanding agent interactions with resource constraints.
― 7 min read
This article explores how cut-rank influences graph transformations and their applications.
― 5 min read
Explore the art of misdirection in magic and daily life.
― 6 min read
A deep dive into the world of CSPs and their solutions.
― 6 min read
New methods aim to streamline interactive proofs in computer science, enhancing efficiency.
― 7 min read
New method enhances neural networks against adversarial attacks using set-based inputs.
― 8 min read
A new approach for safely analyzing program complexity through controlled data release.
― 6 min read
Learn how session types enhance communication protocols in software development.
― 6 min read
This article examines how causality influences choices and outcomes in decision-making.
― 8 min read
Explore the significance of controllable graphs in mathematics and computer science.
― 6 min read
A new ILP system improves logic program learning by focusing on key subprograms.
― 5 min read
A new method improves rule learning by linking smaller rules effectively.
― 5 min read
Exploring basic behaviors and their significance in system modeling.
― 4 min read
An innovative approach to analyzing security protocols using graph-embedded term rewriting systems.
― 6 min read
Introducing Z3alpha, a new method for SMT strategy generation using Monte Carlo Tree Search.
― 7 min read
A study of block-ordered relations and their connections through diagonals.
― 5 min read
This paper highlights methods for analyzing relationships in structures.
― 6 min read