Project Information
Project Title
- Training and Guiding AI
- Agents with Ethical Rules
Principal Investigator
- Agata Ciabattoni
Project Partners
- Ezio Bartocci
- Thomas Eiter
Funding Organization
Duration
- 48 months
- May 1rst , 2023 - April 30, 2026
2024
-
Adaptable configuration of decentralized monitors. FORTE 2024 (Ennio Visconti, Ezio Bartocci, Ylies Falcone, Laura Nenzi)
-
Learning Normative Behaviour through Automated Theorem Proving. KI - Künstliche Intelligenz 2024 (Emery A. Neufeld)
-
DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. DAC 2024 (Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic and Radu Grosu)
-
Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement. SAC 2024 (Ignacio D. Lopez-Miguel)
2023
-
Deontic Equilibrium Logic with eXplicit negation. JELIA 2023 (Pedro Cabalar, Agata Ciabattoni and Leon van der Torre)
-
Progression for Monitoring in Temporal ASP. ECAI 2023 (Davide Solda, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter)
-
Streamlining Input/Output Logics with Sequent Calculi. KR 2023 (Agata Ciabattoni and Dmitry Rozplokhas)
-
Deontic Paradoxes in ASP with Weak Constraints. TC @ ICLP 2023 (Christian Hatschka, Agata Ciabattoni and Thomas Eiter)