Weiter zum Inhalt Weiter zur Fußzeile

To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence

Karge, J., Burkhardt, J.-M., Rudolph, S. & Rusovac, D., 6 Mai 2024, AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. Band 2024-May. S. 983-991 9 S.

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

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures

Herrmann, L., Peth, V. & Rudolph, S., Feb. 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs, Band 288).

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

How to Tell Easy from Hard: Complexity of Conjunctive Query Entailment in Extensions of ALC

Bednarczyk, B. & Rudolph, S., 1 Nov. 2023, in: Journal of Artificial Intelligence Research. 78, S. 385-458 74 S.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying

Baget, J.-F., Mugnier, M.-L. & Rudolph, S., 18 Juni 2023, PODS 2023 - Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Geerts, F., Ngo, H. Q. & Sintos, S. (Hrsg.). ACM Press, S. 291-302 12 S.

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

Finite-Cliquewidth Sets of Existential Rules textendash Toward a General Criterion for Decidable yet Highly Expressive Querying

Feller, T., Lyon, T., Ostropolski-Nalewaja, P. & Rudolph, S., 1 März 2023, Proceedings of the 26th International Conference on Database Theory (ICDT 2023). Geerts, F. & Vandevoort, B. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 18:1-18:18 18. (Leibniz international proceedings in informatics : LIPIcs, Band 255).

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