Image de couverture de livre

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hecher, Markus, Kiesel, Rafael
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Counting Answer Sets of Disjunctive Answer Set Programs
par: Kabir, Mohimenul, et autres
Publié: (2025)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
par: Fandinno, Jorge, et autres
Publié: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
par: Beiser, Alexander, et autres
Publié: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
par: Bankosegger, Rafael, et autres
Publié: (2026)

Streamliners for Answer Set Programming
par: Voboril, Florentina, et autres
Publié: (2026)

Long-term Power Grid Planning via Answer Set Programming
par: Ielo, Antonio, et autres
Publié: (2026)

Answer Set Programming for Flexible Payroll Management
par: Callewaert, Benjamin, et autres
Publié: (2024)

Hybrid Answer Set Programming: Foundations and Applications
par: Rühling, Nicolas
Publié: (2025)

Towards Constraint Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

Defeasible Conditionals using Answer Set Programming
par: Dennison, Racquel, et autres
Publié: (2026)

Finite Groundings for ASP with Functions: A Journey through Consistency
par: Gerlach, Lukas, et autres
Publié: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
par: Eiter, Thomas, et autres
Publié: (2025)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

A framework for Conditional Reasoning in Answer Set Programming
par: Alviano, Mario, et autres
Publié: (2025)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
par: Azzolini, Damiano, et autres
Publié: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
par: Cardellini, Matteo, et autres
Publié: (2024)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
par: Fandinno, Jorge, et autres
Publié: (2024)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
par: Bertagnon, Alessandro, et autres
Publié: (2025)

The Model Counting Competitions 2021-2023
par: Fichte, Johannes K., et autres
Publié: (2025)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
par: Rizwan, Momina, et autres
Publié: (2020)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

Human Conditional Reasoning in Answer Set Programming
par: Sakama, Chiaki
Publié: (2023)

Rejection in Abstract Argumentation: Harder Than Acceptance?
par: Fichte, Johannes K., et autres
Publié: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
par: Hansen, Zachary
Publié: (2025)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
par: Kaminski, Roland, et autres
Publié: (2024)

The Model Counting Competition 2020
par: Fichte, Johannes K., et autres
Publié: (2020)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
par: Gianola, Alessandro, et autres
Publié: (2023)

Question Answering with LLMs and Learning from Answer Sets
par: Borroto, Manuel, et autres
Publié: (2025)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
par: Salhi, Yakoub
Publié: (2024)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

Automated planning with ontologies under coherence update semantics (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2025)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
par: Cantale, Claudia, et autres
Publié: (2017)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
par: Parent, Xavier
Publié: (2026)

Strong Equivalence in Answer Set Programming with Constraints
par: Cabalar, Pedro, et autres
Publié: (2025)

Compiling Metric Temporal Answer Set Programming
par: Becker, Arvid, et autres
Publié: (2025)

Implementing Metric Temporal Answer Set Programming
par: Becker, Arvid, et autres
Publié: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
par: Izza, Yacine, et autres
Publié: (2025)