Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Three Modern Roles for Logic in AI
Published in Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
Get full text
Conference Proceeding