Dettaglio pubblicazione
2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Pages 294-303
Nondeterministic Strategies and their Refinement in Strategy Logic (04b Atto di convegno in volume)
De Giacomo Giuseppe, Maubert Bastien, Murano Aniello
ISBN: 978-0-9992411-7-2
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords