Search results
Results: 72
Number of items: 72
-
Sileno, G. (2020). Of duels, trials and simplifying systems. European Journal of Risk Regulation, 11(3), 683-692. https://doi.org/10.1017/err.2020.38 -
Sileno, G., & Pascucci, M. (2020). Disentangling deontic positions and abilities: A modal analysis. In F. Calimeri, S. Perri, & E. Zumpano (Eds.), Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020: Rende, Italy, October 13-15, 2020 (pp. 36-50). (CEUR Workshop Proceedings; Vol. 2710). CEUR-WS. http://ceur-ws.org/Vol-2710/paper3.pdf -
Sileno, G. (2020). Operationalizing Declarative and Procedural Knowledge: A Benchmark on Logic Programming Petri Nets (LPPNs). In C. Dodaro, G. A. Elder, W. Faber, J. Fandinno, M. Gebser, M. Hecher, E. LeBlanc, M. Morak, & J. Zangari (Eds.), International Conference on Logic Programming 2020 Workshop Proceedings: co-located with 36th International Conference on Logic Programming (ICLP 2020) : Rende, Italy, September 18-19, 2020 Article 7 (CEUR Workshop Proceedings; Vol. 2678). CEUR-WS. https://arxiv.org/abs/1701.07657 -
Mohajeri Parizi, M., Sileno, G., van Engers, T., & Klous, S. (2020). Run, agent, run! Architecture and benchmarking of actor-based agents. In E. Castegren, J. De Koster, & T. C. Schmidt (Eds.), AGERE '20: proceedings of the 10th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control : November 17, 2020, Virtual, USA (pp. 11-20). The Association for Computing Machinery. https://doi.org/10.1145/3427760.3428339 -
Liu, L.-C., Sileno, G., & van Engers, T. (2020). Digital Enforceable Contracts (DEC): Making Smart Contracts Smarter. In S. Villata, J. Harašta, & P. Křemen (Eds.), Legal Knowledge and Information Systems: JURIX 2020 : the thirty-third annual conference, Brno, Czech Republic, December 9-11, 2020 (pp. 235-238). (Frontiers in Artificial Intelligence and Applications; Vol. 334). IOS Press. https://doi.org/10.3233/FAIA200872 -
Mohajeri Parizi, M., Sileno, G., & van Engers, T. (2019). Integrating CP-Nets in Reactive BDI Agents. In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai, & R. Z. Wenkstern (Eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019 : proceedings (pp. 305-320). (Lecture Notes in Computer Science; Vol. 11873), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-33792-6_19 -
Sileno, G., Boer, A., & van Engers, T. (2019). Towards a computational theory of action, causation and power for normative reasoning. In M. Araszkiewicz, & V. Rodríguez-Doncel (Eds.), Legal Knowledge and Information Systems: JURIX 2019: The Thirty-second Annual Conference (pp. 211-216). (Frontiers in Artificial Intelligence and Applications; Vol. 322). IOS Press. https://doi.org/10.3233/FAIA190327 -
Sileno, G., Bloch, I., Atif, J., & Dessalles, J.-L. (2019). Computing contrast on conceptual spaces. In A. Chella, I. Infantino, & A. Lieto (Eds.), Proceedings of the 6th International Workshop on Artificial Intelligence and Cognition: Palermo, Italy, July 2-4, 2018 (pp. 11-25). (CEUR Workshop Proceedings; Vol. 2418). CEUR-WS. http://ceur-ws.org/Vol-2418/paper2.pdf -
Sileno, G. (2019). Logic conditionals, supervenience, and selection tasks. In C. Beierle, M. Ragni, F. Stolzenburg, & M. Thimm (Eds.), Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019): co-located with 44nd German Conference on Artificial Intelligence (KI 2019) : Kassel, Germany, September 23, 2019 (pp. 36-46). (CEUR Workshop Proceedings; Vol. 2445). CEUR-WS. http://ceur-ws.org/Vol-2445/paper_4.pdf -
Sileno, G., Boer, A., & van Engers, T. (2019). The Role of Normware in Trustworthy and Explainable AI. In G. J. Nalepa, M. Atzmueller, M. Araszkiewicz, & P. Novais (Eds.), Proceedings of the EXplainable AI in Law Workshop (XAILA 2018): co-located with the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018) : Groningen, The Netherlands, December 12th, 2018 (pp. 9-16). (CEUR Workshop Proceedings; Vol. 2381). CEUR-WS. http://ceur-ws.org/Vol-2381/xaila2018_paper_5.pdf
Page 5 of 8