conftrace_
← Topics

Computer Science

5,747 papers (0 classified directly here)

Subtopics

Applications (3,823) Foundations (1,623) Systems (601)

Papers per year

1
18
96
551
887
'05
'10
'15
'20
'25

Papers (including subtopics)

Unravelling Expressive Delegations: Complexity and Normative Analysis AAAI 2024
On the Outcome Equivalence of Extensive-Form and Behavioral Correlated Equilibria AAAI 2024
Procedural Level Generation with Diffusion Models from a Single Example AAAI 2024
Efficient Online Crowdsourcing with Complex Annotations AAAI 2024
When to Show a Suggestion? Integrating Human Feedback in AI-Assisted Programming AAAI 2024
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
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata 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
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024
Auditable Algorithms for Approximate Model Counting AAAI 2024
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming AAAI 2024
Optimised Storage for Datalog Reasoning AAAI 2024
Exploiting Symmetric Temporally Sparse BPTT for Efficient RNN Training AAAI 2024
SEA-GWNN: Simple and Effective Adaptive Graph Wavelet Neural Network AAAI 2024
Harnessing Manycore Processors with Distributed Memory for Accelerated Training of Sparse and Recurrent Models AAAI 2024
Learning Broadcast Protocols AAAI 2024
Learning Small Decision Trees with Few Outliers: A Parameterized Perspective AAAI 2024
Terrain Diffusion Network: Climatic-Aware Terrain Generation with Geological Sketch Guidance AAAI 2024
Universal Weak Coreset AAAI 2024
Friendly Attacks to Improve Channel Coding Reliability AAAI 2024