Towards Mass Spectrum Analysis with ASP
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, as measured in mass spectrometry. To constrain the exponential search space for this combinatorial problem, we develop canonical representations of molecular structures and an ASP implementation that uses these definitions. We evaluate the correctness of our implementation over a large set of known molecular structures, and we compare its quality and performance to other ASP symmetry-breaking methods and to a commercial tool from analytical chemistry.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings |
| Redakteure/-innen | Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez |
| Erscheinungsort | Dallas, TX, USA |
| Herausgeber (Verlag) | Springer, Cham |
| Seiten | 200-214 |
| Seitenumfang | 15 |
| ISBN (elektronisch) | 978-3-031-74209-5 |
| ISBN (Print) | 978-3-031-74208-8 |
| Publikationsstatus | Veröffentlicht - 9 Okt. 2024 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture notes in computer science |
|---|---|
| Band | 15245 |
| ISSN | 0302-9743 |
| Reihe | Lecture Notes in Artificial Intelligence (LNAI) |
|---|---|
| ISSN | 0302-9743 |
Konferenz
| Titel | 17th International Conference on Logic Programming and Non-monotonic Reasoning |
|---|---|
| Kurztitel | LPNMR 2024 |
| Veranstaltungsnummer | 17 |
| Dauer | 11 - 14 Oktober 2024 |
| Webseite | |
| Ort | University of Texas at Dallas |
| Stadt | Dallas |
| Land | USA/Vereinigte Staaten |
Externe IDs
| Scopus | 85207643086 |
|---|---|
| ORCID | /0000-0002-1604-6308/work/176342328 |
Schlagworte
Forschungsprofillinien der TU Dresden
ASJC Scopus Sachgebiete
Schlagwörter
- chemistry, molecular structure, symmetry breaking, ASP