乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T09:52:08Z","timestamp":1724752328372},"reference-count":51,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T00:00:00Z","timestamp":1631491200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["SoftwareX"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1016\/j.softx.2021.100817","type":"journal-article","created":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T16:48:43Z","timestamp":1632502123000},"page":"100817","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":11,"special_numbering":"C","title":["2P-Kt: A logic-based ecosystem for symbolic AI"],"prefix":"10.1016","volume":"16","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-1841-8996","authenticated-orcid":false,"given":"Giovanni","family":"Ciatto","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-3794-2942","authenticated-orcid":false,"given":"Roberta","family":"Calegari","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6655-3869","authenticated-orcid":false,"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2210","key":"10.1016\/j.softx.2021.100817_b1","article-title":"Computational logic: its origins and applications","volume":"474","author":"Paulson","year":"2018","journal-title":"Proc R Soc Lond Ser A Math Phys Eng Sci"},{"issue":"1","key":"10.1016\/j.softx.2021.100817_b2","first-page":"7","article-title":"On the integration of symbolic and sub-symbolic techniques for XAI: A survey","volume":"14","author":"Calegari","year":"2020","journal-title":"Intell Artif"},{"issue":"1","key":"10.1016\/j.softx.2021.100817_b3","doi-asserted-by":"crossref","first-page":"1:1","DOI":"10.1007\/s10458-020-09478-3","article-title":"Logic-based technologies for multi-agent systems: A systematic literature review","volume":"35","author":"Calegari","year":"2021","journal-title":"Auton Agents Multi-Agent Syst","ISSN":"http:\/\/id.crossref.org\/issn\/1387-2532","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b4","series-title":"History of programming languages conference (HOPL-II)","first-page":"37","article-title":"The birth of Prolog","author":"Colmerauer","year":"1993"},{"issue":"3","key":"10.1016\/j.softx.2021.100817_b5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3390\/info11030167","article-title":"Logic-based technologies for intelligent systems: State of the art and perspectives","volume":"11","author":"Calegari","year":"2020","journal-title":"Information","ISSN":"http:\/\/id.crossref.org\/issn\/2078-2489","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b6","series-title":"ISO\/IEC 13211-1:1995: Information technology \u2014 Programming languages \u2014 Prolog \u2014 Part 1: General core","first-page":"199","author":"ISO\/IEC JTC 1\/SC 22 Technical Committee","year":"1995"},{"key":"10.1016\/j.softx.2021.100817_b7","series-title":"ISO\/IEC 13211-2:2000: Information technology \u2014 Programming languages \u2014 Prolog \u2014 Part 2: Modules","first-page":"23","author":"ISO\/IEC JTC 1\/SC 22 Technical Committee","year":"2000"},{"key":"10.1016\/j.softx.2021.100817_b8","series-title":"BProlog home page","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b9","series-title":"Ciao! Prolog home page","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b10","series-title":"ECLiPSe Prolog Home page","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b11","series-title":"SICSTus Prolog home page","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b12","series-title":"SWI Prolog home page","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b13","series-title":"\u03c4Prolog home page","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b14","series-title":"XSB Prolog home page","year":"2021"},{"issue":"1","key":"10.1016\/j.softx.2021.100817_b15","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine-oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J ACM","ISSN":"http:\/\/id.crossref.org\/issn\/0004-5411","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b16","series-title":"Logic and data bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/j.softx.2021.100817_b17","series-title":"14th ACM SIGACT-SIGPLAN symposium on principles of programming languages (POPL\u201987)","isbn-type":"print","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/41625.41635","article-title":"Constraint logic programming","author":"Jaffar","year":"1987","ISBN":"http:\/\/id.crossref.org\/isbn\/0897912152"},{"issue":"1\u20133","key":"10.1016\/j.softx.2021.100817_b18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","article-title":"Theory and practice of constraint handling rules","volume":"37","author":"Fr\u00fchwirth","year":"1998","journal-title":"J Log Program"},{"issue":"1\u20132","key":"10.1016\/j.softx.2021.100817_b19","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S1471068411000500","article-title":"XSB: Extending Prolog with tabled logic programming","volume":"12","author":"Swift","year":"2012","journal-title":"Theory Pract Logic Program"},{"issue":"4","key":"10.1016\/j.softx.2021.100817_b20","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1017\/S026988890000802X","article-title":"Logic programming and software engineering\u2014implications for software design","volume":"11","author":"Sterling","year":"1996","journal-title":"Knowl Eng Rev"},{"key":"10.1016\/j.softx.2021.100817_b21","series-title":"Practical aspects of declarative languages","isbn-type":"print","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-45241-9_13","article-title":"tuProlog: A light-weight Prolog for Internet applications and infrastructures","volume":"vol. 1990","author":"Denti","year":"2001","ISBN":"http:\/\/id.crossref.org\/isbn\/9783540417682","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b22","series-title":"23rd ACM symposium on applied computing (SAC 2008), vol. 1","isbn-type":"print","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/1363686.1363739","article-title":"The architecture and design of a malleable object-oriented Prolog engine","author":"Piancastelli","year":"2008","ISBN":"http:\/\/id.crossref.org\/isbn\/9781595937537"},{"key":"10.1016\/j.softx.2021.100817_b23","article-title":"tuProlog: Making Prolog ubiquitous","author":"Denti","year":"2013","journal-title":"ALP Newsletter"},{"issue":"3","key":"10.1016\/j.softx.2021.100817_b24","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1010060322135","article-title":"Coordination for internet application development","volume":"2","author":"Omicini","year":"1999","journal-title":"Auton Agents Multi-Agent Syst","ISSN":"http:\/\/id.crossref.org\/issn\/1387-2532","issn-type":"print"},{"issue":"3","key":"10.1016\/j.softx.2021.100817_b25","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0167-6423(01)00011-9","article-title":"From tuple spaces to tuple centres","volume":"41","author":"Omicini","year":"2001","journal-title":"Sci Comput Program","ISSN":"http:\/\/id.crossref.org\/issn\/0167-6423","issn-type":"print"},{"issue":"3","key":"10.1016\/j.softx.2021.100817_b26","article-title":"LPaaS as mIcro-intelligence: Enhancing IoT with symbolic reasoning","volume":"2","author":"Calegari","year":"2018","journal-title":"Big Data Cogn Comput"},{"issue":"21","key":"10.1016\/j.softx.2021.100817_b27","doi-asserted-by":"crossref","first-page":"7460:1","DOI":"10.3390\/app10217460","article-title":"From agents to blockchain: Stairway to integration","volume":"10","author":"Ciatto","year":"2020","journal-title":"Appl Sci","ISSN":"http:\/\/id.crossref.org\/issn\/2076-3417","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b28","series-title":"CILC 2020 \u2013 Italian conference on computational logic. Proceedings of the 35th italian conference on computational logic","first-page":"51","article-title":"Arg-tuProlog: A tuProlog-based argumentation framework","volume":"vol. 2719","author":"Pisano","year":"2020"},{"key":"10.1016\/j.softx.2021.100817_b29","series-title":"Computational logic: Its origins and applicationsogic","isbn-type":"print","article-title":"Computational logic","year":"1990","ISBN":"http:\/\/id.crossref.org\/isbn\/9783540534372"},{"key":"10.1016\/j.softx.2021.100817_b30","series-title":"Principles of logic and logic programming","isbn-type":"print","author":"Metakides","year":"1996","ISBN":"http:\/\/id.crossref.org\/isbn\/9780080539645"},{"key":"10.1016\/j.softx.2021.100817_b31","series-title":"Information processing. Proceedings of the 6th IFIP congress","first-page":"569","article-title":"Predicate logic as programming language","author":"Kowalski","year":"1974"},{"issue":"2","key":"10.1016\/j.softx.2021.100817_b32","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","article-title":"The IFF proof procedure for abductive logic programming","volume":"33","author":"Fung","year":"1997","journal-title":"J Log Program","ISSN":"http:\/\/id.crossref.org\/issn\/0743-1066","issn-type":"print"},{"issue":"Suppl. 1","key":"10.1016\/j.softx.2021.100817_b33","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","article-title":"Inductive logic programming: Theory and methods","volume":"19\u201320","author":"Muggleton","year":"1994","journal-title":"J Log Program","ISSN":"http:\/\/id.crossref.org\/issn\/0743-1066","issn-type":"print"},{"issue":"1","key":"10.1016\/j.softx.2021.100817_b34","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10994-015-5494-z","article-title":"Probabilistic (logic) programming concepts","volume":"100","author":"de Raedt","year":"2015","journal-title":"Mach Learn"},{"issue":"2","key":"10.1016\/j.softx.2021.100817_b35","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","article-title":"An efficient unification algorithm","volume":"4","author":"Martelli","year":"1982","journal-title":"ACM Trans Program Lang Syst","ISSN":"http:\/\/id.crossref.org\/issn\/0164-0925","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b36","series-title":"Artefacts on Maven Central Repository","author":"2P-Kt","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b37","series-title":"Artefacts on NPM registry","author":"2P-Kt","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b38","series-title":"The definitive ANTLR 4 reference","isbn-type":"print","author":"Parr","year":"2013","ISBN":"http:\/\/id.crossref.org\/isbn\/9781934356999"},{"issue":"4","key":"10.1016\/j.softx.2021.100817_b39","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF03037326","article-title":"On implementing Prolog in functional programming","volume":"2","author":"Carlsson","year":"1984","journal-title":"New Gener Comput"},{"key":"10.1016\/j.softx.2021.100817_b40","series-title":"An abstract Prolog instruction set","author":"Warren","year":"1983"},{"key":"10.1016\/j.softx.2021.100817_b41","series-title":"Logics in artificial intelligence","first-page":"407","article-title":"Lazy stream manipulation in Prolog via backtracking: The case of 2p-kt","volume":"vol. 12678","author":"Ciatto","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b42","series-title":"Playground","author":"2P-Kt","year":"2021"},{"key":"10.1016\/j.softx.2021.100817_b43","series-title":"WOA 2020 \u2013 21th workshop \u201cfrom objects to agents\u201d","first-page":"219","article-title":"2P-kt: logic programming with objects & functions in Kotlin","volume":"vol. 2706","author":"Ciatto","year":"2020"},{"issue":"1\u20132","key":"10.1016\/j.softx.2021.100817_b44","first-page":"53","article-title":"Extending logic programming with labelled variables: Model and semantics","volume":"161","author":"Calegari","year":"2018","journal-title":"Fund Inform"},{"issue":"1","key":"10.1016\/j.softx.2021.100817_b45","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/174666.174668","article-title":"The interdisciplinary study of coordination","volume":"26","author":"Malone","year":"1994","journal-title":"ACM Comput Surv","ISSN":"http:\/\/id.crossref.org\/issn\/0360-0300","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jlamp.2020.100531","article-title":"Twenty years of coordination technologies: COORDINATION contribution to the state of art","volume":"113","author":"Ciatto","year":"2020","journal-title":"J Logical Algebr Methods Program","ISSN":"http:\/\/id.crossref.org\/issn\/2352-2208","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b47","series-title":"The 28th international conference on computer communications and networks (ICCCN 2019)","isbn-type":"print","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ICCCN.2019.8846916","article-title":"TuSoW: Tuple spaces for edge computing","author":"Ciatto","year":"2019","ISBN":"http:\/\/id.crossref.org\/isbn\/9781728118567","ISSN":"http:\/\/id.crossref.org\/issn\/2637-9430","issn-type":"print"},{"key":"10.1016\/j.softx.2021.100817_b48","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.inffus.2019.12.012","article-title":"Explainable Artificial Intelligence (XAI): concepts, taxonomies, opportunities and challenges toward responsible AI","volume":"58","author":"Arrieta","year":"2020","journal-title":"Inf Fusion"},{"key":"10.1016\/j.softx.2021.100817_b49","series-title":"29th ACM international conference on information & knowledge management (CIKM\u201920)","isbn-type":"print","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/3340531.3412003","article-title":"SenticNet 6: Ensemble application of symbolic and subsymbolic AI for sentiment analysis","author":"Cambria","year":"2020","ISBN":"http:\/\/id.crossref.org\/isbn\/9781450368599"},{"key":"10.1016\/j.softx.2021.100817_b50","series-title":"WOA 2020 \u2013 21th Workshop \u201cfrom Objects To Agents\u201d","first-page":"101","article-title":"Neuro-symbolic computation for XAI: Towards a unified model","volume":"2706","author":"Pisano","year":"2020"},{"key":"10.1016\/j.softx.2021.100817_b51","unstructured":"tuProlog. Users. 2021, URL http:\/\/apice.unibo.it\/xwiki\/bin\/view\/Tuprolog\/Users. [Last access: August 8, 2021]."}],"container-title":["SoftwareX"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352711021001126?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352711021001126?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T18:45:09Z","timestamp":1639766709000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2352711021001126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":51,"alternative-id":["S2352711021001126"],"URL":"https:\/\/doi.org\/10.1016\/j.softx.2021.100817","relation":{},"ISSN":["2352-7110"],"issn-type":[{"value":"2352-7110","type":"print"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"2P-Kt: A logic-based ecosystem for symbolic AI","name":"articletitle","label":"Article Title"},{"value":"SoftwareX","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.softx.2021.100817","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"simple-article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2021 The Authors. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"100817"}}