Semantisches Browsen
Aus International Center for Computational Logic
Answer set programming is a well-understoo … 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.age representation of the game's progress. +
@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 = {July},
pages = {772-789},
doi = {doi.org/10.1017/S1471068424000267}
}
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 = {July},
pages = {772-789},
doi = {doi.org/10.1017/S1471068424000267}
}
Böhl +
Elisa +
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), preprint at arxiv.org/abs/2408.08150 +
Elisa Böhl, Stefan Ellmauthaler, Sarah Ali … Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl<br/> '''[[Inproceedings3387|Winning Snake: Design Choices in Multi-Shot ASP]]''' <br/>__NOTOC__Theory and Practice of Logic Programming, 24(4):772-789, July 2024<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3387|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Snakesplus.pdf|Download]]a:Snakesplus.pdf|Download]] +
Elisa Böhl, Stefan Ellmauthaler, Sarah Ali … Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl<br/> '''[[Inproceedings3387/en|Winning Snake: Design Choices in Multi-Shot ASP]]''' <br/>__NOTOC__Theory and Practice of Logic Programming, 24(4):772-789, July 2024<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3387|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Snakesplus.pdf|Download]]a:Snakesplus.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Winning Snake: Design Choices in Multi-Shot ASP +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
15. Januar 2025, 11:19:34 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Winning Snake: Design Choices in Multi-Shot ASP +, Winning Snake: Design Choices in Multi-Shot ASP +, Winning Snake: Design Choices in Multi-Shot ASP +, Winning Snake: Design Choices in Multi-Shot ASP +, Winning Snake: Design Choices in Multi-Shot ASP +, Winning Snake: Design Choices in Multi-Shot ASP +, Winning Snake: Design Choices in Multi-Shot ASP + und Winning Snake: Design Choices in Multi-Shot ASP +
