< Terug naar evenementen ![LAB42 lezing: Effectiviteit van Mission-time Linear Temporal Logic (MLTL) in AI-toepassingen](/share-image-2-1200x-q90.jpg?version=2698)
FOAM-seminars
Het FOAM Seminar, georganiseerd door computerwetenschappers van het ILLC, biedt onderzoek naar vragen van fundamentele aard in de informatica en AI, op onderzoeksgebieden als algoritmen, optimalisatie, datamanagement, planning, kennisrepresentatie en multi-agent systemen. De lezingen zijn breed toegankelijk en worden gepitcht op het niveau dat je aantreft tijdens een plenaire lezing van een relevante conferentie (zoals IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS en SODA).![Spotlight: AI for Agro-Food Lab](/Screenshot_2024-07-02_150530.png?version=3116)
![Spotlight: AI for Medical Imaging Lab](/cropped-image-of-male-neurologist-with-prosthetic-2023-11-27-04-55-31-utc.jpg?version=2470)
![AI & Big Data Expo](/Screenshot_2024-07-02_144608.png?version=3113)
![LAB42 lezing: Effectiviteit van Mission-time Linear Temporal Logic (MLTL) in AI-toepassingen](/share-image-2-1200x-q90.jpg?version=2698)
8
Maart
2024
Maart
2024
LAB42 lezing: Effectiviteit van Mission-time Linear Temporal Logic (MLTL) in AI-toepassingen
Temporele logica is een essentieel hulpmiddel geworden voor veel AI-toepassingen, van verificatie tot planning en synthese. Mission-time Linear Temporal Logic (MLTL) voegt gehele grenzen met gesloten intervallen toe aan de temporele operatoren van LTL, waardoor eenheid-agnostische specificatie over eindige sporen mogelijk wordt. Het is misschien wel de meest gebruikte variant van MTL en de meest gebruikte subset van STL in industriƫle en AI-toepassingen. MLTL optimaliseert de afweging tussen de uitdrukbaarheid van een breed scala aan realistische vereisten en de mogelijkheid om generieke, eenvoudig te valideren formules te schrijven. We benadrukken succesvolle AI-toepassingen rond MLTL-vereisten, waaronder Robonaut2 en de NASA Lunar Gateway Vehicle System Manager. We bieden een overzicht van de vooruitgang bij het analyseren van MLTL, leggen de motivatie achter deze ontwikkelingen uit en benadrukken hiaten in de stand van de techniek waar toekomstig werk nodig is.
FOAM-seminars
Het FOAM Seminar, georganiseerd door computerwetenschappers van het ILLC, biedt onderzoek naar vragen van fundamentele aard in de informatica en AI, op onderzoeksgebieden als algoritmen, optimalisatie, datamanagement, planning, kennisrepresentatie en multi-agent systemen. De lezingen zijn breed toegankelijk en worden gepitcht op het niveau dat je aantreft tijdens een plenaire lezing van een relevante conferentie (zoals IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS en SODA).
Aankomend >
Aankomende evenementen
![Spotlight: AI for Agro-Food Lab](/Screenshot_2024-07-02_150530.png?version=3116)
4 September 2024
Spotlight: AI for Agro-Food Lab
Stap in de toekomst van duurzame landbouw tijdens ICAI's AI for Agro-Food Lab Spotlight-evenement!
Lees meer >
![Spotlight: AI for Medical Imaging Lab](/cropped-image-of-male-neurologist-with-prosthetic-2023-11-27-04-55-31-utc.jpg?version=2470)
19 September 2024
Spotlight: AI for Medical Imaging Lab
Het AIM Lab (AI for Medical Imaging) is een samenwerkingsinitiatief van het Inception Institute of Artificial Intelligence uit de Verenigde Arabische Emiraten en de Universiteit van Amsterdam. Het richt zich op het gebruik van kunstmatige intelligentie voor medische beeldherkenning.
Lees meer >
![AI & Big Data Expo](/Screenshot_2024-07-02_144608.png?version=3113)
1 & 2 Oktober 2024
AI & Big Data Expo
De AI & Big Data Expo Europe keert terug voor 2024!
Lees meer >