Cosmo De Bonis-Campbell

According to our database1, Cosmo De Bonis-Campbell authored at least 2 papers in 2024.

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

Timeline

2024
0
1
2
3
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract).
Proceedings of the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024


  Loading...