{"id":"https://openalex.org/W2593727116","doi":"https://doi.org/10.1145/3218818","title":"An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules","display_name":"An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules","publication_year":2018,"publication_date":"2018-07-31","ids":{"openalex":"https://openalex.org/W2593727116","doi":"https://doi.org/10.1145/3218818","mag":"2593727116"},"language":"en","primary_location":{"id":"doi:10.1145/3218818","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3218818","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","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/A5015841512","display_name":"Daniel Gall","orcid":"https://orcid.org/0000-0002-5762-9307"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Gall","raw_affiliation_strings":["Ulm University, James-Franck-Ring, Ulm"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ulm University, James-Franck-Ring, Ulm","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032517478","display_name":"Thom Fr\u00fchwirth","orcid":null},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thom Fr\u00fchwirth","raw_affiliation_strings":["Ulm University, James-Franck-Ring, Ulm"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ulm University, James-Franck-Ring, Ulm","institution_ids":["https://openalex.org/I196349391"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I196349391"],"apc_list":null,"apc_paid":null,"fwci":0.3276,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6536906,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":97},"biblio":{"volume":"19","issue":"3","first_page":"1","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9972000122070312,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9972000122070312,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9954000115394592,"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.7481729984283447},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.61592698097229},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5927932262420654},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5901980400085449},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5618757605552673},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5427870750427246},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5314561128616333},{"id":"https://openalex.org/keywords/computational-semantics","display_name":"Computational semantics","score":0.5035457015037537},{"id":"https://openalex.org/keywords/cognitive-architecture","display_name":"Cognitive architecture","score":0.4876023828983307},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.475721150636673},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.4464956521987915},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.4363715350627899},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43081605434417725},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3413041830062866},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.2888377904891968},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.2804291248321533},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12486961483955383}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7481729984283447},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.61592698097229},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5927932262420654},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5901980400085449},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5618757605552673},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5427870750427246},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5314561128616333},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.5035457015037537},{"id":"https://openalex.org/C20854674","wikidata":"https://www.wikidata.org/wiki/Q4386060","display_name":"Cognitive architecture","level":3,"score":0.4876023828983307},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.475721150636673},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.4464956521987915},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.4363715350627899},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43081605434417725},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3413041830062866},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.2888377904891968},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.2804291248321533},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12486961483955383},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3218818","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3218818","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W172429576","https://openalex.org/W754528170","https://openalex.org/W832410335","https://openalex.org/W1480740341","https://openalex.org/W1513409503","https://openalex.org/W1540729231","https://openalex.org/W1570300814","https://openalex.org/W1605597939","https://openalex.org/W1837415053","https://openalex.org/W1928882148","https://openalex.org/W1980259712","https://openalex.org/W1981395566","https://openalex.org/W2016595821","https://openalex.org/W2033797867","https://openalex.org/W2039091857","https://openalex.org/W2044712166","https://openalex.org/W2114163423","https://openalex.org/W2136518234","https://openalex.org/W2160951757","https://openalex.org/W2186647222","https://openalex.org/W2497752288","https://openalex.org/W2523254259","https://openalex.org/W2523356052","https://openalex.org/W2550568158","https://openalex.org/W2555779514","https://openalex.org/W2570710533","https://openalex.org/W2618947027","https://openalex.org/W2786961046","https://openalex.org/W2914408291","https://openalex.org/W3082283346","https://openalex.org/W3099526688","https://openalex.org/W3102572232","https://openalex.org/W4299422106"],"related_works":["https://openalex.org/W1572426677","https://openalex.org/W2415302829","https://openalex.org/W2386685556","https://openalex.org/W2755706355","https://openalex.org/W1975908952","https://openalex.org/W2294784104","https://openalex.org/W1626176828","https://openalex.org/W1990759781","https://openalex.org/W2081930115","https://openalex.org/W2950641724"],"abstract_inverted_index":{"Computational":[0],"psychology":[1],"has":[2,31,37,212],"the":[3,120,146,153,164,176,191,203,259,267,282,291],"aim":[4],"to":[5,25,40,53,114,131,190,216,251,269,281],"explain":[6,41],"human":[7],"cognition":[8],"by":[9],"computational":[10,64],"models":[11,189,250,273],"of":[12,20,66,81,119,134,144,156,163,179,187,209,243,248,263,271,284,295],"cognitive":[13,16,43,58],"processes.":[14],"The":[15,246],"architecture":[17],"Adaptive":[18],"Control":[19],"Thought--Rational":[21],"(ACT-R)":[22],"is":[23,129,159,199,253,290],"popular":[24],"develop":[26],"such":[27],"models.":[28],"Although":[29],"ACT-R":[30,61,82,121,157,180,188,249,272,296],"a":[32,63,95,124,185],"well-defined":[33],"psychological":[34],"theory":[35],"and":[36,79,116,158,233,241,256,278,301],"been":[38,213],"used":[39,214],"many":[42,76,84,106,142,230],"processes,":[44],"there":[45,74],"are":[46,75,139,229],"two":[47],"problems":[48],"that":[49,138,236],"make":[50],"it":[51,112,169],"hard":[52],"reason":[54],"formally":[55],"about":[56,240],"its":[57,67,135],"models:":[59],"First,":[60],"lacks":[62],"formalization":[65],"underlying":[68],"production":[69],"rule":[70],"system,":[71,167],"and,":[72],"second,":[73],"different":[77,117],"implementations":[78,118,143],"extensions":[80,115],"with":[83],"technical":[85,107],"artifacts":[86],"complicating":[87],"formal":[88,96,238],"reasoning":[89,239],"even":[90],"more.":[91],"This":[92,201,265],"article":[93],"describes":[94],"operational":[97,261],"semantics\u2014the":[98],"very":[99],"abstract":[100,136,147,204,260,288,293],"semantics":[101,128,148,205,262,289],"\u2014that":[102],"abstracts":[103,171],"from":[104,172],"as":[105,109],"details":[108,173],"possible,":[110],"keeping":[111],"open":[113],"theory.":[122],"In":[123],"second":[125],"step,":[126],"this":[127],"refined":[130],"define":[132],"some":[133],"features":[137],"found":[140],"in":[141],"ACT-R\u2014called":[145],".":[149],"It":[150],"concentrates":[151],"on":[152],"procedural":[154],"core":[155],"suitable":[160,297],"for":[161,298],"analysis":[162,242,270,276,300],"general":[165],"transition":[166],"since":[168],"still":[170],"like":[174,221],"timing,":[175],"sub-symbolic":[177],"layer":[178],"or":[181,225],"conflict":[182],"resolution.":[183],"Furthermore,":[184],"translation":[186,247],"declarative":[192],"programming":[193],"language":[194],"Constraint":[195],"Handling":[196],"Rules":[197],"(CHR)":[198],"defined.":[200],"makes":[202],"an":[206],"executable":[207],"specification":[208],"ACT-R.":[210,264],"CHR":[211,244,252,275],"successfully":[215],"embed":[217],"other":[218],"rule-based":[219],"formalisms":[220],"graph":[222],"transformation":[223],"systems":[224],"functional":[226],"programming.":[227],"There":[228],"theoretical":[231],"results":[232,277],"practical":[234],"tools":[235],"support":[237],"programs.":[245],"proven":[254],"sound":[255],"complete":[257],"w.r.t.":[258],"paves":[266],"way":[268],"through":[274],"tools.":[279],"Therefore,":[280],"best":[283],"our":[285,287],"knowledge,":[286],"first":[292],"formulation":[294],"both":[299],"execution.":[302]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}