Three Modern Roles for Logic in AI
Saved in:
| Published in | Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3375395.3389131 |
Cover
| BookMark | eNotzk1LAzEQgOEc9KDVc6_B-9ZJJrtNjqX4UVgRpD2HSXaiC2tSUkX670Xc03t7ea7FRS6ZhVgqWCll2nvEdYuuXSFap1Bdibv9R2WWL2XgmuVbmfgkU6myL-9jlGOWm92NuEw0nfh27kIcHh_22-emf33abTd9Q7qzXw2xM4m109ExWbDrQMih6yI4ioq0HhJBlzSHBAlAASBHwwaCswaHgAsB_9_vfKTzD02TP9bxk-rZK_B_fD_z_czHX0m_PaA |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3375395.3389131 |
| DatabaseName | Unpaywall for CDI: Periodical Content Unpaywall |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | 10.1145/3375395.3389131 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a268t-ae94fe292c9ea8087ba3eb66c09ac1a22dfa06f2ebf0f001003ec4e40b9843db3 |
| IEDL.DBID | UNPAY |
| IngestDate | Sun Oct 26 03:15:09 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a268t-ae94fe292c9ea8087ba3eb66c09ac1a22dfa06f2ebf0f001003ec4e40b9843db3 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/pdf/10.1145/3375395.3389131 |
| ParticipantIDs | unpaywall_primary_10_1145_3375395_3389131 |
| PublicationTitle | Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems |
| Score | 2.0306177 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Three Modern Roles for Logic in AI |
| URI | https://dl.acm.org/doi/pdf/10.1145/3375395.3389131 |
| UnpaywallVersion | publishedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA2lPYgXFSsqKkG8eNiaJtmvYxFLFSxFulBPyySZgFjXUreI_nqT3bWKeOl9CJkZwrxh8t4QchGD7cvYC916-CYFQKCQsUCJ2KFrBygkeHLy_TgaZfJuFs5ahH9zYczcnfNSjfD9m14Y2wjahldCOGidhj1RjdZcx9OJQoe_26STjSeDx0a35x_LbbK1Khbw8Q7z-a_iMdypCX1vleag_zPy3FuVqqc__ygybnavXdL9IevRyboM7ZEWFvvkfOpyhLTedEYfvGoTdfCU-tXKmj4VdHDbJdnwZno9Cpp1CAHwKCkDwFRa5CnXKULCkliBQBVFmqWg-8C5scAiy1FZZn2vxwRqiZKpNJHCKHFA2sVrgYeESm2lYUxri64_TIwCJoy0XEDfIRJhj8jlOmL5opa9yGsKc5g3_uaNv8cb2J6Qdrlc4amr46U6axL3BVk1mIM |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEA2lPYgXFSsqKkG8eNiaJtmvYxFLFSxFulBPyySZgFjXUreI_nqT3bWKeOl9CJkZwrxh8t4QchGD7cvYC916-CYFQKCQsUCJ2KFrBygkeHLy_TgaZfJuFs5ahH9zYczcnfNSjfD9m14Y2wjahldCOGidhj1RjdZcx9OJQoe_26STjSeDx0a35x_LbbK1Khbw8Q7z-a_iMdypCX1vleag_zPy3FuVqqc__ygybnavXdL9IevRyboM7ZEWFvvkfOpyhLTedEYfvGoTdfCU-tXKmj4VdHDbJdnwZno9Cpp1CAHwKCkDwFRa5CnXKULCkliBQBVFmqWg-8C5scAiy1FZZn2vxwRqiZKpNJHCKHFA2sVrgYeESm2lYUxri64_TIwCJoy0XEDfIRJhj8jlOmL5opa9yGsKc5g3_uaNv8cb2J6Qdrlc4amr46U6axL3BVk1mIM |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+39th+ACM+SIGMOD-SIGACT-SIGAI+Symposium+on+Principles+of+Database+Systems&rft.atitle=Three+Modern+Roles+for+Logic+in+AI&rft_id=info:doi/10.1145%2F3375395.3389131&rft.externalDocID=10.1145%2F3375395.3389131 |