Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)

Organization Name (de) Name der Organisation (de)
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)
 
Code Kennzahl
E056-23
 
Type of Organization Organisationstyp
Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 1-100 of 339 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ahmad, Sabtain ; Schneidergruber, Thomas ; Brandic, Ivona ; Scholz, Johannes On-Device Federated Learning for Remote Alpine Livestock MonitoringInproceedings Konferenzbeitrag 23-Aug-2026
2Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry SMT-Based Deontic Reasoning for Åqvist LogicsInproceedings Konferenzbeitrag 24-Jul-2026
3Andergassen, Sabine Intertwined fluctuations and isotope effects in the Hubbard-Holstein modelPresentation Vortrag23-Jul-2026
4Patricolo, Miriam Functional renormalization group treatment of the spiral phasePresentation Vortrag22-Jul-2026
5Krämer, Marcel Nico Cluster extension of DMF2RG and application to the 2d Hubbard modelPresentation Vortrag22-Jul-2026
6Kern, Bettina Manuela Johanna ; Kraus, Julia ; Tauböck, Shabnam Michèle ; Knees, Peter Why Near-Completion Informatics Students Do not Graduate: A Mixed-Methods StudyInproceedings Konferenzbeitrag9-Jul-2026
7Šabanović, Ahmed ; Maliakel, Paul Joe ; Brandić, Ivona INAR-VL: Input-Aware Routing for Edge–Cloud Vision–Language InferenceInproceedings Konferenzbeitrag20-Jun-2026
8Salome Wagner ; Peter Knees Advancing Responsible AI through Education, Research and Societal Engagement : Perspectives from TU Wien and the Vienna Doctoral College on Digital HumanismInproceedings Konferenzbeitrag 19-May-2026
9Gaspers, Serge ; Szeider, Stefan Backdoors to satisfaction continuedArticle Artikel May-2026
10Flicker, Katharina ; Rauber, Andreas ; Knees, Peter Revisiting Mechanisms to Support Trust in Research PracticesInproceedings KonferenzbeitragMay-2026
11Flicker, Katharina ; Rauber, Andreas ; Knees, Peter The Need for Novel Trustworthiness Indicators for Artefacts in Research InfrastructuresInproceedings KonferenzbeitragMay-2026
12Bilal-2026-IEEE Access-vor.pdf.jpgBilal, Mohammad ; Ehrenmüller, Katrin ; Steindl, Gernot ; Zheng, Zhuoxun ; Ahmetaj, Shqiponja ; Soylu, Ahmet ; Sallinger, Emanuel ; Kastner, Wolfgang Modeling State Causality in Energy Centred Cyber-Physical-Human Systems With OntoUMLArticle Artikel 22-Apr-2026
13Kraushofer, Florian ; Syböck, Alexander ; Haager, Lena ; Sombut, Panukorn ; Rafsanjani Abbasi, Ali ; Buchner, Florian ; Lewis, Faith Julia ; Eder, Moritz Maximilian Joachim ; Pavelec, Jiri ; Rheinfrank, Erik Hermann ; Franceschi, Giada ; Birschitzky, Viktor ; Riva, Michele ; Meier, M. ; Franchini, Cesare ; Schmid, Michael ; Diebold, Ulrike ; Madsen, Georg Kent Hellerup ; Parkinson, Gareth Stability of Model Single-Atom Catalysts in Realistic ConditionsPresentation Vortrag20-Apr-2026
14Dolci-2026-Towards LLM-KG Symbiosis for Reducing Factual Hallucinations-vor.pdf.jpgDolci, Tommaso ; Jovanovik, Milos ; Hose, Katja Towards LLM-KG Symbiosis for Reducing Factual HallucinationsInproceedings Konferenzbeitrag 9-Apr-2026
15Jovanovik, Milos ; Vecovska, Marija ; Jakubowski, Maxime ; Hose, Katja RDFGraphGen: An RDF Graph Generator Based on SHACL ShapesInproceedings Konferenzbeitrag 1-Apr-2026
162026-npj Systems Biology and Applications-vor.pdf.jpgSchäpertöns, Veronika ; Hofer, Larissa ; Berger, Thomas ; Štor, Jerneja ; Marx, Nicolas ; Esser-Skala, Wolfgang ; Rauter, Thomas ; Hofreither, Dominik ; Liesinger, Laura ; Filzmoser, Peter ; Birner-Gruenberger, Ruth ; Huber, Christian G. ; Borth, Nicole ; Fortelny, Nikolaus Effects of feeding strategies on culture performance and product quality in NISTCHOArticle Artikel 19-Mar-2026
17Patricolo, Miriam ; Vilardi, Demetrio ; Andergassen, Sabine ; Forni, Paulo Functional renormalization group treatment of the spiral phasePresentation Vortrag16-Mar-2026
18Fraboulet, Kilian ; Al-Eryani, Aiman ; Gievers, Marcel Stefan ; Heinzelmann, Sarah ; Krien, Friedrich ; Andergassen, Sabine Competing instabilities for models with non-local and retarded interactions: a functional renormalization group perspectivePresentation Vortrag9-Mar-2026
19Horner, Elias ; Mateis, Cristinel ; Governatori, Guido ; Ciabattoni, Agata From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic AnalysisInproceedings Konferenzbeitrag 25-Feb-2026
20Puchhammer, Patricia ; Wilms, Ines ; Filzmoser, Peter Sparse outlier-robust PCA for multi-source dataArticle Artikel Feb-2026
21de Colnet, Alexis ; Ordyniak, Sebastian ; Szeider, Stefan OBDDs, SDDs, and circuits of bounded width: Completeness mattersArticle Artikel Feb-2026
22Indri, Patrick ; Drucks, Tamara ; Gärtner, Thomas On the trade-off between expressivity and privacy in graph representation learningInproceedings Konferenzbeitrag 26-Jan-2026
23Vujovic, Milica ; Kevdzija, Maja ; Neuhauser, Friedrich ; Fellinger, Matthäus Investigating the influence of the physical environment on psychiatric nurses wellbeing and professional interactions: A convergent parallel mixed-method study protocolArticle Artikel 15-Jan-2026
24Adel-2026-Physical Chemistry Chemical Physics-vor.pdf.jpgAdel, Alexander ; Wanzenböck, Ralf ; Madsen, Georg K. H. Completing the hierarchy of rotational defects in monolayer MoS₂ through symmetry-aware evolutionary searchArticle Artikel 14-Jan-2026
25Wieser-2025-Journal of Chemical Theory and Computation-vor.pdf.jpgWieser, Sandro ; Cen, Yu-Jie ; Madsen, Georg K. H. ; Carrete, Jesús Accelerating First-Principles Molecular-Dynamics Thermal Conductivity Calculations for Complex SystemsArticle Artikel 13-Jan-2026
26Atzeni, Paolo ; Baldazzi, Teodoro ; Bellomarini, Luigi ; Laurenza, Eleonora ; Sallinger, Emanuel Semantic-aware query answering with Large Language ModelsArticle Artikel Jan-2026
27Da Ros, Francesca ; Di Gaspero, Luca ; Lackner, Marie-Louise ; Musliu, Nysret ; Winter, Felix Corrigendum to “Multi-neighborhood simulated annealing for the oven scheduling problem” [Comput. Oper. Res. 177 (2025) 106999]Article Artikel Jan-2026
28Ordyniak, Sebastian ; Paesani, Giacomo ; Rychlicki, Mateusz ; Szeider, Stefan A General Theoretical Framework for Learning Smallest Interpretable ModelsArticle Artikel Jan-2026
29Hensel, Michael U. ; Geldermans, Bob ; Hensel, Defne Sunguroğlu ; Vujovic, Milica Restructuring material thinking : Material and Data in Architecture and Urban ScalesBook Buch2026
30Van Nguyen, Phuoc-Chung ; To, Van-Thinh ; Nguyen Tran, Ngoc-Vi ; Phan, Tieu-Long ; Truong, Tuyen Ngoc ; Gärtner, Thomas ; Merkle, Daniel ; Stadler, Peter F. SynCat: molecule-level attention graph neural network for precise reaction classificationArticle Artikel 2026
31Gjergji, Ida ; Kletzander, Lucas ; Musliu, Nysret Large neighborhood search and hyper-heuristics for the capacitated p-median problemArticle Artikel 2026
32Egenlauf, Patrick ; Březinová, Iva ; Andergassen, Sabine ; Klopotek, Miriam Capturing reduced-order quantum many-body dynamics out of equilibrium via neural ordinary differential equationsArticle Artikel 2026
33Lüderssen, Sebastian ; Neumann, Stefan ; Peng, Pan Four-Cycle Counting in Low-Degeneracy Graph StreamsInproceedings Konferenzbeitrag 2026
34Lüderssen, Sebastian Johannes ; Bercea, Ioana-Oriana ; Neumann, Stefan Instance-Specific Approximation Ratios for Correlation Clustering and Max-CutInproceedings Konferenzbeitrag 2026
35Lüderssen, Sebastian Johannes ; Neumann, Stefan ; Peng, Pan Near-Optimal Four-Cycle Counting in Graph StreamsInproceedings Konferenzbeitrag 2026
36Resch, Annabel ; Hanbury, Allan Towards Fair AI Systems: An Insurance Case Study to Identify and Mitigate DiscriminationInproceedings Konferenzbeitrag 2026
37Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set ProblemArticle Artikel 2026
38Dvořák, Wolfgang ; Saribatur, Zeynep G. ; Woltran, Stefan Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet AgainInproceedings Konferenzbeitrag 2026
39Djelic, Andjela ; Ali, Syed Juned ; Verbruggen, Charlotte Roos R. ; Neidhardt, Julia ; Bork, Dominik A Model Cleansing Pipeline for Model-Driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories – (Extended Abstract)Inproceedings Konferenzbeitrag 2026
40Tscheppe, Patrick ; Klett, Marcel ; Menke, Henri ; Andergassen, Sabine ; Enderlein, Niklas ; Hansmann, Philipp ; Schäfer, Thomas Coherent cellular dynamical mean-field theory: a real-space quantum embedding approach to disorder in strongly correlated electron systemsArticle Artikel 29-Dec-2025
41Szeider, Stefan Selbstreflektierende KIPresentation Vortrag15-Dec-2025
42Ciabattoni, Agata ; Dik, Josephine Femke ; Lorini, Emiliano ; Pichler, Dominik ; Rozplokhas, Dmitrii From Explicit Allowances to Defeasible Deontic Operators: A Modal ViewInproceedings Konferenzbeitrag 15-Dec-2025
43Patricolo, Miriam ; Forni, Paolo ; Andergassen, Sabine ; Vilardi, Demetrio Functional Renormalization Group Treatment of the Spiral PhasePresentation Vortrag8-Dec-2025
44Zamyatin, Anton ; Indri, Patrick ; Malhotra, Sagar ; Gärtner, Thomas Is BatchEnsemble a Single Model? On Calibration and Diversity of Efficient EnsemblesPresentation Vortrag6-Dec-2025
45Ranner, Thomas ; Zhu, Qianteng ; Aarts, Gert ; Ipp, Andreas ; Müller, David ; Wang, Lingxiao ; Wang, Wei Diffusion Models for U(2) and SU(2) lattice field theoryPresentation Vortrag3-Dec-2025
46Ballester Campos, Irene Audio-Visual Open-Vocabulary Egocentric Spatio-Temporal Action Localization with NeRFsPresentation Vortrag2-Dec-2025
47Gerhaher, Anna Charlotte ; Sulpizio, Giustino ; Jorner, Kjell ; Heid, Esther Carina CGR-SMILES: A Compact and Universal Sequence Representation for Chemical Reaction ModelingPresentation Vortrag2-Dec-2025
48Galustian-2025-Digital Discovery-vor.pdf.jpgGalustian, Leonard ; Mark, Konstantin ; Karwounopoulos, Johannes ; Kovar, Maximilian P.-P. ; Heid, Esther GoFlow: efficient transition state geometry prediction with flow matching and E(3)-equivariant neural networksArticle Artikel 1-Dec-2025
49Heid, Esther Reactivity Without Borders: A Multilingual AI for ChemistryPresentation Vortrag1-Dec-2025
50Salampasis, Michail ; Kamateri, Eleni ; Stamatis, Vasileios ; Lupu, Mihai ; Hanbury, Allan ; Piroi, Florina Towards a new paradigm for patent experimentation: WPI+Article Artikel Dec-2025
51Mayrhofer, Marcus Robust Explainable Multivariate and Matrix-variate Data AnalysisPresentation Vortrag26-Nov-2025
52Heid, Esther Uncertainty and error quantification in machine learning potentialsInproceedings Konferenzbeitrag26-Nov-2025
53Buraglio, Giovanni ; Dvorak, Wolfgang ; Woltran, Stefan On Strong Equivalence Notions in Logic Programming and Abstract ArgumentationInproceedings Konferenzbeitrag 25-Nov-2025
54Beiser, Alexander ; Martinelli, Flavio ; Gerstner, Wulfram ; Brea, Johanni Data Augmentation Techniques to Reverse-Engineer Neural Network Weights from Input-Output QueriesPreprint Preprint25-Nov-2025
55Beiser, Alexander ; Hecher, Markus ; Woltran, Stefan Automated Hybrid Grounding Using Structural and Data-Driven HeuristicsPresentation Vortrag24-Nov-2025
56Djelic, Andjela ; Ali, Syed Juned ; Verbruggen, Charlotte ; Neidhardt, Julia ; Bork, Dominik A Model Cleansing Pipeline for Model-Driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model RepositoriesInproceedings Konferenzbeitrag 24-Nov-2025
57Mayrhofer, Marcus Robust Explainable Multivariate and Matrix-variate Data AnalysisPresentation Vortrag18-Nov-2025
58Ielo, Laura ; Heinzle, Samuel ; Perona, Cecilia ; Heid, Esther Carina ; Bica-Schröder, Katharina AI-Guided Design of Rpn10 Inhibitors for the Treatment of Multiple MyelomaPresentation Vortrag17-Nov-2025
59Puchhammer, Patricia Robust multi-group Gaussian Mixture Modelling in the presence of cellwise outliersPresentation Vortrag16-Nov-2025
60Neufeld, Emery ; Ciabattoni, Agata ; Tulcan, Radu Florin Combining MORL with Restraining Bolts to Learn Normative BehaviourInproceedings Konferenzbeitrag 12-Nov-2025
61Hagedorn, Ludger ; Schmid, Ute ; Woltran, Stefan Digital Humanism : First Interdisciplinary Science and Research Conference, DIGHUM 2025, Vienna, Austria, November 20–21, 2025, ProceedingsProceedings Tagungsband 12-Nov-2025
62Grasmann-2025-A System Prototype for Food Sales Forecasting and Optimizat...-vor.pdf.jpgGrasmann, Lukas ; Musliu, Nysret A System Prototype for Food Sales Forecasting and Optimization to Reduce Food Waste for Short-Shelf-Life ProductsInproceedings Konferenzbeitrag 12-Nov-2025
63Benson, Juliane ; Zeh, Katharina ; Essfors, Hannes Nils Hampus ; Fellner, Hannes ; Neidhardt, Julia ; Baumann, Andreas Linguistic Diversity and Digitalization: An Ambivalent RelationshipInproceedings Konferenzbeitrag 12-Nov-2025
64Morello, Yoann ; Ciabattoni, Agata A Bayesian View of the Result ModelInproceedings Konferenzbeitrag 12-Nov-2025
65Staudinger, Moritz ; Kusa, Wojciech ; Cancellieri, Matteo ; Pride, David ; Knoth, Petr ; Hanbury, Allan Compare: A Framework for Scientific ComparisonsInproceedings Konferenzbeitrag 10-Nov-2025
66Gjergji, Ida ; Kletzander, Lucas ; Bierlee, Hendrik ; Musliu, Nysret ; Stuckey, Peter J. A Consecutive Flight Leg Model for the Aircraft Maintenance Routing ProblemPresentation Vortrag10-Nov-2025
67Patrignani, Luca ; Laurenza, Eleonora ; Sallinger, Emanuel ; Vlad, Adriano ; Gaudenzi, Paolo SpaceKG: Towards exploiting Knowledge Graphs in space systemsArticle Artikel Nov-2025
68Ti-2025-Physical Review Materials-vor.pdf.jpgTi, Zhuoyang ; Carrete, Jesús ; Li, Jingyu ; Zhang, Yongsheng ; Madsen, Georg K. H. Influence of point defects on thermal conductivity in TiFeₓNi₁₋ₓSb alloysArticle Artikel Nov-2025
69Pachinger, Pia ; Goldzycher, Janis ; Planitzer, Anna M. ; Neidhardt, Julia ; Hanbury, Allan A Disaggregated Dataset on English Offensiveness Containing SpansInproceedings KonferenzbeitragNov-2025
70Ahmeti, Arben ; Musliu, Nysret Hybridizing constraint programming and meta-heuristics for multi-mode resource-constrained multiple projects scheduling ProblemArticle Artikel Nov-2025
71Bellomarini-2025-The Joint Knowledge Graph Labs Neuro-symbolic Reasoning ...-vor.pdf.jpgBellomarini, Luigi ; Blasi, Livia ; Gentili, Andrea ; Laurendi, Rosario ; Laurenza, Eleonora ; Sallinger, Emanuel The Joint Knowledge Graph Labs: Neuro-symbolic Reasoning in ActionInproceedings Konferenzbeitrag 30-Oct-2025
72Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan Generating Streamlining Constraints with Large Language ModelsArticle Artikel 29-Oct-2025
73Bellomarini, Luigi ; Blasi, Livia ; Nissl, Markus ; Sallinger, Emanuel The Temporal Vadalog SystemInproceedings Konferenzbeitrag 13-Oct-2025
74Weinbauer, Klaus ; Phan, Tieu-Long ; Stadler, Peter F. ; Gärtner, Thomas ; Malhotra, Sagar Prime Implicant Explanations for Reaction Feasibility PredictionPreprint Preprint10-Oct-2025
75Gjergji, Ida ; Kletzander, Lucas ; Musliu, Nysret ; Schaerf, Andrea ; Smith-Miles, Kate Investigating the Capacitated Facility Location Problem with Customer Incompatibilities Using Instance Space AnalysisPresentation Vortrag1-Oct-2025
76Erhard, Linus Carl ; Schörghuber, Johannes ; Comas-Vives, Aleix ; Madsen, Georg Kent Hellerup Active learning of rough copper-water interface potentialsPresentation VortragOct-2025
77Filzmoser, Peter Statistical aspects in the analysis of high-dimensional (mass) spectral dataPresentation Vortrag26-Sep-2025
78Ciabattoni, Agata ; Lang, Timo ; Ramanayake, Revantha Analytic Proofs for Tense LogicInproceedings Konferenzbeitrag 25-Sep-2025
79Heid, Esther Carina Uncertain Foundation Models for Complex Surface ReconstructionsPresentation Vortrag24-Sep-2025
80Rippberger Fonseca, Maria De Los Angeles Gwendolyn Aglae ; Neidhardt, Julia Comparative Analysis of Fashion Captioning for Multimodal Fashion RecommendationPresentation Vortrag22-Sep-2025
81Shashaani-2025-Towards Playlist Continuation Through Large-Scale Context ...-vor.pdf.jpgShashaani, Shahrzad ; Knees, Peter Towards Playlist Continuation Through Large-Scale Context and Audio-Based Music RepresentationsInproceedings Konferenzbeitrag 22-Sep-2025
82Shashaani-2025-An Analysis of the Evolution of Music Listening Data and t...-vor.pdf.jpgShashaani, Shahrzad ; Seshadri, Pavan ; Knees, Peter An Analysis of the Evolution of Music Listening Data and the Need for Task DiscernmentInproceedings Konferenzbeitrag 22-Sep-2025
83Heid, Esther Carina Predictive and Generative AI for Chemical ReactionsPresentation Vortrag15-Sep-2025
84Indri, Patrick ; Drucks, Tamara ; Gärtner, Thomas Private and Expressive Graph RepresentationsPresentation Vortrag15-Sep-2025
85Sandrock, Christoph ; Lüderssen, Sebastian Johannes ; Thiessen, Maximilian ; Gärtner, Thomas Efficient Minimization of Peakless Functions on Bounded-degree GraphsPresentation Vortrag15-Sep-2025
86Kanatbekova, Meerzhan ; De Maio, Vincenzo ; Brandic, Ivona Qubit-Efficient QUBO Formulation for Constrained Optimization ProblemsPreprint Preprint9-Sep-2025
87Thain, Douglas ; Nabrzyski, Jarek ; Brandic, Ivona ; Wisniewski, Robert HPDC '25: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed ComputingProceedings Tagungsband 9-Sep-2025
88Neidhardt, Julia ; Kuflik, Tsvi ; Livne, Amit ; Zanker, Markus ; Wörndl, Wolfgang Workshop on Recommenders in Tourism (RecTour) 2025Inproceedings Konferenzbeitrag 7-Sep-2025
89Kolb, Thomas Elmar ; Wagne, Ahmadou ; Banerjee, Ashmi ; Nazary, Fatemeh ; Neidhardt, Julia ; Deldjoo, Yashar ; Di Noia, Tommaso A Tutorial on Recent Advances in Generative Conversational Recommender SystemsInproceedings Konferenzbeitrag 7-Sep-2025
90Unglert, Nico ; Livia Bartók-Pártay ; Madsen, Georg Kent Hellerup Replica Exchange Nested SamplingPresentation Vortrag5-Sep-2025
91Heid, Esther Carina How to Encode Chemistry: Graph Models for Molecule and Reaction AIPresentation Vortrag4-Sep-2025
92Aspermair, Patrik ; Bintinger, Johannes ; Brandstätter, Klara ; Rosenberg, Erwin ; Heid, Esther ; Errhalt, Peter Digitale Spürnase - wie Handys das Riechen lernenSpecial Contribution Spezialbeitrag4-Sep-2025
93Szeider, Stefan Neural Meets Symbolic: Synergies Between Language Models and Constraint ReasoningPresentation Vortrag3-Sep-2025
94Mayrhofer, Marcus Robustness and explainable outlier detection for multivariate, matrix-variate, and functional settingsPresentation Vortrag2-Sep-2025
95Monti-2025-Bioinformatics-am.pdf.jpgMonti, Gianna Serafina ; Pujolassos, Meritxell ; Calle Rosingana, Malu ; Filzmoser, Peter Robust multivariate regression controlling false discoveries for microbiome dataArticle Artikel Sep-2025
96Jendal, Theis E. ; Lissandrini, Matteo ; Dolog, Peter ; Hose, Katja Handling new users and items: a comparative study of inductive recommendersArticle Artikel Sep-2025
97Doloszeski, Eva ; Wanzenböck, Ralf ; Madsen, Georg Kent Hellerup Neural Network–Backed Evolutionary Search for Novel (2×4) SrTiO3 (110) Surface Reconstructions from Random Initial StructuresPresentation VortragSep-2025
98Burke, Robin ; Adomavicius, Gediminas ; Bogers, Toine ; Di Noia, Tommaso ; Kowald, Dominik ; Neidhardt, Julia ; Özgöbek, Özlem ; Pera, Maria Soledad ; Tintarev, Nava ; Ziegler, Jürgen De-centering the (Traditional) user: Multistakeholder evaluation of recommender systemsArticle Artikel Sep-2025
99De Landsheere, Jasper ; Karwounopoulos, Johannes ; Gerhaher, Anna Charlotte ; Galustian, Leonard ; Kovar, Maximilian Peter-Paul ; Zamyatin, Anton ; Mark, Konstantin Alexander ; Ganser, Leon ; Gstöttenmayr, Stephanie ; Teis Hannah ; Zeller Benjamin ; Heid, Esther Carina Deep Learning for Chemical Reactions: Activation Energy PredictionPresentation VortragSep-2025
100Ciabattoni, Agata ; Rozplokhas, Dmitrii ; Tesi, Matteo GL-Based Calculi for PCL and Its Deontic CousinInproceedings Konferenzbeitrag 29-Aug-2025