{"id":"https://openalex.org/W3203166074","doi":"https://doi.org/10.1007/s10849-021-09343-w","title":"Performability of Actions","display_name":"Performability of Actions","publication_year":2021,"publication_date":"2021-10-06","ids":{"openalex":"https://openalex.org/W3203166074","doi":"https://doi.org/10.1007/s10849-021-09343-w","mag":"3203166074"},"language":"en","primary_location":{"id":"doi:10.1007/s10849-021-09343-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10849-021-09343-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10849-021-09343-w.pdf","source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic, Language and Information","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10849-021-09343-w.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078414060","display_name":"Janusz Czelakowski","orcid":"https://orcid.org/0000-0002-6611-2377"},"institutions":[{"id":"https://openalex.org/I170583851","display_name":"University of Opole","ror":"https://ror.org/04gbpnx96","country_code":"PL","type":"education","lineage":["https://openalex.org/I170583851"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Janusz Czelakowski","raw_affiliation_strings":["Department of Mathematics, Physics and Informatics, University of Opole, Opole, Poland"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Physics and Informatics, University of Opole, Opole, Poland","institution_ids":["https://openalex.org/I170583851"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5078414060"],"corresponding_institution_ids":["https://openalex.org/I170583851"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.2719,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63677305,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"30","issue":"4","first_page":"753","last_page":"804"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9912999868392944,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9839000105857849,"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/computer-science","display_name":"Computer science","score":0.7275440692901611},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.6558308601379395},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6163079738616943},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5365223288536072},{"id":"https://openalex.org/keywords/situational-ethics","display_name":"Situational ethics","score":0.5176823139190674},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4483382999897003},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3837008476257324},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33702772855758667},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.2536444664001465},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16437533497810364},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09529945254325867}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7275440692901611},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.6558308601379395},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6163079738616943},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5365223288536072},{"id":"https://openalex.org/C9114305","wikidata":"https://www.wikidata.org/wiki/Q1428317","display_name":"Situational ethics","level":2,"score":0.5176823139190674},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4483382999897003},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3837008476257324},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33702772855758667},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2536444664001465},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16437533497810364},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09529945254325867},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10849-021-09343-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10849-021-09343-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10849-021-09343-w.pdf","source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic, Language and Information","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10849-021-09343-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10849-021-09343-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10849-021-09343-w.pdf","source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic, Language and Information","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.8100000023841858,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G5007375548","display_name":null,"funder_award_id":"Grant UMO-2014/15/G/H51/04514","funder_id":"https://openalex.org/F4320322511","funder_display_name":"Narodowe Centrum Nauki"}],"funders":[{"id":"https://openalex.org/F4320322511","display_name":"Narodowe Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3203166074.pdf","grobid_xml":"https://content.openalex.org/works/W3203166074.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1490829364","https://openalex.org/W1560681040","https://openalex.org/W1601449885","https://openalex.org/W2002089154","https://openalex.org/W2072046078","https://openalex.org/W2074320039","https://openalex.org/W2075022248","https://openalex.org/W2079589121","https://openalex.org/W2095704391","https://openalex.org/W2118823189","https://openalex.org/W2164909904","https://openalex.org/W2170655684","https://openalex.org/W2337392266","https://openalex.org/W2483658324","https://openalex.org/W2898863632","https://openalex.org/W4242462843","https://openalex.org/W6606564802","https://openalex.org/W6684382195","https://openalex.org/W6684906258"],"related_works":["https://openalex.org/W2012350746","https://openalex.org/W4389264631","https://openalex.org/W4386286863","https://openalex.org/W2883563059","https://openalex.org/W2003333417","https://openalex.org/W2390159806","https://openalex.org/W4223942575","https://openalex.org/W3043836914","https://openalex.org/W4254573740","https://openalex.org/W2991618286"],"abstract_inverted_index":{"Abstract":[0],"Action":[1],"theory":[2,31,144],"may":[3],"be":[4],"regarded":[5],"as":[6,48,126],"a":[7,16,33,61,76,113,121,172],"theoretical":[8],"foundation":[9,65],"of":[10,22,46,66,78,84,86,93,95,98,136,145,147,162,164,171,192,200,202,217,237,264,266,296,303,313],"AI,":[11],"because":[12],"it":[13,59],"provides":[14],"in":[15,109,112,129,133,168,190,196,251,300],"logically":[17],"coherent":[18],"way":[19,115],"the":[20,82,91,110,124,143,169,198,215,220,253,291,297,301,304],"principles":[21],"performing":[23],"actions":[24,47,56,148,165,201,219,314],"by":[25],"agents.":[26],"But,":[27],"more":[28],"importantly,":[29],"action":[30,138],"offers":[32],"formal":[34,137,154,158],"ontology":[35,42],"mainly":[36,73],"based":[37,149],"on":[38,150,252],"set-theoretic":[39],"constructs.":[40],"This":[41,118,185],"isolates":[43],"various":[44,203],"types":[45,204],"structured":[49],"entities:":[50],"atomic,":[51],"sequential,":[52],"compound,":[53],"ordered,":[54],"situational":[55],"etc.,":[57],"and":[58,63,131,153,207,315],"is":[60,72,166,187,210,231,284,290,307,318],"solid":[62],"non-removable":[64],"any":[67],"rational":[68],"activity.":[69],"The":[70,160,249,286,294,309],"paper":[71],"concerned":[74],"with":[75],"bunch":[77],"issues":[79],"centered":[80],"around":[81],"notion":[83],"performability":[85,94,146,163,265,312],"actions.":[87,269],"It":[88],"seems":[89],"that":[90],"problem":[92],"actions,":[96],"though":[97],"basic":[99],"importance":[100],"for":[101,274],"purely":[102],"practical":[103],"applications,":[104],"has":[105],"not":[106,232],"been":[107],"investigated":[108],"literature":[111],"systematic":[114],"thus":[116],"far.":[117],"work,":[119],"being":[120],"companion":[122],"to":[123,214],"book":[125],"reported":[127],"(Czelakowski":[128],"Freedom":[130],"enforcement":[132],"action.":[134],"Elements":[135],"theory,":[139],"Springer":[140],"2015),":[141],"elaborates":[142],"relational":[151],"models":[152,195],"constructs":[155],"borrowed":[156],"from":[157],"lingusistics.":[159],"discussion":[161],"encapsulated":[167],"form":[170],"strict":[173],"logical":[174],"system":[175,186,221,254,273],"\"Equation":[176,222,238,255,275],"missing\"<!--":[177,223,239,256,276],"image":[178,224,240,257,277],"only,":[179,225,241,258,278],"no":[180,226,242,259,279],"MathML":[181,227,243,260,280],"or":[182,228,244,261,281],"LaTex":[183,229,245,262,282],"-->.":[184],"semantically":[188],"defined":[189],"terms":[191],"its":[193],"intended":[194],"which":[197],"role":[199,295],"(atomic,":[205],"sequential":[206],"compound":[208,218,268],"ones)":[209],"accentuated.":[211],"Since":[212],"due":[213],"nature":[216],"-->":[230,246,263,283],"finitary,":[233],"other":[234],"semantic":[235],"variants":[236],"are":[247],"defined.":[248,285],"focus":[250],"finite":[267],"An":[270],"adequate":[271],"axiom":[272],"strong":[287],"completeness":[288,305],"theorem":[289,306],"central":[292],"result.":[293],"canonical":[298],"model":[299],"proof":[302],"highlighted.":[308],"relationship":[310],"between":[311],"dynamic":[316],"logic":[317],"also":[319],"discussed.":[320]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}