Valentina Pitoni

Orcid: 0000-0002-4245-4073

According to our database1, Valentina Pitoni authored at least 22 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents.
Proceedings of the 24th Workshop "From Objects to Agents", 2023

Preference Management in Epistemic Logic L-DINF.
Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF.
Proceedings of the Rules and Reasoning, 2022

Modelling Agents Roles in the Epistemic Logic L-DINF.
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Cognitive Aspects in Epistemic Logic L-DINF.
Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), 2022

Temporalizing Epistemic Logic L-DINF.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

2021
An Epistemic Logic for Multi-agent Systems with Budget and Costs.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

An Epistemic Logic for Modular Development of Multi-Agent Systems.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

A Logic of Inferable in Multi-Agent Systems with Budget and Costs.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
Towards a Logic of "Inferable" for Self-Aware Transparent Logical Agents.
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019
Memory Management in Resource-Bounded Agents.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

A Temporal Module for Logical Frameworks.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

K-ACE: A Flexible Environment for Knowledge-Aware Multi-Agent Systems.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Reasoning about Memory Management in Resource-Bounded Agents.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Memory Management in Resource-Bounded Agents.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018
Reflection and Introspection for Humanized Intelligent Agents.
Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection.
Proceedings of the 33rd Italian Conference on Computational Logic, 2018

K-ACE: An Innovative Multi-Component and Multi-Level Architecture.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Timed Memory in Resource-Bounded Agents.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Trustworthiness and Safety for Intelligent Ethical Logical Agents via Interval Temporal Logic and Runtime Self-Checking.
Proceedings of the 2018 AAAI Spring Symposia, 2018

Memory Management With Explicit Time in Resource-Bounded Agents.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing.
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017


  Loading...