Towards Mass Spectrum Analysis with ASP
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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
Original language | English |
---|---|
Title of host publication | Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings |
Editors | Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez |
Place of Publication | Dallas, TX, USA |
Publisher | Springer, Cham |
Pages | 200-214 |
Number of pages | 15 |
ISBN (electronic) | 978-3-031-74209-5 |
ISBN (print) | 978-3-031-74208-8 |
Publication status | Published - 9 Oct 2024 |
Peer-reviewed | Yes |
Publication series
Series | Lecture notes in computer science |
---|---|
Volume | 15245 |
ISSN | 0302-9743 |
Series | Lecture Notes in Artificial Intelligence (LNAI) |
---|---|
ISSN | 0302-9743 |
Conference
Title | 17th International Conference on Logic Programming and Nonmonotonic Reasoning |
---|---|
Abbreviated title | LPNMR 2024 |
Conference number | 17 |
Duration | 11 - 14 October 2024 |
Website | |
Location | University of Texas at Dallas |
City | Dallas |
Country | United States of America |
External IDs
Scopus | 85207643086 |
---|---|
ORCID | /0000-0002-1604-6308/work/176342328 |
Keywords
Research priority areas of TU Dresden
ASJC Scopus subject areas
Keywords
- chemistry, molecular structure, symmetry breaking, ASP