{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:26:10Z","timestamp":1730233570705,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T00:00:00Z","timestamp":1688601600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T00:00:00Z","timestamp":1688601600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,6]]},"DOI":"10.1109\/icccnt56998.2023.10308203","type":"proceedings-article","created":{"date-parts":[[2023,11,23]],"date-time":"2023-11-23T18:54:40Z","timestamp":1700765680000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Use of Propositional Logic in building AI Logic and Game Development"],"prefix":"10.1109","author":[{"given":"Arunakumari","family":"B N","sequence":"first","affiliation":[{"name":"BMS Institute of Technology and Management,Dept. CSE,Bengaluru,Karnataka,India,560064"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shreya","family":"Ravikumar","sequence":"additional","affiliation":[{"name":"BMS Institute of Technology and Management,Dept. CSE,Bengaluru,Karnataka,India,560064"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vikramaditya","family":"Jason","sequence":"additional","affiliation":[{"name":"BMS Institute of Technology and Management,Dept. CSE,Bengaluru,Karnataka,India,560064"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T A","family":"Sarika","sequence":"additional","affiliation":[{"name":"BMS Institute of Technology and Management,Dept. CSE,Bengaluru,Karnataka,India,560064"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Syed","family":"Adnan","sequence":"additional","affiliation":[{"name":"BMS Institute of Technology and Management,Dept. CSE,Bengaluru,Karnataka,India,560064"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thippeswamy","family":"G","sequence":"additional","affiliation":[{"name":"BMS Institute of Technology and Management,Dept. CSE,Bengaluru,Karnataka,India,560064"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Logic and artificial intelligence","key":"ref1"},{"author":"Bergmann","key":"ref2","article-title":"An Introduction to Many-Valued and Fuzzy Logic Semantics, Algebras, and Derivation Systems 176\u2013211"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69937-8_13"},{"key":"ref5","first-page":"1","article-title":"David Israel on \u201cThe Role(s) of Logic in Artificial Intelligence\u201d Handbook of logic in artificial intelligence and logic programming","volume":"1","year":"1993"},{"key":"ref6","article-title":"University of Michigan on \u201cLogic and Artificial Intelligence\u201d by Richmond H. Thomason"},{"key":"ref7","article-title":"Propositional Logics for the Lawvere Quantale Giorgio Bacci, Radu Mardare"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/s10994-018-5712-6","article-title":"Learning Efficient Logic Programs","author":"Cropper","year":"2019"},{"key":"ref9","article-title":"CS50\u2019s Introduction to Artificial Intelligence with Python OpenCourseWare by Brian YuDavid J. Malan"},{"key":"ref10","article-title":"An Overview of Logic in AI and Machine Learning by naveensundarg"}],"event":{"name":"2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT)","start":{"date-parts":[[2023,7,6]]},"location":"Delhi, India","end":{"date-parts":[[2023,7,8]]}},"container-title":["2023 14th International Conference on Computing Communication and Networking Technologies (ICCCNT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10306338\/10306339\/10308203.pdf?arnumber=10308203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T13:18:47Z","timestamp":1709385527000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10308203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,6]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icccnt56998.2023.10308203","relation":{},"subject":[],"published":{"date-parts":[[2023,7,6]]}}}