SAFE LEARNING OF LIFTED ACTION MODELS

von Juba, Brendan
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Universal semantic communication

von Juba, Brendan
Veröffentlicht 2011

IMPLICITLY LEARNING TO REASON IN FIRST-ORDER LOGIC

von Belle, Vaishak
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 5 of 20 (2020)

A Scalable Shannon Entropy Estimator

von Golia, Priyanka
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Polynomial-Time Implicit Learnability in SMT

von Mocanu, lonela G.
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 2 (2020)

PROBABILISTIC GENERATING CIRCUITS

von ZHANG, HONGHUA
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 16 of 16 (2022)

PRINCIPLED SAMPLING FOR ANOMALY DETECTION

von Juba, Brendan
Veröffentlicht in Network and Distributed System Security Symposium (22. : 2015 : San Diego, Calif.) Network and Distributed System Security Symposium 2015 (NDSS '15) (2020)