local.bib

@string{iclp = {Proceedings of the International Conference on Logic Programming}}
@string{lpnmr = {Logic Programming and Nonmonotonic Reasoning}}
@string{lncs = lncs}
@string{springer = {Springer-Verlag}}
@string{eptcs = {Electronic Proceedings in Theoretical Computer Science}}
@string{tplp = {Theory and Practice of Logic Programming}}
@string{acm = {{ACM} Press}}
@string{aaai = {Proceedings of the {AAAI} Conference on Artificial Intelligence}}
@string{aaaimit = {{AAAI/MIT} Press}}

@book{comami67a,
  title={Theory of Scheduling},
  author={R. Conway and W. Maxwell and L. Miller},
  year={1967},
  publisher={Addison-Wesley}
}

@misc{caiari11a,
  title = {3rd ASP Competition, file and language formats},
  author = {F. Calimeri and G. Ianni and F. Ricca},
  url = {https://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.11.pdf},
  year = {2011}
}

@article{karoscwa20a,
  title = {How to build your own ASP-based system?!},
  author = {R. Kaminski and J. Romero and T. Schaub and P. Wanko},
  journal = {CoRR},
  volume = {abs/2008.06692},
  year = {2020}
}

@inproceedings{cafamu20a,
  title = {A System for Explainable Answer Set Programming},
  author = {P. Cabalar and J. Fandinno and B. Mu{\~{n}}iz},
  editor = {F. Ricca and A. Russo and S. Greco and N. Leone and A. Artikis and G. Friedrich and P. Fodor and A. Kimmig and F. Lisi and M. Maratea and A. Mileo and F. Riguzzi},
  booktitle = iclp,
  doi = {10.4204/EPTCS.325.19},
  pages = {124-136},
  series = eptcs,
  volume = {325},
  year = {2020},
}

@inproceedings{liutru13a,
  title = {Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers},
  author = {X. Liu and M. Truszczynski},
  editor = {P. Perny and M. Pirlot and A. Tsouki{\`{a}}s},
  booktitle = {Algorithmic Decision Theory - Third International Conference},
  doi = {10.1007/978-3-642-41575-3\_19},
  pages = {244-258},
  publisher = springer,
  series = lncs,
  url = {https://doi.org/10.1007/978-3-642-41575-3\_19},
  volume = {8176},
  year = {2013},
}

@inproceedings{scbhsuwa18a,
  title = {Answer Set Programming Modulo 'Space-Time'},
  author = {C. Schultz and M. Bhatt and J. Suchan and P. Walega},
  editor = {C. Benzm{\"{u}}ller and F. Ricca and X. Parent and D. Roman},
  booktitle = {Rules and Reasoning - Second International Joint Conference},
  doi = {10.1007/978-3-319-99906-7\_24},
  pages = {318-326},
  publisher = springer,
  series = lncs,
  url = {https://doi.org/10.1007/978-3-319-99906-7\_24},
  volume = {11092},
  year = {2018},
}

@article{gamarowawo15a,
  title = {Improved answer-set programming encodings for abstract argumentation},
  author = {S. Gaggl and N. Manthey and A. Ronca and J. Wallner and S. Woltran},
  doi = {10.1017/S1471068415000149},
  journal = tplp,
  number = {4-5},
  pages = {434-448},
  url = {https://doi.org/10.1017/S1471068415000149},
  volume = {15},
  year = {2015},
}

@inproceedings{smanmapo12a,
  title = {A case study of expressively constrainable level design automation tools for a puzzle game},
  author = {A. Smith and E. Andersen and M. Mateas and Z. Popovic},
  editor = {M. El{-}Nasr and M. Consalvo and S. Feiner},
  booktitle = {International Conference on the Foundations of Digital Games},
  doi = {10.1145/2282338.2282370},
  pages = {156-163},
  publisher = acm,
  url = {https://doi.org/10.1145/2282338.2282370},
  year = {2012},
}

@inproceedings{cosmma12a,
  title = {Anza Island: Novel Gameplay Using {ASP}},
  author = {K. Compton and A. Smith and M. Mateas},
  booktitle = {Proceedings of the The third workshop on Procedural Content Generation in Games},
  doi = {10.1145/2538528.2538539},
  pages = {13:1-13:4},
  publisher = acm,
  url = {https://doi.org/10.1145/2538528.2538539},
  year = {2012},
}

@inproceedings{erdher20a,
  title = {Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach},
  author = {E. Erdem and A. Herzig},
  editor = {F. Ricca and A. Russo and S. Greco and N. Leone and A. Artikis and G. Friedrich and P. Fodor and A. Kimmig and F. Lisi and M. Maratea and A. Mileo and F. Riguzzi},
  booktitle = iclp,
  doi = {10.4204/EPTCS.325.11},
  pages = {52-58},
  series = eptcs,
  url = {https://doi.org/10.4204/EPTCS.325.11},
  volume = {325},
  year = {2020},
}

@article{erfimapr20a,
  title = {A General Framework for Stable Roommates Problems using Answer Set Programming},
  author = {E. Erdem and M. Fidan and D. Manlove and P. Prosser},
  doi = {10.1017/S1471068420000277},
  journal = tplp,
  number = {6},
  pages = {911-925},
  url = {https://doi.org/10.1017/S1471068420000277},
  volume = {20},
  year = {2020},
}

@book{tepfri18a,
  title = {Heuristic Constraint Answer Set Programming for Manufacturing Problems},
  author = {E. Teppan. and G. Friedrich},
  editor = {I. Hatzilygeroudis and V. Palade},
  booktitle = {Advances in Hybridization of Intelligent Methods: Models, Systems and Applications},
  doi = {10.1007/978-3-319-66790-4_7},
  isbn = {978-3-319-66790-4},
  pages = {119-147},
  publisher = springer,
  url = {https://doi.org/10.1007/978-3-319-66790-4_7},
  year = {2018}
}

@inproceedings{dvrawawo20a,
  title = {{ASPARTIX-V19} - An Answer-Set Programming Based System for Abstract Argumentation},
  author = {W. Dvor{\'{a}}k and A. Rapberger and J. Wallner and S. Woltran},
  editor = {A. Herzig and J. Kontinen},
  booktitle = {Foundations of Information and Knowledge Systems - 11th International Symposium},
  doi = {10.1007/978-3-030-39951-1\_5},
  pages = {79-89},
  publisher = springer,
  series = lncs,
  url = {https://doi.org/10.1007/978-3-030-39951-1\_5},
  volume = {12012},
  year = {2020},
}

@inproceedings{schwitter12a,
  title = {Answer Set Programming via Controlled Natural Language Processing},
  author = {R. Schwitter},
  editor = {T. Kuhn and N. Fuchs},
  booktitle = {Controlled Natural Language - Third International Workshop},
  doi = {10.1007/978-3-642-32612-7\_3},
  pages = {26-43},
  publisher = springer,
  series = lncs,
  url = {https://doi.org/10.1007/978-3-642-32612-7\_3},
  volume = {7427},
  year = {2012},
}

@article{dabmar20a,
  title = {Generating Explorable Narrative Spaces with Answer Set Programming},
  author = {C. Dabral and C. Martens},
  journal = {Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment},
  month = oct,
  number = {1},
  pages = {45-51},
  url = {https://ojs.aaai.org/index.php/AIIDE/article/view/7406},
  volume = {16},
  year = {2020},
}

@article{reraigpajh19a,
  title = {Analyzing {XACML} policies using answer set programming},
  author = {M. Rezvani and D. Rajaratnam and A. Ignjatovic and M. Pagnucco and S. Jha},
  doi = {10.1007/s10207-018-0421-5},
  journal = {International Journal of Information Security},
  number = {4},
  pages = {465-479},
  url = {https://doi.org/10.1007/s10207-018-0421-5},
  volume = {18},
  year = {2019},
}

@inproceedings{eikarescwe17a,
  title = {Answer Set Programming with External Source Access},
  author = {T. Eiter and T. Kaminski and C. Redl and P. Sch{\"{u}}ller and A. Weinzierl},
  editor = {G. Ianni and D. Lembo and L. Bertossi and W. Faber and B. Glimm and G. Gottlob and S. Staab},
  booktitle = {Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017},
  doi = {10.1007/978-3-319-61033-7\_7},
  pages = {204-275},
  publisher = springer,
  series = lncs,
  url = {https://doi.org/10.1007/978-3-319-61033-7\_7},
  volume = {10370},
  year = {2017},
}

@inproceedings{dikophps20a,
  title = {Encoding Reversing Petri Nets in Answer Set Programming},
  author = {Y. Dimopoulos and E. Kouppari and A. Philippou and K. Psara},
  editor = {I. Lanese and M. Rawski},
  booktitle = {Reversible Computation - 12th International Conference},
  doi = {10.1007/978-3-030-52482-1\_17},
  pages = {264-271},
  publisher = springer,
  series = lncs,
  url = {https://doi.org/10.1007/978-3-030-52482-1\_17},
  volume = {12227},
  year = {2020},
}

@article{bogerd20a,
  title = {Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming},
  author = {A. Bogatarkan and E. Erdem},
  doi = {10.1017/S1471068420000320},
  journal = tplp,
  number = {6},
  pages = {974-989},
  url = {https://doi.org/10.1017/S1471068420000320},
  volume = {20},
  year = {2020},
}

@inproceedings{aisaam18a,
  title = {Bringing answer set programming to the next level: A real case on modeling course timetabling},
  author = {I. Aini and A. Saptawijaya and S. Aminah},
  booktitle = {International Conference on Advanced Computer Science and Information Systems},
  doi = {10.1109/ICACSIS.2017.aisaam18a},
  month = may,
  pages = {471-476},
  publisher = {Institute of Electrical and Electronics Engineers Inc.},
  year = {2018},
}

@article{becadolemamava21a,
  title = {Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming},
  author = {R. Bertolucci and A. Capitanelli and C. Dodaro and N. Leone and M. Maratea and F. Mastrogiovanni and M. Vallati},
  doi = {10.1017/S1471068420000459},
  journal = tplp,
  number = {3},
  pages = {372–401},
  publisher = {Cambridge University Press},
  volume = {21},
  year = {2021},
}

@article{izmerd20a,
  title = {Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming},
  author = {Y. Izmirlioglu and E. Erdem},
  doi = {10.1017/S1471068420000411},
  journal = tplp,
  number = {6},
  pages = {942-957},
  url = {https://doi.org/10.1017/S1471068420000411},
  volume = {20},
  year = {2020},
}

@inproceedings{linzha04b,
  author    = {F. Lin and X. Zhao},
  editor    = {D. McGuinness and G. Ferguson},
  title     = {On Odd and Even Cycles in Normal Logic Programs},
  booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence},
  pages     = {80-85},
  publisher = aaaimit,
  year      = {2004},
  url       = {http://www.aaai.org/Library/AAAI/2004/aaai04-013.php},
}

@inproceedings{golbod96a,
  author    = {R. Goldman and M. Boddy},
  editor    = {B. Drabble},
  title     = {Expressive Planning and Explicit Knowledge},
  booktitle = {Proceedings of the Third International Conference on Artificial Intelligence Planning Systems},
  pages     = {110-117},
  publisher = {{AAAI}},
  year      = {1996},
}

@article{brfale09a,
  author    = {A. Bria and W. Faber and N. Leone},
  title     = {Normal Form Nested Programs},
  journal   = {Fundamenta Informaticae},
  volume    = {96},
  number    = {3},
  pages     = {271-295},
  year      = {2009},
  doi       = {10.3233/FI-2009-179},
}

@inproceedings{ijcai2022p353,
  title     = {Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck},
  author    = {V. Besin and M. Hecher and S. Woltran},
  booktitle = {Proceedings of the Thirty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-22}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {L. De Raedt},
  pages     = {2546-2552},
  year      = {2022},
  month     = {7},
  doi       = {10.24963/ijcai.2022/353},
}