{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:29:57Z","timestamp":1743042597495,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030661502"},{"type":"electronic","value":"9783030661519"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-66151-9_16","type":"book-chapter","created":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:02:47Z","timestamp":1608508967000},"page":"253-264","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Varzinczak","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,12,21]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50, 510\u2013530 (1985)","journal-title":"J. Symbolic Logic"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of the four values. Artif. Intell. 102, 97\u2013141 (1998)","journal-title":"Artif. Intell."},{"key":"16_CR3","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"16_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4129-7","volume-title":"Mathematical Logic for Computer Science","author":"M Ben-Ari","year":"2012","unstructured":"Ben-Ari, M.: Mathematical Logic for Computer Science, 3rd edn. Springer, London (2012)","edition":"3"},{"key":"16_CR5","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198812791.001.0001","volume-title":"Impossible Worlds","author":"F Berto","year":"2019","unstructured":"Berto, F., Jago, M.: Impossible Worlds. Oxford University Press, Oxford (2019)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Berto, F., Jago, M.: Impossible worlds. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, fall 2018 edn. (2018)","DOI":"10.1093\/oso\/9780198812791.003.0002"},{"key":"16_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"volume-title":"Handbook of Tableau Methods","year":"1999","key":"16_CR8","unstructured":"D\u2019Agostino, M., Gabbay, D., H\u00e4hnle, R., Posegga, J. (eds.): Handbook of Tableau Methods. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M Fitting","year":"1994","unstructured":"Fitting, M.: Kleene\u2019s three valued logics and their children. Fundamenta Informaticae 20(1), 113\u2013131 (1994)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics: Theory Change and Database Updating","author":"S Hansson","year":"1999","unstructured":"Hansson, S.: A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"16_CR13","series-title":"Texts in Computing","volume-title":"Bridges from Classical to Nonmonotonic Logic, Texts in Computing","author":"D Makinson","year":"2005","unstructured":"Makinson, D.: Bridges from Classical to Nonmonotonic Logic, Texts in Computing. Texts in Computing, vol. 5. King\u2019s College Publications, London (2005)"},{"key":"16_CR14","volume-title":"Computational Complexity","author":"C Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.: Computational Complexity. Addison-Wesley, Boston (1994)"},{"key":"16_CR15","series-title":"Cambridge Introductions to Philosophy","volume-title":"An Introduction to Non-Classical Logic: From If to Is","author":"G Priest","year":"2001","unstructured":"Priest, G.: An Introduction to Non-Classical Logic: From If to Is. Cambridge Introductions to Philosophy, 2nd edn. Cambridge University Press, Cambridge (2001)","edition":"2"},{"key":"16_CR16","unstructured":"Priest, G., Berto, F., Weber, Z.: Dialetheism. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, fall 2018 edn. (2018)"},{"key":"16_CR17","unstructured":"Rescher, N., Brandom, R.: The Logic of Inconsistency. A Study in Non-Standard Possible-Worlds Semantics and Ontology. Basil Blackwell, Oxford; APQ Library of Philosophy (1979)"},{"key":"16_CR18","unstructured":"Swart, H.: Logic: Mathematics, Language, Computer Science and Philosophy, vol.\u00a01. Peter Lang (1993)"}],"container-title":["Communications in Computer and Information Science","Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-66151-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T11:50:17Z","timestamp":1619265017000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-66151-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030661502","9783030661519"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-66151-9_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"21 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SACAIR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Southern African Conference for Artificial Intelligence Research","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Muldersdrift","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"South Africa","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 February 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 February 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sacair2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sacair.org.za\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"53","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Dur to the COVID-19 pandemic SACAIR 2020 was postponed to February 2021","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}