Andrea Gatti

Orcid: 0009-0003-0992-4058

Affiliations:
  • University of Genoa, Italy


According to our database1, Andrea Gatti authored at least 8 papers between 2022 and 2024.

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

Timeline

2022
2023
2024
0
1
2
3
4
5
1
3
3
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design.
Proceedings of the 25th Workshop "From Objects to Agents", 2024

Geometric and Spatial Reasoning in BDI Agents: A Survey.
Proceedings of the 39th Italian Conference on Computational Logic, 2024

2023
VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation.
Robotics, April, 2023

RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 2023

Mining Information From Legal Sentences in KlonDikE.
Proceedings of the Seventh Workshop on Natural Language for Artificial Intelligence (NL4AI 2023) co-located with 22th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

Virtual Environments via Natural Language Agents.
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022
Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents.
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022


  Loading...