Page 1 of 11 to 3 of 3 Events
-
Multimodal Scientific Content Generation with LLMs
-Generating scientific images (e.g., scientific figures) by hand can often be a time-consuming laborious task, where some popular coding languages such as TikZ come with a steep learning curve. Automatizing this process promises to facilitate and accelerate scientific multimodal content production. In this talk, I will discuss our recent approaches...
-
Many Minds are Better Than One: Towards a Dialogical Turn in Logic
-Both the ancient Greek and Indian traditions primarily conceived of logic as an inherently dialogical process. However, it is the Enlightenment conception of logic as providing prescriptive guidance for individual agent reasoning that has come to dominate research into logics for AI. In this talk I will argue for a renewal...
-
Advancing Predictive Runtime Verification through Multi-Model Approaches and Process Mining
-This talk explores the integration of Predictive Runtime Verification (PRV) and Process Mining techniques to enhance the reliability and efficiency of autonomous systems. We begin by presenting a multi-model PRV approach that addresses the complexity of systems composed of multiple components. This method improves traditional PRV by utilizing individual component...