{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:00:54Z","timestamp":1762326054951,"version":"build-2065373602"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11]]},"abstract":"<jats:p>Inductive inference is a well-studied form of nonmonotonic\n\nreasoning in which various inference is based on\n\nconditional belief bases rather than belief bases\n\nconsisting of classical logic statements. Given its\n\nnonmonotonic nature, many important logical properties that\n\nare taken for granted in the classical case do not\n\nnecessarily carry over to inference involving conditionals.\n\nIn this paper we consider two such properties---equivalence\n\nand language-independence. More specifically, we provide\n\ndifferent notions of equivalence in the conditional case,\n\nand show which of these are satisfied by which forms of\n\nconditional inference. Similarly, we consider different\n\nversions of language independence, and test various forms\n\nof conditional inference against these. As its main overall\n\ncontribution, the paper provides deeper theoretical\n\ninsights into the field of inductive inference.<\/jats:p>","DOI":"10.24963\/kr.2025\/39","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"396-406","source":"Crossref","is-referenced-by-count":0,"title":["An Analysis of the Role of Syntax in Inductive Inference"],"prefix":"10.24963","author":[{"given":"Jesse","family":"Heyninck","sequence":"first","affiliation":[{"name":"Open Universiteit, the Netherlands"},{"name":"University of Cape Town and CAIR"}]},{"given":"Richard","family":"Booth","sequence":"additional","affiliation":[{"name":"Cardiff University"}]},{"given":"Thomas","family":"Meyer","sequence":"additional","affiliation":[{"name":"University of Cape Town and CAIR"}]},{"given":"Lars-Phillip","family":"Spiegel","sequence":"additional","affiliation":[{"name":"FernUniversit\u00e4t Hagen"}]}],"member":"10584","event":{"name":"22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}","theme":"Artificial Intelligence","location":"Melbourne, Australia","acronym":"KR-2025","number":"22","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2025,11,11]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:11:09Z","timestamp":1762323069000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/39"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2025\/39","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}