:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Gelderie, Marcus, Luff, Maximilian, Peltzer, Maximilian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2507.13178
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Automated Theorem Proving for Prolog Verification
di: Mesnard, Fred, et al.
Pubblicazione: (2026)

Subgraph Isomorphism: Prolog vs. Conventional
di: Yin, Claire Y., et al.
Pubblicazione: (2025)

A Prolog Program for Bottom-up Evaluation
di: Warren, David S.
Pubblicazione: (2025)

Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York
di: Sehgal, Sanskar, et al.
Pubblicazione: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

Risk-averse optimization of total rewards in Markovian models using deviation measures
di: Baier, Christel, et al.
Pubblicazione: (2024)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
di: Fages, François
Pubblicazione: (2024)

Dependent Multiplicities in Dependent Linear Type Theory
di: Doré, Maximilian
Pubblicazione: (2025)

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
di: Sartor, Galileo, et al.
Pubblicazione: (2025)

Automating Boundary Filling in Cubical Type Theories
di: Doré, Maximilian, et al.
Pubblicazione: (2024)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
di: Zeyen, Olivier, et al.
Pubblicazione: (2025)

Formally Verified Approximate Policy Iteration
di: Schäffeler, Maximilian, et al.
Pubblicazione: (2024)

Empirical Impact of Dimensionality on Random Geometric SAT
di: Rädiker, Flora
Pubblicazione: (2026)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
di: Brihaye, Thomas, et al.
Pubblicazione: (2025)

Sequence-Based Abstract Interpretation of Prolog
di: Charlier, Baudouin Le, et al.
Pubblicazione: (2000)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
di: Kohlen, Bram, et al.
Pubblicazione: (2025)

A categorical perspective on constraint satisfaction: The wonderland of adjunctions
di: Hadek, Maximilian, et al.
Pubblicazione: (2025)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
di: Budde, Carlos E., et al.
Pubblicazione: (2024)

Sound Value Iteration for Simple Stochastic Games
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
di: Fandinno, Jorge, et al.
Pubblicazione: (2024)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
di: Barto, Libor, et al.
Pubblicazione: (2026)

Generalized Decidability via Brouwer Trees
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
di: Grobelna, Marta, et al.
Pubblicazione: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)

Dynamic IFC Theorems for Free!
di: Algehed, Maximilian, et al.
Pubblicazione: (2020)

Deciding Termination of Simple Randomized Loops
di: Meyer, Éléanore, et al.
Pubblicazione: (2025)

Tools at the Frontiers of Quantitative Verification
di: Andriushchenko, Roman, et al.
Pubblicazione: (2024)

Positive Almost-Sure Termination of Polynomial Random Walks
di: Winkler, Lorenz, et al.
Pubblicazione: (2025)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
di: Budde, Carlos E., et al.
Pubblicazione: (2025)

A Unifying Approach to Probabilistic Testing Equivalences
di: Chen, Weijun, et al.
Pubblicazione: (2025)

Small Test Suites for Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2024)

Completeness of Finitely Weighted Kleene Algebra With Tests
di: Sedlár, Igor
Pubblicazione: (2024)

Property-Based Testing by Elaborating Proof Outlines
di: Miller, Dale, et al.
Pubblicazione: (2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview
di: Antonelli, Melissa, et al.
Pubblicazione: (2024)

No Scratch Quantum Computing by Reducing Qubit Overhead for Efficient Arithmetics
di: Faizy, Omid, et al.
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

A Unifying Categorical View of Nondeterministic Iteration and Tests
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)