An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Fargier, Hélène, Mengel, Stefan, Mengin, Jérôme |
|---|---|
| Format: | Preprint |
| Publié: |
2021
|
| Sujets: | |
| Accès en ligne: | |
| 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)
par: Loconte, Lorenzo, et autres
Publié: (2024)
Universal NP-Hardness of Clustering under General Utilities
par: Majumdar, Angshul
Publié: (2026)
par: Majumdar, Angshul
Publié: (2026)
Compilation and Fast Model Counting beyond CNF
par: de Colnet, Alexis, et autres
Publié: (2025)
par: de Colnet, Alexis, et autres
Publié: (2025)
Lower Bounds for Conjunctive Query Evaluation
par: Mengel, Stefan
Publié: (2025)
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)
par: Wilson, Nic, et autres
Publié: (2024)
Explaining Decisions in ML Models: a Parameterized Complexity Analysis
par: Ordyniak, Sebastian, et autres
Publié: (2024)
par: Ordyniak, Sebastian, et autres
Publié: (2024)
Probabilistic Generating Circuits -- Demystified
par: Agarwal, Sanyam, et autres
Publié: (2024)
par: Agarwal, Sanyam, et autres
Publié: (2024)
On Middle Grounds for Preference Statements
par: George, Anne-Marie, et autres
Publié: (2025)
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)
par: Susnjak, Teo, et autres
Publié: (2024)
A Theory of Formalisms for Representing Knowledge
par: Zhang, Heng, et autres
Publié: (2024)
par: Zhang, Heng, et autres
Publié: (2024)
Epistemic Skills: Reasoning about Knowledge and Oblivion
par: Liang, Xiaolong, et autres
Publié: (2025)
par: Liang, Xiaolong, et autres
Publié: (2025)
Reinforced Generation of Combinatorial Structures: Ramsey Numbers
par: Nagda, Ansh, et autres
Publié: (2026)
par: Nagda, Ansh, et autres
Publié: (2026)
Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
par: Ghosh, Avijeet, et autres
Publié: (2025)
par: Ghosh, Avijeet, et autres
Publié: (2025)
Spectra of Cardinality Queries over Description Logic Knowledge Bases
par: Manière, Quentin, et autres
Publié: (2024)
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)
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)
par: Liang, Xuechen, et autres
Publié: (2024)
Circuit Complexity Bounds for RoPE-based Transformer Architecture
par: Chen, Bo, et autres
Publié: (2024)
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)
par: Chambon, Pierre, et autres
Publié: (2025)
A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
par: Ledaguenel, Arthur, et autres
Publié: (2024)
par: Ledaguenel, Arthur, et autres
Publié: (2024)
A characterization of efficiently compilable constraint languages
par: Berkholz, Christoph, et autres
Publié: (2023)
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)
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)
par: Lewis, Seth C., et autres
Publié: (2024)
Turing Completeness and Sid Meier's Civilization
par: de Wynter, Adrian
Publié: (2021)
par: de Wynter, Adrian
Publié: (2021)
Solving Multiagent Path Finding on Highly Centralized Networks
par: Fioravantes, Foivos, et autres
Publié: (2024)
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)
par: Asadi, Ali, et autres
Publié: (2026)
Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
par: Eriksson, Leif, et autres
Publié: (2026)
par: Eriksson, Leif, et autres
Publié: (2026)
CSPs with Few Alien Constraints
par: Jonsson, Peter, et autres
Publié: (2024)
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)
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)
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)
par: Dörfler, Julian, et autres
Publié: (2024)
Parameterized Complexity Of Representing Models Of MSO Formulas
par: Kučera, Petr, et autres
Publié: (2026)
par: Kučera, Petr, et autres
Publié: (2026)
Complexity of Scheduling Charging in the Smart Grid
par: de Weerdt, Mathijs, et autres
Publié: (2017)
par: de Weerdt, Mathijs, et autres
Publié: (2017)
Diversity of Extensions in Abstract Argumentation
par: Fichte, Johannes K., et autres
Publié: (2026)
par: Fichte, Johannes K., et autres
Publié: (2026)
A Structural Complexity Analysis of Hierarchical Task Network Planning
par: Brand, Cornelius, et autres
Publié: (2024)
par: Brand, Cornelius, et autres
Publié: (2024)
ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints
par: Handa, Divij, et autres
Publié: (2024)
par: Handa, Divij, et autres
Publié: (2024)
Forgetting in short and heterogeneous sequences of belief revisions
par: Liberatore, Paolo
Publié: (2025)
par: Liberatore, Paolo
Publié: (2025)
Solving Quantified Boolean Formulas with Few Existential Variables
par: Eriksson, Leif, et autres
Publié: (2024)
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)
par: Varma, Om Ramakisan, et autres
Publié: (2024)
Probabilistic Explanations for Linear Models
par: Subercaseaux, Bernardo, et autres
Publié: (2024)
par: Subercaseaux, Bernardo, et autres
Publié: (2024)
The Complexity of Symmetry Breaking Beyond Lex-Leader
par: Anders, Markus, et autres
Publié: (2024)
par: Anders, Markus, et autres
Publié: (2024)
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)