Inproceedings3392: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Alex Ivliev (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Alex Ivliev (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (3 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 5: | Zeile 5: | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
|Referiert= | |Referiert=1 | ||
|Title=Towards Mass Spectrum Analysis with ASP | |Title=Towards Mass Spectrum Analysis with ASP | ||
|To appear= | |To appear=0 | ||
|Year=2024 | |Year=2024 | ||
|Month= | |Month=Oktober | ||
|Booktitle=Logic Programming and Nonmonotonic Reasoning | |Booktitle=Logic Programming and Nonmonotonic Reasoning | ||
|Publisher=Springer | |Pages=200-214 | ||
|Publisher=Springer, Cham | |||
|Editor=Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez | |Editor=Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez | ||
|Series=Lecture Notes in Computer Science | |Series=Lecture Notes in Computer Science | ||
| Zeile 21: | Zeile 22: | ||
|ISSN=0302-9743 | |ISSN=0302-9743 | ||
|Download=LPNMR2024-Küchenmeister.pdf | |Download=LPNMR2024-Küchenmeister.pdf | ||
|Slides=LPNMR2024 Kuechenmeister Slides.pdf | |||
|Link=https://tools.iccl.inf.tu-dresden.de/genmol/ | |||
|DOI Name=https://doi.org/10.1007/978-3-031-74209-5_16 | |||
|Projekt=CPEC, InnoSale, SECAI, ScaDS.AI | |Projekt=CPEC, InnoSale, SECAI, ScaDS.AI | ||
|Forschungsgruppe=Wissensbasierte Systeme | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} | ||
Aktuelle Version vom 27. November 2024, 10:14 Uhr
Towards Mass Spectrum Analysis with ASP
Nils KüchenmeisterNils Küchenmeister, Alex IvlievAlex Ivliev, Markus KrötzschMarkus Krötzsch
Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, 200-214, October 2024. Springer, Cham
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, 200-214, October 2024. Springer, Cham
- KurzfassungAbstract
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. - Weitere Informationen unter:Further Information: Link
- Projekt:Project: CPEC, InnoSale, SECAI, ScaDS.AI
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KIK2024,
author = {Nils K{\"{u}}chenmeister and Alex Ivliev and Markus
Kr{\"{o}}tzsch},
title = {Towards Mass Spectrum Analysis with {ASP}},
editor = {Carmine Dodaro and Gopal Gupta and Maria Vanina Martinez},
booktitle = {Logic Programming and Nonmonotonic Reasoning},
series = {Lecture Notes in Computer Science},
volume = {15245},
publisher = {Springer, Cham},
year = {2024},
month = {October},
pages = {200-214},
doi = {https://doi.org/10.1007/978-3-031-74209-5_16}
}
