IASCAR: Incremental Answer Set Counting by Anytime Refinement
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Logic Programming and Nonmonotonic Reasoning - 16th International Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings |
| Herausgeber (Verlag) | Springer |
| Band | Lecture Notes in Computer Science |
| Auflage | 13416 |
| ISBN (elektronisch) | 978-3-031-15707-3 |
| Publikationsstatus | Veröffentlicht - 2022 |
| Peer-Review-Status | Ja |
Externe IDs
| Scopus | 85137979484 |
|---|