Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fargier, Hélène, Mengel, Stefan, Mengin, Jérôme
Format:	Preprint
Publié:	2021
Sujets:	Artificial Intelligence Computational Complexity
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Sum of Squares Circuits
par: Loconte, Lorenzo, et autres
Publié: (2024)

Universal NP-Hardness of Clustering under General Utilities
par: Majumdar, Angshul
Publié: (2026)

Compilation and Fast Model Counting beyond CNF
par: de Colnet, Alexis, et autres
Publié: (2025)

Lower Bounds for Conjunctive Query Evaluation
par: Mengel, Stefan
Publié: (2025)

Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models
par: Wilson, Nic, et autres
Publié: (2024)

Explaining Decisions in ML Models: a Parameterized Complexity Analysis
par: Ordyniak, Sebastian, et autres
Publié: (2024)

Probabilistic Generating Circuits -- Demystified
par: Agarwal, Sanyam, et autres
Publié: (2024)

On Middle Grounds for Preference Statements
par: George, Anne-Marie, et autres
Publié: (2025)

Over the Edge of Chaos? Excess Complexity as a Roadblock to Artificial General Intelligence
par: Susnjak, Teo, et autres
Publié: (2024)

A Theory of Formalisms for Representing Knowledge
par: Zhang, Heng, et autres
Publié: (2024)

Epistemic Skills: Reasoning about Knowledge and Oblivion
par: Liang, Xiaolong, et autres
Publié: (2025)

Reinforced Generation of Combinatorial Structures: Ramsey Numbers
par: Nagda, Ansh, et autres
Publié: (2026)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
par: Ghosh, Avijeet, et autres
Publié: (2025)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
par: Manière, Quentin, et autres
Publié: (2024)

Tight Fine-Grained Bounds for Direct Access on Join Queries
par: Bringmann, Karl, et autres
Publié: (2022)

CMAT: A Multi-Agent Collaboration Tuning Framework for Enhancing Small Language Models
par: Liang, Xuechen, et autres
Publié: (2024)

Circuit Complexity Bounds for RoPE-based Transformer Architecture
par: Chen, Bo, et autres
Publié: (2024)

BigO(Bench) -- Can LLMs Generate Code with Controlled Time and Space Complexity?
par: Chambon, Pierre, et autres
Publié: (2025)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
par: Ledaguenel, Arthur, et autres
Publié: (2024)

A characterization of efficiently compilable constraint languages
par: Berkholz, Christoph, et autres
Publié: (2023)

Optimization of DNN-based speaker verification model through efficient quantization technique
par: Hong, Yeona, et autres
Publié: (2024)

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

Turing Completeness and Sid Meier's Civilization
par: de Wynter, Adrian
Publié: (2021)

Solving Multiagent Path Finding on Highly Centralized Networks
par: Fioravantes, Foivos, et autres
Publié: (2024)

Strongly Polynomial Time Complexity of Policy Iteration for $L_\infty$ Robust MDPs
par: Asadi, Ali, et autres
Publié: (2026)

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
par: Eriksson, Leif, et autres
Publié: (2026)

CSPs with Few Alien Constraints
par: Jonsson, Peter, et autres
Publié: (2024)

Prime Successor Irreducibility: Turing Machine Complexity, Kolmogorov Complexity, and Weakness-Based Formulations
par: Goertzel, Ben, et autres
Publié: (2026)

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

From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy
par: Dörfler, Julian, et autres
Publié: (2024)

Parameterized Complexity Of Representing Models Of MSO Formulas
par: Kučera, Petr, et autres
Publié: (2026)

Complexity of Scheduling Charging in the Smart Grid
par: de Weerdt, Mathijs, et autres
Publié: (2017)

Diversity of Extensions in Abstract Argumentation
par: Fichte, Johannes K., et autres
Publié: (2026)

A Structural Complexity Analysis of Hierarchical Task Network Planning
par: Brand, Cornelius, et autres
Publié: (2024)

ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints
par: Handa, Divij, et autres
Publié: (2024)

Forgetting in short and heterogeneous sequences of belief revisions
par: Liberatore, Paolo
Publié: (2025)

Solving Quantified Boolean Formulas with Few Existential Variables
par: Eriksson, Leif, et autres
Publié: (2024)

Social Distancing Induced Coronavirus Optimization Algorithm (COVO): Application to Multimodal Function Optimization and Noise Removal
par: Varma, Om Ramakisan, et autres
Publié: (2024)

Probabilistic Explanations for Linear Models
par: Subercaseaux, Bernardo, et autres
Publié: (2024)

The Complexity of Symmetry Breaking Beyond Lex-Leader
par: Anders, Markus, et autres
Publié: (2024)