{"id":"https://openalex.org/W6943799479","doi":"https://doi.org/10.15488/13064","title":"Parameterized aspects of team-based formalisms and logical inference","display_name":"Parameterized aspects of team-based formalisms and logical inference","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W6943799479","doi":"https://doi.org/10.15488/13064"},"language":"en","primary_location":{"id":"pmh:oai:www.repo.uni-hannover.de:123456789/13169","is_oa":true,"landing_page_url":"http://doi.org/10.15488/13064","pdf_url":null,"source":{"id":"https://openalex.org/S4306401575","display_name":"Institutional Repository of Leibniz Universit\u00e4t Hannover (Leibniz Universit\u00e4t Hannover)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114112103","host_organization_name":"Leibniz University Hannover","host_organization_lineage":["https://openalex.org/I114112103"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"info:eu-repo/semantics/DoctoralThesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://doi.org/10.15488/13064","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Mahmood, Yasir","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mahmood, Yasir","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.680899977684021,"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.680899977684021,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.06129999831318855,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.04439999908208847,"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/parameterized-complexity","display_name":"Parameterized complexity","score":0.8726000189781189},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7612000107765198},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7103000283241272},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5543000102043152},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5217000246047974},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5090000033378601},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.47189998626708984},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.4632999897003174},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.45649999380111694}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8726000189781189},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7612000107765198},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7103000283241272},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5543000102043152},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5217000246047974},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5120000243186951},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5090000033378601},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48890000581741333},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47189998626708984},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.4632999897003174},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.45649999380111694},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.429500013589859},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4262999892234802},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.40700000524520874},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39809998869895935},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.36570000648498535},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.35899999737739563},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.3456000089645386},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.34200000762939453},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.3296999931335449},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32670000195503235},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.32030001282691956},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.31610000133514404},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.290800005197525},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C19754495","wikidata":"https://www.wikidata.org/wiki/Q3435924","display_name":"Computational problem","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:www.repo.uni-hannover.de:123456789/13169","is_oa":true,"landing_page_url":"http://doi.org/10.15488/13064","pdf_url":null,"source":{"id":"https://openalex.org/S4306401575","display_name":"Institutional Repository of Leibniz Universit\u00e4t Hannover (Leibniz Universit\u00e4t Hannover)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114112103","host_organization_name":"Leibniz University Hannover","host_organization_lineage":["https://openalex.org/I114112103"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"info:eu-repo/semantics/DoctoralThesis"},{"id":"doi:10.15488/13064","is_oa":true,"landing_page_url":"https://doi.org/10.15488/13064","pdf_url":null,"source":{"id":"https://openalex.org/S7407052956","display_name":"Leibniz Universit\u00e4t Hannover","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:www.repo.uni-hannover.de:123456789/13169","is_oa":true,"landing_page_url":"http://doi.org/10.15488/13064","pdf_url":null,"source":{"id":"https://openalex.org/S4306401575","display_name":"Institutional Repository of Leibniz Universit\u00e4t Hannover (Leibniz Universit\u00e4t Hannover)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114112103","host_organization_name":"Leibniz University Hannover","host_organization_lineage":["https://openalex.org/I114112103"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"info:eu-repo/semantics/DoctoralThesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Parameterized":[0],"complexity":[1,7,24,48,91,117,273,324,346],"is":[2,216,221,260,289,306,354,387,461],"an":[3,20,151,222,251,381,444,447],"interesting":[4,152,402],"subfield":[5],"of":[6,14,25,38,49,55,66,77,92,98,118,126,138,147,161,172,200,211,240,250,274,287,298,325,411,436,449],"theory":[8],"that":[9,103,388],"has":[10],"received":[11],"a":[12,96,124,158,183,188,225,228,344,408,433,450],"lot":[13],"attention":[15],"in":[16,213,227,281,359,377,398,415,420],"recent":[17],"years.":[18],"Such":[19],"analysis":[21,347],"characterizes":[22],"the":[23,31,39,46,53,64,89,115,136,144,168,194,198,248,262,282,295,299,312,323,355,375,393,438,455,459],"(classically)":[26],"intractable":[27],"problems":[28,51,76,94,120,276,327,386],"by":[29,143,243,314],"pinpointing":[30],"computational":[32],"hardness":[33],"to":[34,123,135,217,291,330],"some":[35],"structural":[36],"aspects":[37],"input.":[40],"In":[41,63,256,339],"this":[42,340,378,399],"thesis,":[43,341],"we":[44,69,203,236,342,389],"study":[45],"parameterized":[47,116],"various":[50,331],"from":[52,380],"area":[54,199],"team-based":[56,67],"formalisms":[57],"as":[58,60,95,141,365],"well":[59],"logical":[61,201],"inference.":[62],"context":[65],"formalism,":[68],"consider":[70,204,238],"propositional":[71,139,309],"dependence":[72],"logic":[73,140],"(PDL).":[74],"The":[75,164,209,272,351,395],"interest":[78,212],"are":[79,108,401],"model":[80],"checking":[81],"(MC)":[82],"and":[83,106,207,254,268,285,316,367,369,424],"satisfiability":[84,137,153,173],"(SAT).":[85],"Peter":[86],"Lohmann":[87],"studied":[88],"classical":[90,283],"these":[93,119,275,326,349,385],"part":[97],"his":[99],"Ph.D.":[100],"thesis":[101,113,379,400],"proving":[102],"both":[104],"MC":[105],"SAT":[107,130],"NP-complete":[109],"for":[110,131,157,174,182,224,294,303,308,336,348,403,428,457],"PDL.":[111],"This":[112],"addresses":[114],"with":[121,328,454],"respect":[122,329],"wealth":[125],"different":[127],"parameterizations.":[128],"Interestingly,":[129],"PDL":[132],"boils":[133],"down":[134],"implied":[142],"downwards":[145],"closure":[146],"PDL-formulas.":[148,175],"We":[149,176],"propose":[150,177],"variant":[154],"(mSAT)":[155],"asking":[156,181],"satisfiable":[159,185],"team":[160,186,190],"size":[162,249],"m.":[163],"problem":[165,179,210,451,460],"mSAT":[166],"restores":[167],"\u2018team":[169],"semantic\u2019":[170],"nature":[171],"another":[178,391],"(MaxSubTeam)":[180],"maximal":[184],"if":[187],"given":[189],"does":[191],"not":[192],"satisfy":[193],"input":[195],"formula.":[196],"From":[197],"inference,":[202],"(logic-based)":[205],"abduction":[206,214],"argumentation.":[208],"(ABD)":[215],"determine":[218],"whether":[219],"there":[220],"explanation":[223,252],"manifestation":[226],"knowledge":[229],"base":[230],"(KB).":[231],"Following":[232],"Pfandler":[233],"et":[234,320,371],"al.,":[235],"also":[237],"two":[239,404],"its":[241],"variants":[242],"imposing":[244],"additional":[245],"restrictions":[246,332,356],"over":[247,333,357],"(ABD":[253],"ABD=).":[255],"argumentation,":[257],"our":[258,416],"focus":[259],"on":[261,384],"argument":[263],"existence":[264],"(ARG),":[265],"relevance":[266],"(ARG-Rel)":[267],"verification":[269],"(ARG-Check)":[270],"problems.":[271,350,430],"have":[277],"been":[278],"explored":[279],"already":[280],"setting,":[284],"each":[286],"them":[288],"known":[290],"be":[292],"complete":[293],"second":[296],"level":[297],"polynomial":[300],"hierarchy":[301],"(except":[302],"ARG-Check":[304],"which":[305,458],"DP-complete)":[307],"logic.":[310],"Moreover,":[311],"work":[313,376],"Nord":[315,366],"Zanuttini":[317,368],"(resp.,":[318],"Creignou":[319,370],"al.)":[321],"explores":[322],"allowed":[334],"KBs":[335],"ABD":[337],"(ARG).":[338],"explore":[343],"two-dimensional":[345],"first":[352],"dimension":[353],"KB":[358],"Schaefer\u2019s":[360],"framework":[361],"(the":[362],"same":[363],"direction":[364],"al.).":[372],"What":[373],"differentiates":[374],"existing":[382],"research":[383],"add":[390],"dimension,":[392],"parameterization.":[394],"results":[396,427,441],"obtained":[397,439],"reasons.":[405],"First":[406],"(from":[407,432],"theoretical":[409],"point":[410,435],"view),":[412,437],"ideas":[413],"used":[414],"reductions":[417,423],"can":[418],"help":[419,443],"developing":[421],"further":[422],"prove":[425],"(in)tractability":[426],"related":[429],"Second":[431],"practical":[434],"tractability":[440],"might":[442],"agent":[445],"designing":[446],"instance":[448],"come":[452],"up":[453],"one":[456],"tractable.":[462]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}