< Terug naar vorige pagina
Onderzoeker
Paolo Pilozzi
- Disciplines:Artificiële intelligentie
Affiliaties
- Declaratieve Talen en Artificiële Intelligentie (DTAI) (Afdeling)
Lid
Vanaf1 sep 2023 → Heden - Robotica, Automatisering en Mechatronica (RAM) (Afdeling)
Lid
Vanaf11 aug 2020 → 28 aug 2022 - Maakprocessen en -Systemen (MaPS) (Afdeling)
Lid
Vanaf1 aug 2020 → 10 aug 2020 - Afdeling Informatica (Afdeling)
Lid
Vanaf1 sep 2006 → 31 dec 2011
Projecten
1 - 1 of 1
- Eindigheidsanalyse van constraint handling rules.Vanaf1 jan 2008 → 31 dec 2011Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
Publicaties
1 - 10 van 14
- Multimodal Network Architecture for Shared Situational Awareness amongst Vessels(2021)
Auteurs: Paolo Pilozzi
- Improved termination analysis of CHR using self-sustainability analysis(2012)
Auteurs: Paolo Pilozzi, Danny De Schreye
Pagina's: 189 - 204 - Termination Analysis of Constraint Handling Rules: Theory and Practice (Eindigheidsanalyse voor Constraint Handling Rules: Theorie en Praktijk)(2011)
Auteurs: Paolo Pilozzi, Danny De Schreye
Aantal pagina's: 228 - Improved termination analysis of CHR using self-sustainability analysis(2011)
Auteurs: Paolo Pilozzi, Danny De Schreye
Pagina's: 114 - 128 - Scaling termination proofs by a characterisation of cycles in CHR(2010)
Auteurs: Paolo Pilozzi, Danny De Schreye
Pagina's: 5 - A transformational approach for proving properties of the CHR constraint store(2010)
Auteurs: Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
Pagina's: 22 - 36 - A transformational approach for proving properties of the CHR constraint store(2009)
Auteurs: Paolo Pilozzi
Pagina's: 1 - 15 - Research summary: Termination of CHR(2009)
Auteurs: Paolo Pilozzi
Pagina's: 534 - 535 - Proving termination by invariance relations(2009)
Auteurs: Paolo Pilozzi, Danny De Schreye
Pagina's: 499 - 503 - Automating termination proofs for CHR(2009)
Auteurs: Paolo Pilozzi, Danny De Schreye
Pagina's: 504 - 508