Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 1.

Conference or workshop item

Akintunde, Michael E., Botoeva, Elena, Kouvaros, Panagiotis, Lomuscio, Alessio (2020) Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. . pp. 22-32. International Joint Conferences on Artificial Intelligence Organization ISBN 978-0-9992411-7-2. (doi:10.24963/kr.2020/3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90813)
This list was generated on Sat Nov 27 02:01:07 2021 GMT.