Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Publisher

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Conference or workshop item
Number of items: 3.

Conference or workshop item

Kouvaros, Panagiotis, Botoeva, Elena, De Bonis-Campbell, Cosmo (2024) Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. . pp. 103-110. IJCAI E-ISBN 978-1-956792-04-1. (doi:10.24963/ijcai.2024/12) (KAR id:112767)
Format: PDF
Leofante, Francesco, Botoeva, Elena, Rajani, Vineet (2023) Counterfactual explanations and model multiplicity: a relational verification view. In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. . pp. 763-768. IJCAI ISBN 978-1-956792-02-7. (doi:10.24963/kr.2023/78) (KAR id:112768)
Format: PDF Format: PDF
Camacho-Collados, Jose, Espinosa-Anke, Luis, Jameel, Shoaib, Schockaert, Steven (2019) A Latent Variable Model for Learning Distributional Relation Vectors. In: International Joint Conferences on Artificial Intelligence. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. . pp. 4911-4917. IJCAI ISBN 978-0-9992411-4-1. (doi:10.24963/ijcai.2019/682) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:74586)
Format: PDF
This list was generated on Wed Jan 28 08:02:28 2026 GMT.
SensusAccess
Feedback