{"id":"https://openalex.org/W3047270145","doi":"https://doi.org/10.1017/s1471068420000186","title":"Exploiting Game Theory for Analysing Justifications","display_name":"Exploiting Game Theory for Analysing Justifications","publication_year":2020,"publication_date":"2020-09-22","ids":{"openalex":"https://openalex.org/W3047270145","doi":"https://doi.org/10.1017/s1471068420000186","mag":"3047270145"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068420000186","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068420000186","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/05AC786F483DC488432F46230B6F3DC3/S1471068420000186a.pdf/div-class-title-exploiting-game-theory-for-analysing-justifications-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/05AC786F483DC488432F46230B6F3DC3/S1471068420000186a.pdf/div-class-title-exploiting-game-theory-for-analysing-justifications-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"SIMON MARYNISSEN","orcid":"https://orcid.org/0000-0002-2894-1377"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]},{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"SIMON MARYNISSEN","raw_affiliation_strings":["KU Leuven","Vrije Universiteit Brussel"],"affiliations":[{"raw_affiliation_string":"KU Leuven","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"Vrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":null,"display_name":"BART BOGAERTS","orcid":null},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"BART BOGAERTS","raw_affiliation_strings":["Vrije Universiteit Brussel"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"last","author":{"id":null,"display_name":"MARC DENECKER","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"MARC DENECKER","raw_affiliation_strings":["KU Leuven"],"affiliations":[{"raw_affiliation_string":"KU Leuven","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I13469542","https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":0.2743,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64070114,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"20","issue":"6","first_page":"880","last_page":"894"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6524999737739563,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6524999737739563,"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/T10126","display_name":"Logic, programming, and type systems","score":0.15549999475479126,"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/T10142","display_name":"Formal Methods in Verification","score":0.03359999880194664,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/semantics","display_name":"Semantics (computer science)","score":0.7085000276565552},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.671999990940094},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5613999962806702},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.5396000146865845},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.46149998903274536},{"id":"https://openalex.org/keywords/semantic-theory-of-truth","display_name":"Semantic theory of truth","score":0.4162999987602234},{"id":"https://openalex.org/keywords/possible-world","display_name":"Possible world","score":0.4011000096797943},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.396699994802475}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7563999891281128},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.7085000276565552},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.671999990940094},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5613999962806702},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.5396000146865845},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.46149998903274536},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.43160000443458557},{"id":"https://openalex.org/C39095165","wikidata":"https://www.wikidata.org/wiki/Q7449101","display_name":"Semantic theory of truth","level":2,"score":0.4162999987602234},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.4011000096797943},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.396699994802475},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.3950999975204468},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.39149999618530273},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3433000147342682},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.31029999256134033},{"id":"https://openalex.org/C9672783","wikidata":"https://www.wikidata.org/wiki/Q65122115","display_name":"Game semantics","level":5,"score":0.3073999881744385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.303600013256073},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.27570000290870667},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.2639000117778778},{"id":"https://openalex.org/C123556308","wikidata":"https://www.wikidata.org/wiki/Q484761","display_name":"Philosophy of language","level":3,"score":0.26249998807907104},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.2563000023365021}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068420000186","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068420000186","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/05AC786F483DC488432F46230B6F3DC3/S1471068420000186a.pdf/div-class-title-exploiting-game-theory-for-analysing-justifications-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:145242","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/exploiting-game-theory-for-analysing-justifications(1b1f06d5-6f9f-4535-8676-d759de2695ae).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"article"},{"id":"pmh:oai:arXiv.org:2008.01609","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.01609","pdf_url":"https://arxiv.org/pdf/2008.01609","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/659024","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/659024","pdf_url":"https://lirias.kuleuven.be/bitstream/123456789/659024/2/exploting_game_theory_for_analysing_justifications.pdf","source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"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":"Theory And Practice Of Logic Programming, vol. 20 (6), Art.No. PII S1471068420000186, (880-894)","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1017/s1471068420000186","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068420000186","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/05AC786F483DC488432F46230B6F3DC3/S1471068420000186a.pdf/div-class-title-exploiting-game-theory-for-analysing-justifications-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3047270145.pdf","grobid_xml":"https://content.openalex.org/works/W3047270145.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1494279436","https://openalex.org/W1568244765","https://openalex.org/W1569758148","https://openalex.org/W1592324616","https://openalex.org/W1968513265","https://openalex.org/W1980849794","https://openalex.org/W2129802691","https://openalex.org/W2408502454","https://openalex.org/W2478370979","https://openalex.org/W2807882401","https://openalex.org/W2998857771","https://openalex.org/W4248784701","https://openalex.org/W6675604431","https://openalex.org/W6739964466"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Justification":[1],"theory":[2,59,74,117,141],"is":[3,34,68,107,129],"a":[4,35,40,48,87,131,136],"unifying":[5],"semantic":[6],"framework.":[7],"While":[8],"it":[9,16],"has":[10],"its":[11,30],"roots":[12],"in":[13,23,27,47],"non-monotonic":[14],"logics,":[15],"can":[17,83],"be":[18,84],"applied":[19],"to":[20],"various":[21],"areas":[22],"computer":[24],"science,":[25],"especially":[26],"explainable":[28],"reasoning;":[29],"most":[31],"central":[32],"concept":[33],"justification:":[36],"an":[37],"explanation":[38],"why":[39],"property":[41],"holds":[42],"(or":[43],"does":[44],"not":[45],"hold)":[46],"model.":[49],"In":[50,145],"this":[51],"paper,":[52],"we":[53],"continue":[54],"the":[55,70,96,146],"study":[56],"of":[57,62,90,115,134,171],"justification":[58,73,81,116,140],"by":[60,139],"means":[61],"three":[63],"major":[64],"contributions.":[65,103],"The":[66,92,104,126],"first":[67],"studying":[69,108],"relation":[71],"between":[72],"and":[75,156],"game":[76],"theory.":[77],"We":[78,159],"show":[79,160],"that":[80,149,161],"frameworks":[82],"seen":[85],"as":[86,119,123],"special":[88],"type":[89],"games.":[91],"established":[93],"connection":[94],"provides":[95],"theoretical":[97],"foundations":[98],"for":[99,167],"our":[100],"next":[101],"two":[102,112],"second":[105],"contribution":[106,128],"under":[109],"which":[110],"condition":[111],"different":[113],"dialects":[114],"(graphs":[118],"explanations":[120],"vs":[121],"trees":[122],"explanations)":[124],"coincide.":[125],"third":[127],"establishing":[130],"precise":[132],"criterion":[133],"when":[135],"semantics":[137,151,170],"induced":[138],"yields":[142],"consistent":[143,153],"results.":[144],"past":[147],"proving":[148],"such":[150],"were":[152],"took":[154],"cumbersome":[155],"elaborate":[157],"proofs.":[158],"these":[162],"criteria":[163],"are":[164],"indeed":[165],"satisfied":[166],"all":[168],"common":[169],"logic":[172],"programming.":[173]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2020-08-10T00:00:00"}