{"id":"https://openalex.org/W3192808469","doi":"https://doi.org/10.1017/s1471068421000429","title":"Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming","display_name":"Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W3192808469","doi":"https://doi.org/10.1017/s1471068421000429","mag":"3192808469"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068421000429","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000429","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B500C263186E9DADC13BE88B0A46F0A1/S1471068421000429a.pdf/div-class-title-determining-action-reversibility-in-strips-using-answer-set-and-epistemic-logic-programming-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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B500C263186E9DADC13BE88B0A46F0A1/S1471068421000429a.pdf/div-class-title-determining-action-reversibility-in-strips-using-answer-set-and-epistemic-logic-programming-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017101409","display_name":"Wolfgang Faber","orcid":"https://orcid.org/0000-0002-0330-5868"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"WOLFGANG FABER","raw_affiliation_strings":["University of Klagenfurt, Klagenfurt, Austria (e-mails:","Amateur Athletic Union"],"affiliations":[{"raw_affiliation_string":"University of Klagenfurt, Klagenfurt, Austria (e-mails:","institution_ids":["https://openalex.org/I4210166741"]},{"raw_affiliation_string":"Amateur Athletic Union","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050387054","display_name":"Michael Morak","orcid":"https://orcid.org/0000-0002-2077-7672"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"MICHAEL MORAK","raw_affiliation_strings":["University of Klagenfurt, Klagenfurt, Austria (e-mails:","Amateur Athletic Union"],"affiliations":[{"raw_affiliation_string":"University of Klagenfurt, Klagenfurt, Austria (e-mails:","institution_ids":["https://openalex.org/I4210166741"]},{"raw_affiliation_string":"Amateur Athletic Union","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066158048","display_name":"Luk\u00e1\u0161 Chrpa","orcid":"https://orcid.org/0000-0001-9713-7748"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"LUK\u00c1\u0160 CHRPA","raw_affiliation_strings":["Czech Technical University in Prague, Prague, Czech Republic (e-mail:","Czech Technical Univ. in Prague"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague, Prague, Czech Republic (e-mail:","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Czech Technical Univ. in Prague","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5017101409"],"corresponding_institution_ids":["https://openalex.org/I4210166741"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11223204,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"5","first_page":"646","last_page":"662"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9994999766349792,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9955999851226807,"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/answer-set-programming","display_name":"Answer set programming","score":0.8682948350906372},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.7149266600608826},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6836391687393188},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5674188733100891},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5474914908409119},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4844343960285187},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4613938331604004},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.4287964701652527},{"id":"https://openalex.org/keywords/action-theory","display_name":"Action theory (sociology)","score":0.42794036865234375},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3939853310585022},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3243710398674011},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.22781577706336975}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.8682948350906372},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7149266600608826},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6836391687393188},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5674188733100891},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5474914908409119},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4844343960285187},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4613938331604004},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.4287964701652527},{"id":"https://openalex.org/C206987240","wikidata":"https://www.wikidata.org/wiki/Q1520882","display_name":"Action theory (sociology)","level":2,"score":0.42794036865234375},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3939853310585022},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3243710398674011},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.22781577706336975},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068421000429","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000429","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B500C263186E9DADC13BE88B0A46F0A1/S1471068421000429a.pdf/div-class-title-determining-action-reversibility-in-strips-using-answer-set-and-epistemic-logic-programming-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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2108.05428","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2108.05428","pdf_url":"https://arxiv.org/pdf/2108.05428","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":"mag:3192808469","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2108.05428","pdf_url":null,"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2108.05428","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2108.05428","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1017/s1471068421000429","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000429","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B500C263186E9DADC13BE88B0A46F0A1/S1471068421000429a.pdf/div-class-title-determining-action-reversibility-in-strips-using-answer-set-and-epistemic-logic-programming-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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.6000000238418579}],"awards":[{"id":"https://openalex.org/G12500569","display_name":null,"funder_award_id":"CZ.02.1.01/0.0","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G2167632926","display_name":null,"funder_award_id":"18-07252S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G4131035492","display_name":null,"funder_award_id":"CZ.02.1.01","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G4818322051","display_name":null,"funder_award_id":"019/0000765","funder_id":"https://openalex.org/F4320334253","funder_display_name":"Research Center for Informatics, Czech Technical University in Prague"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320334253","display_name":"Research Center for Informatics, Czech Technical University in Prague","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3192808469.pdf","grobid_xml":"https://content.openalex.org/works/W3192808469.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W46233171","https://openalex.org/W1489183362","https://openalex.org/W1586014657","https://openalex.org/W1964059186","https://openalex.org/W2061146398","https://openalex.org/W2076698873","https://openalex.org/W2087432892","https://openalex.org/W2193441267","https://openalex.org/W2257525443","https://openalex.org/W2337392266","https://openalex.org/W2479648088","https://openalex.org/W2574020264","https://openalex.org/W2575353807","https://openalex.org/W2741915937","https://openalex.org/W2788006543","https://openalex.org/W2910476971","https://openalex.org/W2913952264","https://openalex.org/W3080226136","https://openalex.org/W3095779258","https://openalex.org/W3096416567","https://openalex.org/W3101257817","https://openalex.org/W3207334359","https://openalex.org/W6732287243","https://openalex.org/W6758868416","https://openalex.org/W6845317957"],"related_works":["https://openalex.org/W3021203245","https://openalex.org/W2945137242","https://openalex.org/W3047690414","https://openalex.org/W3111310568","https://openalex.org/W1507973257","https://openalex.org/W2923655103","https://openalex.org/W188308814","https://openalex.org/W1216305310","https://openalex.org/W3192697409","https://openalex.org/W1646982748","https://openalex.org/W2045081599","https://openalex.org/W2293222990","https://openalex.org/W2904621793","https://openalex.org/W1206947482","https://openalex.org/W2404606729","https://openalex.org/W3132982069","https://openalex.org/W2174970731","https://openalex.org/W1813540742","https://openalex.org/W1556907582","https://openalex.org/W48924529"],"abstract_inverted_index":{"Abstract":[0],"In":[1,55,73],"the":[2,29,43,46,63,68,95,101],"context":[3,44],"of":[4,45,66,70,97,104,120],"planning":[5,53],"and":[6,10,87,125,127,131],"reasoning":[7],"about":[8],"actions":[9],"change,":[11],"we":[12,58,75,108],"call":[13],"an":[14,71,77,118],"action":[15,98],"reversible":[16],"when":[17],"its":[18],"effects":[19],"can":[20],"be":[21],"reverted":[22],"by":[23],"applying":[24],"other":[25],"actions,":[26],"returning":[27],"to":[28,39,62,82,93],"original":[30],"state.":[31],"Renewed":[32],"interest":[33],"in":[34,42],"this":[35,56],"area":[36],"has":[37],"led":[38],"several":[40,60,90],"results":[41],"PDDL":[47,81],"language,":[48],"widely":[49],"used":[50],"for":[51,100],"describing":[52],"tasks.":[54],"paper,":[57],"propose":[59],"solutions":[61],"computational":[64],"problem":[65,96],"deciding":[67],"reversibility":[69,99],"action.":[72],"particular,":[74],"leverage":[76],"existing":[78],"translation":[79],"from":[80],"Answer":[83],"Set":[84],"Programming":[85,116],"(ASP),":[86],"then":[88],"use":[89,109],"different":[91],"encodings":[92],"tackle":[94],"STRIPS":[102],"fragment":[103],"PDDL.":[105],"For":[106],"these,":[107],"ASP,":[110],"as":[111,113],"well":[112],"Epistemic":[114],"Logic":[115],"(ELP),":[117],"extension":[119],"ASP":[121],"with":[122],"epistemic":[123],"operators,":[124],"compare":[126],"contrast":[128],"their":[129],"strengths":[130],"weaknesses.":[132]},"counts_by_year":[],"updated_date":"2026-03-21T08:13:44.787528","created_date":"2022-07-25T00:00:00"}