Copertina

An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fargier, Hélène, Mengel, Stefan, Mengin, Jérôme
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Artificial Intelligence Computational Complexity
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Sum of Squares Circuits
di: Loconte, Lorenzo, et al.
Pubblicazione: (2024)

Universal NP-Hardness of Clustering under General Utilities
di: Majumdar, Angshul
Pubblicazione: (2026)

Compilation and Fast Model Counting beyond CNF
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Lower Bounds for Conjunctive Query Evaluation
di: Mengel, Stefan
Pubblicazione: (2025)

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

Explaining Decisions in ML Models: a Parameterized Complexity Analysis
di: Ordyniak, Sebastian, et al.
Pubblicazione: (2024)

Probabilistic Generating Circuits -- Demystified
di: Agarwal, Sanyam, et al.
Pubblicazione: (2024)

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

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

A Theory of Formalisms for Representing Knowledge
di: Zhang, Heng, et al.
Pubblicazione: (2024)

Epistemic Skills: Reasoning about Knowledge and Oblivion
di: Liang, Xiaolong, et al.
Pubblicazione: (2025)

Reinforced Generation of Combinatorial Structures: Ramsey Numbers
di: Nagda, Ansh, et al.
Pubblicazione: (2026)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
di: Ghosh, Avijeet, et al.
Pubblicazione: (2025)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
di: Manière, Quentin, et al.
Pubblicazione: (2024)

Tight Fine-Grained Bounds for Direct Access on Join Queries
di: Bringmann, Karl, et al.
Pubblicazione: (2022)

CMAT: A Multi-Agent Collaboration Tuning Framework for Enhancing Small Language Models
di: Liang, Xuechen, et al.
Pubblicazione: (2024)

Circuit Complexity Bounds for RoPE-based Transformer Architecture
di: Chen, Bo, et al.
Pubblicazione: (2024)

BigO(Bench) -- Can LLMs Generate Code with Controlled Time and Space Complexity?
di: Chambon, Pierre, et al.
Pubblicazione: (2025)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

A characterization of efficiently compilable constraint languages
di: Berkholz, Christoph, et al.
Pubblicazione: (2023)

Optimization of DNN-based speaker verification model through efficient quantization technique
di: Hong, Yeona, et al.
Pubblicazione: (2024)

Journalists, Emotions, and the Introduction of Generative AI Chatbots: A Large-Scale Analysis of Tweets Before and After the Launch of ChatGPT
di: Lewis, Seth C., et al.
Pubblicazione: (2024)

Turing Completeness and Sid Meier's Civilization
di: de Wynter, Adrian
Pubblicazione: (2021)

Solving Multiagent Path Finding on Highly Centralized Networks
di: Fioravantes, Foivos, et al.
Pubblicazione: (2024)

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

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
di: Eriksson, Leif, et al.
Pubblicazione: (2026)

CSPs with Few Alien Constraints
di: Jonsson, Peter, et al.
Pubblicazione: (2024)

Prime Successor Irreducibility: Turing Machine Complexity, Kolmogorov Complexity, and Weakness-Based Formulations
di: Goertzel, Ben, et al.
Pubblicazione: (2026)

The Computational Boundary of Inference: Capability Internalization, Training, and the Turing Jump
di: Lu, Chien-Ping
Pubblicazione: (2026)

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

Parameterized Complexity Of Representing Models Of MSO Formulas
di: Kučera, Petr, et al.
Pubblicazione: (2026)

Complexity of Scheduling Charging in the Smart Grid
di: de Weerdt, Mathijs, et al.
Pubblicazione: (2017)

Diversity of Extensions in Abstract Argumentation
di: Fichte, Johannes K., et al.
Pubblicazione: (2026)

A Structural Complexity Analysis of Hierarchical Task Network Planning
di: Brand, Cornelius, et al.
Pubblicazione: (2024)

ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints
di: Handa, Divij, et al.
Pubblicazione: (2024)

Forgetting in short and heterogeneous sequences of belief revisions
di: Liberatore, Paolo
Pubblicazione: (2025)

Solving Quantified Boolean Formulas with Few Existential Variables
di: Eriksson, Leif, et al.
Pubblicazione: (2024)

Social Distancing Induced Coronavirus Optimization Algorithm (COVO): Application to Multimodal Function Optimization and Noise Removal
di: Varma, Om Ramakisan, et al.
Pubblicazione: (2024)

Probabilistic Explanations for Linear Models
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2024)

The Complexity of Symmetry Breaking Beyond Lex-Leader
di: Anders, Markus, et al.
Pubblicazione: (2024)