{"id":"https://openalex.org/W4389565743","doi":"https://doi.org/10.3233/faia230944","title":"Hierarchical a Fortiori Reasoning with Dimensions","display_name":"Hierarchical a Fortiori Reasoning with Dimensions","publication_year":2023,"publication_date":"2023-12-07","ids":{"openalex":"https://openalex.org/W4389565743","doi":"https://doi.org/10.3233/faia230944"},"language":"en","primary_location":{"id":"doi:10.3233/faia230944","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3233/faia230944","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA230944","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA230944","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000591379","display_name":"Wijnand van Woerkom","orcid":"https://orcid.org/0009-0007-2641-9191"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Wijnand van Woerkom","raw_affiliation_strings":["Department of Information and Computing Sciences, Utrecht University, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Information and Computing Sciences, Utrecht University, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020446643","display_name":"Davide Grossi","orcid":"https://orcid.org/0000-0002-9709-030X"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]},{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Davide Grossi","raw_affiliation_strings":["Amsterdam Center for Law and Economics, University of Amsterdam, The Netherlands","Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands","Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Amsterdam Center for Law and Economics, University of Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020760288","display_name":"Henry Prakken","orcid":"https://orcid.org/0000-0002-3431-7757"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Henry Prakken","raw_affiliation_strings":["Department of Information and Computing Sciences, Utrecht University, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Information and Computing Sciences, Utrecht University, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060921040","display_name":"Bart Verheij","orcid":"https://orcid.org/0000-0001-8927-8751"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bart Verheij","raw_affiliation_strings":["Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000591379"],"corresponding_institution_ids":["https://openalex.org/I193662353"],"apc_list":null,"apc_paid":null,"fwci":1.5715,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.86305302,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13643","display_name":"Artificial Intelligence in Law","score":0.9682999849319458,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9652000069618225,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.8277820348739624},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.707369327545166},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6212267875671387},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6052160859107971},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5489672422409058},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5162103772163391},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.48014920949935913},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.43548041582107544},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34671688079833984},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17855322360992432},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.08930709958076477}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.8277820348739624},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.707369327545166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6212267875671387},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6052160859107971},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5489672422409058},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5162103772163391},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.48014920949935913},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.43548041582107544},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34671688079833984},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17855322360992432},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.08930709958076477},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.3233/faia230944","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3233/faia230944","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA230944","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/22d720ba-1554-4e60-ba1b-2f9d28348647","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/hierarchical-a-fortiori-reasoning-with-dimensions(22d720ba-1554-4e60-ba1b-2f9d28348647).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van Woerkom, W, Grossi, D, Prakken, H & Verheij, B 2023, Hierarchical a Fortiori Reasoning with Dimensions. in G Sileno, J Spanakis & G van Dijck (eds), Legal Knowledge and Information Systems : JURIX 2023: The Thirty-sixth Annual Conference, Maastricht, the Netherlands, 18\u201320 December 2023. Frontiers in Artificial Intelligence and Applications, vol. 379, IOS Press, Amsterdam, pp. 43-52, 36th International Conference on Legal Knowledge and Information Systems, JURIX 2023, Maastricht, Netherlands, 18/12/23. https://doi.org/10.3233/FAIA230944","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:openaire/c14c868a-d744-4a4f-9892-79eed4aeab4b","is_oa":false,"landing_page_url":"https://research.rug.nl/en/publications/c14c868a-d744-4a4f-9892-79eed4aeab4b","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Van Woerkom, W, Grossi, D, Prakken, H & Verheij, B 2023, Hierarchical a Fortiori Reasoning with Dimensions. in G Sileno, J Spanakis & G van Dijck (eds), Legal Knowledge and Information Systems - JURIX 2023 : 36th Annual Conference. Frontiers in Artificial Intelligence and Applications, vol. 379, IOS Press, pp. 43-52, 36th International Conference on Legal Knowledge and Information Systems, JURIX 2023, Maastricht, Netherlands, 18/12/2023. https://doi.org/10.3233/FAIA230944","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:publications/22d720ba-1554-4e60-ba1b-2f9d28348647","is_oa":false,"landing_page_url":"https://hdl.handle.net/11245.1/22d720ba-1554-4e60-ba1b-2f9d28348647","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Woerkom, W, Grossi, D, Prakken, H & Verheij, B 2023, Hierarchical a Fortiori Reasoning with Dimensions. in G Sileno, J Spanakis & G van Dijck (eds), Legal Knowledge and Information Systems : JURIX 2023: The Thirty-sixth Annual Conference, Maastricht, the Netherlands, 18\u201320 December 2023. Frontiers in Artificial Intelligence and Applications, vol. 379, IOS Press, Amsterdam, pp. 43-52, 36th International Conference on Legal Knowledge and Information Systems, JURIX 2023, Maastricht, Netherlands, 18/12/23. https://doi.org/10.3233/FAIA230944","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dspace.library.uu.nl:1874/436468","is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/436468","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Part of book"},{"id":"pmh:oai:pure.rug.nl:publications/c14c868a-d744-4a4f-9892-79eed4aeab4b","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/c14c868a-d744-4a4f-9892-79eed4aeab4b","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Van Woerkom, W, Grossi, D, Prakken, H & Verheij, B 2023, Hierarchical a Fortiori Reasoning with Dimensions. in G Sileno, J Spanakis & G van Dijck (eds), Legal Knowledge and Information Systems - JURIX 2023 : 36th Annual Conference. Frontiers in Artificial Intelligence and Applications, vol. 379, IOS Press, pp. 43-52, 36th International Conference on Legal Knowledge and Information Systems, JURIX 2023, Maastricht, Netherlands, 18/12/2023. https://doi.org/10.3233/FAIA230944","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.3233/faia230944","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3233/faia230944","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA230944","source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7799999713897705}],"awards":[{"id":"https://openalex.org/G5550786340","display_name":null,"funder_award_id":"024.004.022","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389565743.pdf","grobid_xml":"https://content.openalex.org/works/W4389565743.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W162817087","https://openalex.org/W2009299421","https://openalex.org/W2087567709","https://openalex.org/W2114288113","https://openalex.org/W2170244904","https://openalex.org/W2921522229","https://openalex.org/W2950281301","https://openalex.org/W3109546902","https://openalex.org/W3159029582","https://openalex.org/W4240648738","https://openalex.org/W4296926339","https://openalex.org/W4386506012","https://openalex.org/W4386506713","https://openalex.org/W4386516238","https://openalex.org/W4386528799"],"related_works":["https://openalex.org/W2905433371","https://openalex.org/W4390569940","https://openalex.org/W2888392564","https://openalex.org/W4361193272","https://openalex.org/W4310278675","https://openalex.org/W4388422664","https://openalex.org/W2806259446","https://openalex.org/W2963326959","https://openalex.org/W4247136043","https://openalex.org/W2011017119"],"abstract_inverted_index":{"In":[0,34,71,96],"recent":[1],"years,":[2],"a":[3,6,89,105],"model":[4,39,65,79],"of":[5,24,30,58,76],"fortiori":[7],"argumentation,":[8],"developed":[9],"to":[10,27,36,50,104],"describe":[11],"legal":[12],"reasoning":[13],"based":[14],"on":[15,55],"precedent,":[16],"has":[17,47],"been":[18,48],"successfully":[19],"applied":[20],"in":[21],"the":[22,52,56,63,77,97],"field":[23],"artificial":[25],"intelligence":[26],"improve":[28],"interpretability":[29],"data-driven":[31],"decision":[32],"systems.":[33],"order":[35],"make":[37],"this":[38,44],"more":[40],"broadly":[41],"applicable":[42],"for":[43,84],"purpose,":[45],"work":[46,99],"done":[49],"expand":[51],"knowledge":[53],"representation":[54],"basis":[57],"which":[59,82,91],"it":[60],"functions,":[61],"as":[62],"original":[64,78],"accommodates":[66,92],"only":[67],"binary":[68],"propositional":[69],"information.":[70,113],"particular,":[72],"two":[73],"separate":[74],"expansions":[75,103],"emerged;":[80],"one":[81],"accounts":[83],"non-binary":[85],"input":[86],"information,":[87],"and":[88,111],"second":[90],"hierarchically":[93],"structured":[94],"reasoning.":[95],"present":[98],"we":[100],"unify":[101],"these":[102],"single":[106],"model,":[107],"incorporating":[108],"both":[109],"dimensional":[110],"hierarchical":[112]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}