{"id":"https://openalex.org/W2785298987","doi":"https://doi.org/10.23638/lmcs-15(2:8)2019","title":"Reasoning about effects: from lists to cyber-physical agents","display_name":"Reasoning about effects: from lists to cyber-physical agents","publication_year":2019,"publication_date":"2019-04-30","ids":{"openalex":"https://openalex.org/W2785298987","doi":"https://doi.org/10.23638/lmcs-15(2:8)2019","mag":"2785298987"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(2:8)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:8)2019","pdf_url":"https://lmcs.episciences.org/5411/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5411/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111689976","display_name":"Ian A. Mason","orcid":null},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ian A. Mason","raw_affiliation_strings":["SRI International , Menlo Park , CA 94025 , USA CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany"],"affiliations":[{"raw_affiliation_string":"SRI International , Menlo Park , CA 94025 , USA CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090498111","display_name":"Carolyn Talcott","orcid":"https://orcid.org/0000-0003-2845-7144"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carolyn L. Talcott","raw_affiliation_strings":["SRI International , Menlo Park , CA 94025 , USA CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany"],"affiliations":[{"raw_affiliation_string":"SRI International , Menlo Park , CA 94025 , USA CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","institution_ids":["https://openalex.org/I1298353152"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5111689976"],"corresponding_institution_ids":["https://openalex.org/I1298353152"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00385526,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 15, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7194594144821167},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6958020925521851},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6021844744682312},{"id":"https://openalex.org/keywords/drone","display_name":"Drone","score":0.5912538170814514},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5843510627746582},{"id":"https://openalex.org/keywords/closing","display_name":"Closing (real estate)","score":0.5474919676780701},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5247713923454285},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4939180016517639},{"id":"https://openalex.org/keywords/logical-reasoning","display_name":"Logical reasoning","score":0.48698553442955017},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4543333649635315},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4422076344490051},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.41151753067970276},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3447510302066803},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13099661469459534}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7194594144821167},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6958020925521851},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6021844744682312},{"id":"https://openalex.org/C59519942","wikidata":"https://www.wikidata.org/wiki/Q650665","display_name":"Drone","level":2,"score":0.5912538170814514},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5843510627746582},{"id":"https://openalex.org/C2778775528","wikidata":"https://www.wikidata.org/wiki/Q5135432","display_name":"Closing (real estate)","level":2,"score":0.5474919676780701},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5247713923454285},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4939180016517639},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.48698553442955017},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4543333649635315},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4422076344490051},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.41151753067970276},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3447510302066803},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13099661469459534},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23638/lmcs-15(2:8)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:8)2019","pdf_url":"https://lmcs.episciences.org/5411/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1801.08450","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.08450","pdf_url":"https://arxiv.org/pdf/1801.08450","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":"doi:10.48550/arxiv.1801.08450","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1801.08450","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:2963213278","is_oa":true,"landing_page_url":"https://dblp.uni-trier.de/db/journals/corr/corr1801.html#abs-1801-08450","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Logical Methods in Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(2:8)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:8)2019","pdf_url":"https://lmcs.episciences.org/5411/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2785298987.pdf","grobid_xml":"https://content.openalex.org/works/W2785298987.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W71507039","https://openalex.org/W1489371530","https://openalex.org/W1541540802","https://openalex.org/W1551447924","https://openalex.org/W1625982774","https://openalex.org/W1627185756","https://openalex.org/W1763978647","https://openalex.org/W1973030866","https://openalex.org/W1987160431","https://openalex.org/W1997143185","https://openalex.org/W2012140088","https://openalex.org/W2026928233","https://openalex.org/W2039112578","https://openalex.org/W2054299141","https://openalex.org/W2072794470","https://openalex.org/W2088735483","https://openalex.org/W2092774615","https://openalex.org/W2098830227","https://openalex.org/W2101247081","https://openalex.org/W2113757735","https://openalex.org/W2118623138","https://openalex.org/W2134112335","https://openalex.org/W2135037579","https://openalex.org/W2151716725","https://openalex.org/W2156876717","https://openalex.org/W2157144873","https://openalex.org/W2460389227","https://openalex.org/W2603635877","https://openalex.org/W2786468265","https://openalex.org/W2912819106"],"related_works":["https://openalex.org/W4229448053","https://openalex.org/W4247925126","https://openalex.org/W4327774218","https://openalex.org/W2059768187","https://openalex.org/W4312858960","https://openalex.org/W4386036939","https://openalex.org/W4379143281","https://openalex.org/W2605096541","https://openalex.org/W3200286695","https://openalex.org/W4386322305"],"abstract_inverted_index":{"Theories":[0],"for":[1,117],"reasoning":[2,105],"about":[3,36,106],"programs":[4],"with":[5,43,86,115],"effects":[6,85,107],"initially":[7],"focused":[8],"on":[9,104],"basic":[10],"manipulation":[11],"of":[12,41,47,53,84,90],"lists":[13],"and":[14,75,111,113],"other":[15],"mutable":[16,33],"data.":[17,34],"The":[18,51],"next":[19],"challenge":[20,40],"was":[21],"to":[22,32,59,79],"consider":[23,60],"higher-order":[24],"programming,":[25],"adding":[26],"functions":[27],"as":[28,64,66],"first":[29],"class":[30,83],"objects":[31],"Reasoning":[35],"actors":[37],"added":[38],"the":[39,57],"dealing":[42],"distributed":[44],"open":[45],"systems":[46],"entities":[48],"interacting":[49],"asynchronously.":[50],"advent":[52],"cyber-physical":[54,71],"agents":[55,72],"introduces":[56],"need":[58],"uncertainty,":[61],"faults,":[62],"physical":[63],"well":[65],"logical":[67],"effects.":[68],"In":[69],"addition":[70],"have":[73],"sensors":[74],"actuators":[76],"giving":[77],"rise":[78],"a":[80,102],"much":[81],"richer":[82],"broader":[87],"scope:":[88],"think":[89],"self-driving":[91],"cars,":[92],"autonomous":[93],"drones,":[94],"or":[95],"smart":[96],"medical":[97],"devices.":[98],"This":[99],"paper":[100],"gives":[101],"retrospective":[103],"highlighting":[108],"key":[109],"principles":[110],"techniques":[112],"closing":[114],"challenges":[116],"future":[118],"work.":[119]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}