Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023
Aus International Center for Computational Logic
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023
Jan VantienenJan Vantienen, Tomáš KliegrTomáš Kliegr, Paul FodorPaul Fodor, Davide LantiDavide Lanti, Dörthe ArndtDörthe Arndt, Egor V. KostylevEgor V. Kostylev, Theodoros MitsikasTheodoros Mitsikas, Ahmet SoyluAhmet Soylu
Jan Vantienen, Tomáš Kliegr, Paul Fodor, Davide Lanti, Dörthe Arndt, Egor V. Kostylev, Theodoros Mitsikas, Ahmet Soylu
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023
Volume 3485 of CEUR Workshop Proceedings, September 2023. ceur-ws.org
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023
Volume 3485 of CEUR Workshop Proceedings, September 2023. ceur-ws.org
- Weitere Informationen unter:Further Information: Link
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@proceedings{VKFLAKMS2023,
author = {Jan Vantienen and Tom{\'{a}}{\v{s}} Kliegr and Paul Fodor and
Davide Lanti and D{\"{o}}rthe Arndt and Egor V. Kostylev and
Theodoros Mitsikas and Ahmet Soylu},
title = {Proceedings of the 17th International Rule Challenge and 7th
Doctoral Consortium @ {RuleML+RR} 2023 co-located with 19th
Reasoning Web Summer School (RW 2023) and 15th {DecisionCAMP}
2023 as part of Declarative {AI} 2023},
series = {CEUR Workshop Proceedings},
volume = {3485},
publisher = {ceur-ws.org},
year = {2023},
month = {September}
}