% Key papers for Logic and answer set programming theory (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{aaai2017_ontology_101445,
  title = {{Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10696},
}

@inproceedings{aaai2016_complexity_104947,
  title = {{Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10101},
}

@inproceedings{aaai2020_fastlas_101391,
  title = {{FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2020},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/5678},
}

@inproceedings{aaai2018_repairing_101483,
  title = {{Repairing Ontologies via Axiom Weakening}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11567},
}

@inproceedings{aaai2016_sdds_104953,
  title = {{SDDs Are Exponentially More Succinct than OBDDs}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10107},
}

@inproceedings{aaai2019_reasoning_101367,
  title = {{Reasoning over Streaming Data in Metric Temporal Datalog}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4168},
}

@inproceedings{icml2017_on_36318,
  title = {{On Relaxing Determinism in Arithmetic Circuits}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2017},
  url = {https://icml.cc/virtual/2017/poster/815},
}

@inproceedings{aaai2019_efficient_101360,
  title = {{Efficient Concept Induction for Description Logics}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4161},
}

@inproceedings{aaai2017_on_106033,
  title = {{On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11020},
}

@inproceedings{iclr2017_holstep_28392,
  title = {{HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2017},
  url = {https://openreview.net/forum?id=ryuxYmvel},
}

@inproceedings{aaai2018_weighted_101461,
  title = {{Weighted Abstract Dialectical Frameworks}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11545},
}

@inproceedings{aaai2017_lpmln_101435,
  title = {{LPMLN, Weak Constraints, and P-log}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10686},
}

@inproceedings{aaai2017_ontology_101429,
  title = {{Ontology-Mediated Queries for Probabilistic Databases}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10680},
}

@inproceedings{aaai2019_counting_101335,
  title = {{Counting Complexity for Reasoning in Abstract Argumentation}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4135},
}

@inproceedings{aaai2019_representing_101346,
  title = {{Representing and Learning Grammars in Answer Set Programming}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4147},
}

@inproceedings{aaai2016_a_104933,
  title = {{A Model for Learning Description Logic Ontologies Based on Exact Learning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10087},
}

@inproceedings{aaai2019_complexity_101332,
  title = {{Complexity of Abstract Argumentation under a Claim-Centric View}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4132},
}

@inproceedings{aaai2016_learning_104945,
  title = {{Learning Abductive Reasoning Using Random Examples}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10099},
}

@inproceedings{aaai2022_incomplete_2241,
  title = {{Incomplete Argumentation Frameworks: Properties and Complexity}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05451-incomplete-argumentation-frameworks-properties-and-complexity/},
}

@inproceedings{aaai2022_linear_2365,
  title = {{Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05642-linear-time-verification-of-data-aware-dynamic-systems-with-arithmetic/},
}

@inproceedings{aaai2024_adaptive_5135,
  title = {{Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28939},
}

@inproceedings{neurips2024_global_73586,
  title = {{Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/93899},
}

@inproceedings{aaai2024_computing_5456,
  title = {{Computing the Why-Provenance for Datalog Queries via SAT Solvers}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28914},
}

@inproceedings{aaai2025_1_7860,
  title = {{(1+1) Genetic Programming with Functionally Complete Instruction Sets Can Evolve Boolean Conjunctions and Disjunctions with Arbitrarily Small Error}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/35131},
}

@inproceedings{icml2024_graph2tac_43667,
  title = {{Graph2Tac: Online Representation Learning of Formal Math Concepts}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/34785},
}

@inproceedings{aaai2024_linear_6536,
  title = {{Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28922},
}

@inproceedings{aaai2024_decomposing_5620,
  title = {{Decomposing Constraint Networks for Calculating c-Representations}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28946},
}

@inproceedings{aaai2024_minimal_6642,
  title = {{Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28928},
}

@inproceedings{aaai2025_answering_8126,
  title = {{Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33625},
}

@inproceedings{aaai2024_complexity_5442,
  title = {{Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28910},
}

@inproceedings{aaai2024_redefining_7083,
  title = {{Redefining ABA+ Semantics via Abstract Set-to-Set Attacks}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28918},
}

@inproceedings{aaai2024_submodel_7437,
  title = {{Submodel Enumeration for CTL Is Hard}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28921},
}

@inproceedings{aaai2024_the_7552,
  title = {{The Logic of Doxastic Strategies}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/29963},
}

@inproceedings{aaai2025_a_7929,
  title = {{A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33635},
}

@inproceedings{aaai2025_fast_9143,
  title = {{Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33622},
}

@inproceedings{aaai2025_first_9201,
  title = {{First-Order Automata}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33638},
}

@inproceedings{aaai2025_ltlf_9690,
  title = {{LTLf Synthesis Under Unreliable Input}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33640},
}

@inproceedings{aaai2025_on_10178,
  title = {{On the Logic of Theory Base Change: Reformulation of Belief Bases}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33636},
}

@inproceedings{aaai2025_recursive_10489,
  title = {{Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33633},
}

@inproceedings{aaai2025_spectra_10812,
  title = {{Spectra of Cardinality Queries over Description Logic Knowledge Bases}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33652},
}