:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Wilson, Nic, George, Anne-Marie, O'Sullivan, Barry
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2409.11044
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
di: George, Anne-Marie, et al.
Pubblicazione: (2024)

Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models
di: Wilson, Nic, et al.
Pubblicazione: (2024)

On Middle Grounds for Preference Statements
di: George, Anne-Marie, et al.
Pubblicazione: (2025)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

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

Computational Complexity of Standpoint LTL
di: Demri, Stéphane, et al.
Pubblicazione: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
di: Grilletti, Gianluca, et al.
Pubblicazione: (2024)

Cyclic Implicit Complexity
di: Curzi, Gianluca, et al.
Pubblicazione: (2021)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
di: McGeorge, Dag, et al.
Pubblicazione: (2024)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

Computing with Infinite Objects: the Gray Code Case
di: Spreen, Dieter, et al.
Pubblicazione: (2021)

Speedability of computably approximable reals and their approximations
di: Barmpalias, George, et al.
Pubblicazione: (2026)

Localized Attractor Computations for Infinite-State Games (Full Version)
di: Schmuck, Anne-Kathrin, et al.
Pubblicazione: (2024)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
di: Orvalho, Pedro, et al.
Pubblicazione: (2026)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Verification and External Parameter Inference for Stochastic World Models
di: Calinescu, Radu, et al.
Pubblicazione: (2025)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
di: Atserias, Albert, et al.
Pubblicazione: (2024)

Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers
di: Sonoda, Sho, et al.
Pubblicazione: (2026)

Colimit-Based Composition of High-Level Computing Devices
di: Arellanes, Damian
Pubblicazione: (2026)

Computing Supported Models via Transformation to Stable Models
di: Li, Fang, et al.
Pubblicazione: (2025)

Modelling Multiplicative Linear Logic via Deep Inference
di: Galor, Tomer, et al.
Pubblicazione: (2024)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
di: Alkhairy, Maha, et al.
Pubblicazione: (2025)

The Computational Complexity of Satisfiability in State Space Models
di: Alsmann, Eric, et al.
Pubblicazione: (2025)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Semantic Properties of Computations Defined by Elementary Inference Systems
di: Lucas, Salvador
Pubblicazione: (2025)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Enumerating Independent Linear Inferences
di: Das, Anupam, et al.
Pubblicazione: (2021)

Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
di: Sojakova, Kristina, et al.
Pubblicazione: (2025)

Games with $ω$-Automatic Preference Relations
di: Bruyère, Véronique, et al.
Pubblicazione: (2025)

Algorithms and Complexity of Difference Logic
di: Dabrowski, Konrad K., et al.
Pubblicazione: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
di: Fiuk, Oskar, et al.
Pubblicazione: (2025)

Terminating Hybrid Tableaus for Ordered Models
di: Nishimura, Yuki
Pubblicazione: (2025)