{"id":"https://openalex.org/W2009265764","doi":"https://doi.org/10.1080/095281397147239","title":"The Transition Calculus: a high-level formalism for reasoning about action and change","display_name":"The Transition Calculus: a high-level formalism for reasoning about action and change","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W2009265764","doi":"https://doi.org/10.1080/095281397147239","mag":"2009265764"},"language":"en","primary_location":{"id":"doi:10.1080/095281397147239","is_oa":false,"landing_page_url":"https://doi.org/10.1080/095281397147239","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075760394","display_name":"J. M. Gooday","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"JOHN GOODAY","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5060494518","display_name":"Antony Galton","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"ANTONY GALTON","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075760394"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.38060505,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.84173478,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"9","issue":"1","first_page":"51","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991000294685364,"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.9983000159263611,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.8548160791397095},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.7673331499099731},{"id":"https://openalex.org/keywords/situation-calculus","display_name":"Situation calculus","score":0.7067467570304871},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7059376835823059},{"id":"https://openalex.org/keywords/frame-problem","display_name":"Frame problem","score":0.4966962933540344},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.43842992186546326},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.38896024227142334},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3759089410305023},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36844053864479065},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2155219316482544}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.8548160791397095},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7673331499099731},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.7067467570304871},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7059376835823059},{"id":"https://openalex.org/C5065155","wikidata":"https://www.wikidata.org/wiki/Q1185775","display_name":"Frame problem","level":2,"score":0.4966962933540344},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.43842992186546326},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38896024227142334},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3759089410305023},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36844053864479065},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2155219316482544},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/095281397147239","is_oa":false,"landing_page_url":"https://doi.org/10.1080/095281397147239","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.7200000286102295,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W89748510","https://openalex.org/W143722158","https://openalex.org/W1993512664","https://openalex.org/W2089022513","https://openalex.org/W2120465900","https://openalex.org/W2138162238","https://openalex.org/W2337392266","https://openalex.org/W2613352234","https://openalex.org/W2899987233"],"related_works":["https://openalex.org/W1495630752","https://openalex.org/W2159800242","https://openalex.org/W1569732681","https://openalex.org/W2185139080","https://openalex.org/W2048059078","https://openalex.org/W2061420542","https://openalex.org/W2952249082","https://openalex.org/W2521935660","https://openalex.org/W2121084133","https://openalex.org/W122734451"],"abstract_inverted_index":{"Abstract.":[0],"The":[1],"majority":[2],"of":[3,32,52,70,123,136,154,171],"existing":[4],"formalisms":[5],"for":[6],"reasoning":[7,149],"about":[8],"action":[9,75,129],"and":[10,72,76,79,111,130,162],"change":[11,77,131],"require":[12],"explicit":[13,124],"references":[14],"to":[15,89,117,166],"low-level":[16],"entities":[17],"such":[18],"as":[19,97],"time":[20],"points":[21],"or":[22,25],"situations":[23],"whether":[24],"not":[26],"these":[27],"are":[28,47],"a":[29,66,98,108,146,168],"relevant":[30],"feature":[31],"the":[33,53,84,90,138],"problem":[34],"in":[35,44,50,121],"hand.":[36],"Transition":[37,141],"calculus":[38,103,142],"is":[39,61,81,159],"an":[40],"alternative,":[41],"high-level":[42,100],"approach,":[43],"which":[45],"actions":[46],"directly":[48],"modelled":[49],"terms":[51,122],"state":[54,156],"changes":[55],"that":[56,63],"they":[57],"bring":[58],"about.":[59],"It":[60],"argued":[62],"this":[64,144],"provides":[65],"more":[67],"natural":[68],"way":[69],"representing":[71],"solving":[73],"many":[74],"problems":[78,119],"it":[80],"shown":[82,165],"how":[83],"formalism":[85,132],"can":[86,112],"be":[87,106,115,134],"applied":[88],"AI":[91],"planning":[92],"domain.":[93],"Although":[94],"primarily":[95],"intended":[96],"purely":[99],"formalism,":[101],"transition":[102],"may":[104],"also":[105,114],"given":[107],"temporal":[109,125],"semantics":[110],"thus":[113],"used":[116],"solve":[118,167],"reformulated":[120],"references.":[126],"Any":[127],"useful":[128],"must":[133],"capable":[135],"handling":[137],"frame":[139],"problem.":[140],"accomplishes":[143],"via":[145],"novel":[147],"nonmonotonic":[148],"mechanism":[150],"based":[151],"on":[152],"minimization":[153],"unexplained":[155],"change.":[157],"This":[158],"readily":[160],"implementable":[161],"has":[163],"been":[164],"wide":[169],"variety":[170],"canonical":[172],"problems.":[173]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}