conftrace_
← Foundations
Computer Science › Foundations ›

Algorithms

1,298 papers

Papers per year

1
6
27
149
97
'05
'10
'15
'20
'25

Papers

Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024
Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024
Submodel Enumeration for CTL Is Hard AAAI 2024
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024
A Compiler for Weak Decomposable Negation Normal Form AAAI 2024
Exact ASP Counting with Compact Encodings AAAI 2024
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024
Auditable Algorithms for Approximate Model Counting AAAI 2024
Optimised Storage for Datalog Reasoning AAAI 2024
Learning Broadcast Protocols AAAI 2024
Learning Small Decision Trees with Few Outliers: A Parameterized Perspective AAAI 2024
Universal Weak Coreset AAAI 2024
Friendly Attacks to Improve Channel Coding Reliability AAAI 2024
Hypergraph Neural Architecture Search AAAI 2024
Union Subgraph Neural Networks AAAI 2024
Improved Anonymous Multi-Agent Path Finding Algorithm AAAI 2024
Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024
The Complexity of Optimizing Atomic Congestion AAAI 2024
Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting AAAI 2024
PRP Rebooted: Advancing the State of the Art in FOND Planning AAAI 2024
Model Counting and Sampling via Semiring Extensions AAAI 2024
Identification for Tree-Shaped Structural Causal Models in Polynomial Time AAAI 2024
Colour Passing Revisited: Lifted Model Construction with Commutative Factors AAAI 2024
A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the Same Skeleton AAAI 2024
Delegation-Relegation for Boolean Matrix Factorization AAAI 2024