Skip to content Skip to footer

Related content and researchers (public profile)

Towards Mass Spectrum Analysis with ASP

Küchenmeister, N., Ivliev, A. & Krötzsch, M., 9 Oct 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. (eds.). Dallas, TX, USA: Springer, Cham, p. 200-214 15 p. (Lecture notes in computer science, Vol. 15245). (Lecture Notes in Artificial Intelligence (LNAI)).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

IASCAR: Incremental Answer Set Counting by Anytime Refinement

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

Research output: Contribution to journalConference articleContributedpeer-review

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, p. 642–653.

Research output: Contribution to conferencesPaperContributedpeer-review

Winning Snake: Design Choices in Multi-Shot ASP.

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

Research output: Preprint/Documentation/ReportPreprint

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. (eds.). p. 333-335 3 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 385).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review