:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ganian, Robert, Gründel, Marlene, Wietheger, Simon
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Computational Complexity
Online-Zugang:	https://arxiv.org/abs/2511.08091
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Structural Complexity Analysis of Hierarchical Task Network Planning
von: Brand, Cornelius, et al.
Veröffentlicht: (2024)

From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy
von: Dörfler, Julian, et al.
Veröffentlicht: (2024)

Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
von: Ganian, Robert, et al.
Veröffentlicht: (2026)

Probabilistic and Causal Satisfiability: Constraining the Model
von: Bläser, Markus, et al.
Veröffentlicht: (2025)

Pathways to Tractability for Geometric Thickness
von: Depian, Thomas, et al.
Veröffentlicht: (2024)

The Limits of Tractable Marginalization
von: Broadrick, Oliver, et al.
Veröffentlicht: (2025)

The Complexity of Optimizing Atomic Congestion
von: Brand, Cornelius, et al.
Veröffentlicht: (2023)

Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity
von: Ganian, Robert, et al.
Veröffentlicht: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
von: Li, Jinzhao, et al.
Veröffentlicht: (2023)

The Computational Complexity of Satisfiability in State Space Models
von: Alsmann, Eric, et al.
Veröffentlicht: (2025)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
von: Sälzer, Marco, et al.
Veröffentlicht: (2024)

The Descriptive Complexity of Relation Modification Problems
von: Chudigiewitsch, Florian, et al.
Veröffentlicht: (2026)

A Provable Expressiveness Hierarchy in Hybrid Linear-Full Attention
von: Ye, Xiaowei, et al.
Veröffentlicht: (2026)

On the Complexity of Identification in Linear Structural Causal Models
von: Dörfler, Julian, et al.
Veröffentlicht: (2024)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
von: Kazakov, Yevgeny, et al.
Veröffentlicht: (2009)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Debate is efficient with your time
von: Brown-Cohen, Jonah, et al.
Veröffentlicht: (2026)

A Parameterized-Complexity Framework for Finding Local Optima
von: Ganian, Robert, et al.
Veröffentlicht: (2026)

Parameterized Complexity of Caching in Networks
von: Ganian, Robert, et al.
Veröffentlicht: (2024)

Forgetting in short and heterogeneous sequences of belief revisions
von: Liberatore, Paolo
Veröffentlicht: (2025)

Value Iteration with Guessing for Markov Chains and Markov Decision Processes
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Structure-Aware Encodings of Argumentation Properties for Clique-width
von: Mahmood, Yasir, et al.
Veröffentlicht: (2025)

On the Holographic Geometry of Deterministic Computation
von: Nye, Logan
Veröffentlicht: (2025)

Complexity Results of Persuasion
von: Grastien, Alban
Veröffentlicht: (2025)

Training Cross-Morphology Embodied AI Agents: From Practical Challenges to Theoretical Foundations
von: Liu, Shaoshan, et al.
Veröffentlicht: (2025)

A Quantale-Weakness Route to $P \neq NP$ via CD Evidence Normalization and Gauge-Buffered Locked Ensembles
von: Goertzel, Ben
Veröffentlicht: (2025)

Solving Multiagent Path Finding on Highly Centralized Networks
von: Fioravantes, Foivos, et al.
Veröffentlicht: (2024)

Strongly Polynomial Time Complexity of Policy Iteration for $L_\infty$ Robust MDPs
von: Asadi, Ali, et al.
Veröffentlicht: (2026)

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
von: Eriksson, Leif, et al.
Veröffentlicht: (2026)

Over the Edge of Chaos? Excess Complexity as a Roadblock to Artificial General Intelligence
von: Susnjak, Teo, et al.
Veröffentlicht: (2024)

CSPs with Few Alien Constraints
von: Jonsson, Peter, et al.
Veröffentlicht: (2024)

Prime Successor Irreducibility: Turing Machine Complexity, Kolmogorov Complexity, and Weakness-Based Formulations
von: Goertzel, Ben, et al.
Veröffentlicht: (2026)

Probabilistic Generating Circuits -- Demystified
von: Agarwal, Sanyam, et al.
Veröffentlicht: (2024)

The Computational Boundary of Inference: Capability Internalization, Training, and the Turing Jump
von: Lu, Chien-Ping
Veröffentlicht: (2026)

Parameterized Complexity Of Representing Models Of MSO Formulas
von: Kučera, Petr, et al.
Veröffentlicht: (2026)

An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages
von: Fargier, Hélène, et al.
Veröffentlicht: (2021)

Complexity of Scheduling Charging in the Smart Grid
von: de Weerdt, Mathijs, et al.
Veröffentlicht: (2017)

Diversity of Extensions in Abstract Argumentation
von: Fichte, Johannes K., et al.
Veröffentlicht: (2026)

ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints
von: Handa, Divij, et al.
Veröffentlicht: (2024)

Solving Quantified Boolean Formulas with Few Existential Variables
von: Eriksson, Leif, et al.
Veröffentlicht: (2024)