{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:01:08Z","timestamp":1747173668035,"version":"3.40.5"},"reference-count":5,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T00:00:00Z","timestamp":1648425600000},"content-version":"unspecified","delay-in-days":27,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2022,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This special issue of Theory and Practice of Logic Programming consists of extended versions of five selected papers from the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). RuleML+RR 2019 was held in conjunction with the 5th Global Conference on Artificial Intelligence, GCAI 2019, as part of the Bolzano Rules and Artificial INtelligence Summit in Bolzano, Italy, from 17 to 19 of September 2019.<\/jats:p>","DOI":"10.1017\/s1471068422000023","type":"journal-article","created":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T09:38:45Z","timestamp":1648460325000},"page":"158-161","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019"],"prefix":"10.1017","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2978-676X","authenticated-orcid":false,"given":"PAUL","family":"FODOR","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARCO","family":"MONTALI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2022,3,28]]},"reference":[{"key":"S1471068422000023_ref2","unstructured":"Bozzato, L. , Eiter, T. , and Serafini, L. 2019. Reasoning on dl-lite with defeasibility in asp. In Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+ RR 2019). LNCS, Bolzano, Italy. Springer."},{"key":"S1471068422000023_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31095-0_9"},{"key":"S1471068422000023_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31095-0_5"},{"key":"S1471068422000023_ref4","doi-asserted-by":"crossref","unstructured":"Liu, F. and You, J.-H. 2019. Alternating fixpoint operator for hybrid mknf knowledge bases as an approximator of aft. In International Joint Conference on Rules and Reasoning. Springer, 113\u2013127.","DOI":"10.1007\/978-3-030-31095-0_8"},{"key":"S1471068422000023_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31095-0_1"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068422000023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T04:15:17Z","timestamp":1649045717000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068422000023\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["S1471068422000023"],"URL":"https:\/\/doi.org\/10.1017\/s1471068422000023","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2022,3]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}