Inproceedings3387: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Sarah Gaggl (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Sarah Gaggl (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 7: Zeile 7:
|Referiert=1
|Referiert=1
|Title=Winning Snake: Design Choices in Multi-Shot ASP
|Title=Winning Snake: Design Choices in Multi-Shot ASP
|To appear=1
|To appear=0
|Year=2024
|Year=2024
|Month=Oktober
|Month=Oktober
Zeile 23: Zeile 23:
|Projekt=Cfaed, InnoSale, NAVAS, ScaDS.AI
|Projekt=Cfaed, InnoSale, NAVAS, ScaDS.AI
|Forschungsgruppe=Logische Programmierung und Argumentation, Wissensbasierte Systeme
|Forschungsgruppe=Logische Programmierung und Argumentation, Wissensbasierte Systeme
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Answer Set Programming
}}
}}

Version vom 15. Januar 2025, 13:18 Uhr

Toggle side column
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Theory and Practice of Logic Programming, 24(4):772-789, October 2024
  • KurzfassungAbstract
    Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its multiple applications in science and industry. The constant development of advanced programming and modeling techniques extends the toolset for developers and users regularly. This paper compiles and demonstrates different techniques to reuse logic program parts (multi-shot) by solving the arcade game snakes. This game is particularly interesting because a victory can be assured by solving the NP-hard problem of Hamiltonian Cycles. We will demonstrate five hands-on implementations in clingo and compare their performance in an empirical evaluation. In addition, our implementation utilizes clingraph to generate a simple yet informative image representation of the game's progress.
  • Bemerkung: Note: Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), preprint at arxiv.org/abs/2408.08150
  • Projekt:Project: CfaedInnoSaleNAVASScaDS.AI
  • Forschungsgruppe:Research Group: Logische Programmierung und ArgumentationLogic Programming and ArgumentationWissensbasierte SystemeKnowledge-Based Systems
@article{BEG2024,
  author  = {Elisa B{\"{o}}hl and Stefan Ellmauthaler and Sarah Alice Gaggl},
  title   = {Winning Snake: Design Choices in Multi-Shot {ASP}},
  journal = {Theory and Practice of Logic Programming},
  volume  = {24},
  number  = {4},
  year    = {2024},
  month   = {October},
  pages   = {772-789},
  doi     = {doi.org/10.1017/S1471068424000267}
}