Skip to content Skip to footer
1 - 10 out of 96Page size: 10
96 Research output

2024

  • 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

    Published
  • 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

    Published
  • 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

    Published
  • Winning Snake: Design Choices in Multi-Shot ASP.

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

    Research output: Preprint/Documentation/ReportPreprint

    Published

2023

  • 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

    Published
  • Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination

    Gerlach, L. & Carral, D., 1 Sept 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). p. 301–310 10 p. (Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Vol. 20).

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

    Published
  • Wikidata: The Making Of

    Vrandečić, D., Pintscher, L. & Krötzsch, M., 30 Apr 2023, Companion Proceedings of the ACM Web Conference 2023 (WWW'23). Ding, Y., Tang, J., Sequeda, J. F., Aroyo, L., Castillo, C. & Houben, G.-J. (eds.). Association for Computing Machinery (ACM), New York, p. 615–624 10 p.

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

    Published
  • Efficient Dependency Analysis for Existential Rules

    Gonzalez, L., Ivliev, A., Krötzsch, M. & Mennicke, S., 2023, Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile. Kimelfeld, B., Martinez, M. V. & Angles, R. (eds.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 3409).

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

    Published

2022

  • Wissen als Code: Die Welt der Wissensgraphen und Ontologien

    Krötzsch, M., Dec 2022, Linux-Magazin, 2022, 12, p. 24–28.

    Research output: Contribution to specialist publicationFeature article/Contribution (Feuilleton)Invited

    Published
  • Efficient Dependency Analysis for Rule-Based Ontologies

    González, L., Ivliev, A., Krötzsch, M. & Mennicke, S., 16 Oct 2022, The Semantic Web – ISWC 2022: 21st International Semantic Web Conference, Proceedings. Sattler, U., Hogan, A., Keet, M., Presutti, V., Almeida, J. P. A., Takeda, H., Monnin, P., Pirrò, G. & d’Amato, C. (eds.). Springer, Berlin [u. a.], p. 267 - 283 17 p. (Lecture Notes in Computer Science, Volume 13489).

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

    Published
Previous 1 2 3 4 5 6 7 8 ...10 Next