< Back to previous page
Researcher
Paolo Pilozzi
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Sep 2023 → Today - Robotics, Automation and Mechatronics (RAM) (Division)
Member
From11 Aug 2020 → 28 Aug 2022 - Manufacturing Processes and Systems (MaPS) (Division)
Member
From1 Aug 2020 → 10 Aug 2020 - Informatics Section (Division)
Member
From1 Sep 2006 → 31 Dec 2011
Projects
1 - 1 of 1
- Termination analysis of constraint handling rules.From1 Jan 2008 → 31 Dec 2011Funding: IWT personal funding - strategic basic research grants
Publications
1 - 10 of 14
- Multimodal Network Architecture for Shared Situational Awareness amongst Vessels(2021)
Authors: Paolo Pilozzi
- Improved termination analysis of CHR using self-sustainability analysis(2012)
Authors: Paolo Pilozzi, Danny De Schreye
Pages: 189 - 204 - Termination Analysis of Constraint Handling Rules: Theory and Practice (Eindigheidsanalyse voor Constraint Handling Rules: Theorie en Praktijk)(2011)
Authors: Paolo Pilozzi, Danny De Schreye
Number of pages: 228 - Improved termination analysis of CHR using self-sustainability analysis(2011)
Authors: Paolo Pilozzi, Danny De Schreye
Pages: 114 - 128 - Scaling termination proofs by a characterisation of cycles in CHR(2010)
Authors: Paolo Pilozzi, Danny De Schreye
Pages: 5 - A transformational approach for proving properties of the CHR constraint store(2010)
Authors: Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
Pages: 22 - 36 - A transformational approach for proving properties of the CHR constraint store(2009)
Authors: Paolo Pilozzi
Pages: 1 - 15 - Research summary: Termination of CHR(2009)
Authors: Paolo Pilozzi
Pages: 534 - 535 - Proving termination by invariance relations(2009)
Authors: Paolo Pilozzi, Danny De Schreye
Pages: 499 - 503 - Automating termination proofs for CHR(2009)
Authors: Paolo Pilozzi, Danny De Schreye
Pages: 504 - 508