{"id":"https://openalex.org/W2405484365","doi":"https://doi.org/10.29007/2m22","title":"Towards an Expressive Practical Logical Action Theory","display_name":"Towards an Expressive Practical Logical Action Theory","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2405484365","doi":"https://doi.org/10.29007/2m22","mag":"2405484365"},"language":"en","primary_location":{"id":"doi:10.29007/2m22","is_oa":true,"landing_page_url":"https://doi.org/10.29007/2m22","pdf_url":"https://easychair.org/publications/open/tcmR","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/tcmR","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016326843","display_name":"Mikhail Soutchanski","orcid":null},"institutions":[{"id":"https://openalex.org/I530967","display_name":"Toronto Metropolitan University","ror":"https://ror.org/05g13zd79","country_code":"CA","type":"education","lineage":["https://openalex.org/I530967"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mikhail Soutchanski","raw_affiliation_strings":["Dept. of Comp. Science, Ryerson University, 245 Church Street, ENG281, Toronto, ON, M5B 2K3, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Comp. Science, Ryerson University, 245 Church Street, ENG281, Toronto, ON, M5B 2K3, Canada","institution_ids":["https://openalex.org/I530967"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086973058","display_name":"Wael Yehia","orcid":null},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Wael Yehia","raw_affiliation_strings":["Dept. of Comp. Science and Engineering York University, 4700 Keele Street, Toronto, ON, M3J 1P3, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Comp. Science and Engineering York University, 4700 Keele Street, Toronto, ON, M3J 1P3, Canada","institution_ids":["https://openalex.org/I192455969"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5086973058"],"corresponding_institution_ids":["https://openalex.org/I192455969"],"apc_list":null,"apc_paid":null,"fwci":0.3276,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65333851,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"10","issue":null,"first_page":"307","last_page":"287"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9970999956130981,"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/situation-calculus","display_name":"Situation calculus","score":0.881165623664856},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8412737846374512},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.8386579751968384},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.782463550567627},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6161863803863525},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.6091368794441223},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5917423367500305},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5842252969741821},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5708876848220825},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5228724479675293},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5105589628219604},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.49138131737709045},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4607715308666229},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.4424896836280823},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3537203073501587},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34142082929611206},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31480562686920166}],"concepts":[{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.881165623664856},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8412737846374512},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8386579751968384},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.782463550567627},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6161863803863525},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.6091368794441223},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5917423367500305},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5842252969741821},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5708876848220825},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5228724479675293},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5105589628219604},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.49138131737709045},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4607715308666229},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.4424896836280823},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3537203073501587},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34142082929611206},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31480562686920166},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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":3,"locations":[{"id":"doi:10.29007/2m22","is_oa":true,"landing_page_url":"https://doi.org/10.29007/2m22","pdf_url":"https://easychair.org/publications/open/tcmR","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.353.8435","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.8435","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.easychair.org/publications/?page=1889782972","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.432.7345","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.432.7345","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.easychair.org/publications/?page=1889782972","raw_type":"text"}],"best_oa_location":{"id":"doi:10.29007/2m22","is_oa":true,"landing_page_url":"https://doi.org/10.29007/2m22","pdf_url":"https://easychair.org/publications/open/tcmR","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.44999998807907104}],"awards":[],"funders":[{"id":"https://openalex.org/F4320319918","display_name":"York University","ror":"https://ror.org/05fq50484"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2405484365.pdf","grobid_xml":"https://content.openalex.org/works/W2405484365.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W7484285","https://openalex.org/W7781181","https://openalex.org/W78682067","https://openalex.org/W85436509","https://openalex.org/W127957882","https://openalex.org/W232602148","https://openalex.org/W1479728228","https://openalex.org/W1495287947","https://openalex.org/W1537435730","https://openalex.org/W1579501393","https://openalex.org/W1583058930","https://openalex.org/W1691564963","https://openalex.org/W1973391999","https://openalex.org/W1986563142","https://openalex.org/W1998363560","https://openalex.org/W2022716165","https://openalex.org/W2085001516","https://openalex.org/W2101901809","https://openalex.org/W2114561477","https://openalex.org/W2119409989","https://openalex.org/W2128204593","https://openalex.org/W2138162238","https://openalex.org/W2139315672","https://openalex.org/W2147520802","https://openalex.org/W2166047453","https://openalex.org/W2403955733","https://openalex.org/W2406822549","https://openalex.org/W2724608839","https://openalex.org/W2911529331","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2398566420","https://openalex.org/W4399889137","https://openalex.org/W3091716098","https://openalex.org/W2136489648","https://openalex.org/W2115872603","https://openalex.org/W2521935660","https://openalex.org/W2595762659","https://openalex.org/W1514810828","https://openalex.org/W1484524474","https://openalex.org/W2030335628"],"abstract_inverted_index":{"In":[0,127],"the":[1,9,14,37,54,65,72,85,92,114,121,132,141,175,191,227],"area":[2],"of":[3,8,30,53,113,120,124,157,164,218,238],"reasoning":[4,168],"about":[5,169],"actions,":[6],"one":[7,197],"key":[10],"computational":[11],"problems":[12],"is":[13,24,34,43,103],"projection":[15,66,133,176],"problem:":[16],"to":[17,71],"find":[18],"whether":[19],"a":[20,28,50,146,219,235],"given":[21],"logical":[22,122],"formula":[23],"true":[25],"after":[26],"performing":[27],"sequence":[29],"actions.":[31,170],"This":[32],"problem":[33,67,74,134,177],"undecidable":[35],"in":[36,45,75,140,194,226],"general":[38,147],"situation":[39,55,115],"calculus;":[40],"however,":[41],"it":[42],"decidable":[44],"some":[46,119],"fragments.":[47],"We":[48,117,171],"consider":[49],"fragment":[51,101],"P":[52,102],"calculus":[56],"and":[57,89],"Reiter's":[58],"basic":[59],"action":[60,221],"theories":[61,241],"(BAT)":[62],"such":[63],"that":[64,81,99,131,153,174,204,233],"can":[68,135,178,205,222,243],"be":[69,136,179,206,224,244],"reduced":[70],"satisfiability":[73],"an":[76,151,200,209],"expressive":[77,105],"description":[78,109],"logic":[79,94,110],"$ALCO(U)$":[80,210],"includes":[82],"nominals":[83],"($O$),":[84],"universal":[86],"role":[87],"($U$),":[88],"constructs":[90],"from":[91,216],"well-known":[93],"$ALC$.":[95],"It":[96],"turns":[97],"out":[98],"our":[100,125],"more":[104],"than":[106],"previously":[107],"explored":[108],"based":[111],"fragments":[112],"calculus.":[116],"explore":[118],"properties":[123],"theories.":[126],"particular,":[128],"we":[129,160,231],"show":[130,173,232],"solved":[137,180],"using":[138,181],"regression":[139],"case":[142],"where":[143],"BATs":[144],"include":[145],"``static\"":[148],"TBox,":[149],"i.e.,":[150,193],"ontology":[152],"has":[154],"no":[155],"occurrences":[156],"fluents.":[158],"Thus,":[159],"propose":[161],"seamless":[162],"integration":[163],"traditional":[165],"ontologies":[166],"with":[167,199],"also":[172],"progression":[182,214,242],"if":[183,196],"all":[184],"actions":[185],"have":[186],"only":[187],"local":[188],"effects":[189],"on":[190],"fluents,":[192],"P,":[195],"starts":[198],"incomplete":[201,239],"initial":[202,240],"theory":[203],"transformed":[207],"into":[208],"concept,":[211],"then":[212],"its":[213],"resulting":[215],"execution":[217],"ground":[220],"still":[223],"expressed":[225],"same":[228],"language.":[229],"Moreover,":[230],"for":[234],"broad":[236],"class":[237],"computed":[245],"efficiently.":[246]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}