Weiter zum Inhalt Weiter zur Fußzeile

Verknüpfte Inhalte und Forschende (öffentliche Profile)

Towards Mass Spectrum Analysis with ASP

Küchenmeister, N., Ivliev, A. & Krötzsch, M., 9 Okt. 2024, Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings. Dodaro, C., Gupta, G. & Martinez, M. V. (Hrsg.). Dallas, TX, USA: Springer, Cham, S. 200-214 15 S. (Lecture notes in computer science, Band 15245). (Lecture Notes in Artificial Intelligence (LNAI)).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

IASCAR: Incremental Answer Set Counting by Anytime Refinement

Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., Mai 2024, in: Theory and practice of logic programming : TPLP. 24, 3, S. 505-532 28 S.

Publikation: Beitrag in FachzeitschriftKonferenzartikelBeigetragenBegutachtung

Navigating and Querying Answer Sets: How Hard Is It Really and Why?

Rusovac, D., Hecher, M., Gebser, M., Gaggl, S. A. & Fichte, J. K., 2024, S. 642–653.

Publikation: Beitrag zu KonferenzenPaperBeigetragenBegutachtung

Winning Snake: Design Choices in Multi-Shot ASP.

Böhl, E., Ellmauthaler, S. & Gaggl, S. A., 2024.

Publikation: Vorabdruck/Dokumentation/BerichtVorabdruck (Preprint)

Nemo: First Glimpse of a New Rule Engine

Ivliev, A., Ellmauthaler, S., Gerlach, L., Marx, M., Meißner, M., Meusel, S. & Krötzsch, M., 12 Sept. 2023, Proceedings 39th International Conference on Logic Programming. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., Garcez, A. D., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (Hrsg.). S. 333-335 3 S. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Band 385).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung