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)