乐胖代购免代理版

{"id":"https://openalex.org/W2131833562","doi":"https://doi.org/10.1109/iros.2008.4650773","title":"Evaluating a reactive semantics for robotics","display_name":"Evaluating a reactive semantics for robotics","publication_year":2008,"publication_date":"2008-09-01","ids":{"openalex":"https://openalex.org/W2131833562","doi":"https://doi.org/10.1109/iros.2008.4650773","mag":"2131833562"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros.2008.4650773","pdf_url":null,"source":{"id":"https://openalex.org/S4363608614","display_name":"2011 IEEE/RSJ International Conference on Intelligent Robots and Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5012814891","display_name":"Geoffrey Biggs","orcid":"https://orcid.org/0000-0002-4348-2404"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"funder","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"G. Biggs","raw_affiliation_strings":["Electr. & Comput. Eng., Univ. of Auckland, Auckland"],"affiliations":[{"raw_affiliation_string":"Electr. & Comput. Eng., Univ. of Auckland, Auckland","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065146109","display_name":"Bruce A. MacDonald","orcid":"https://orcid.org/0000-0001-7602-8497"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"funder","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"B.A. MacDonald","raw_affiliation_strings":["Electr. & Comput. Eng., Univ. of Auckland, Auckland"],"affiliations":[{"raw_affiliation_string":"Electr. & Comput. Eng., Univ. of Auckland, Auckland","institution_ids":["https://openalex.org/I154130895"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":1,"citation_normalized_percentile":{"value":0.211931,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":63,"max":70},"biblio":{"volume":null,"issue":null,"first_page":"1854","last_page":"1859"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9945,"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.9945,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9883,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7866899},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6697408},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.64417964},{"id":"https://openalex.org/C2778143727","wikidata":"https://www.wikidata.org/wiki/Q1820650","display_name":"Readability","level":2,"score":0.6169717},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5202933},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.5085393},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47864023},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.47742498},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34864816},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33679742},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros.2008.4650773","pdf_url":null,"source":{"id":"https://openalex.org/S4363608614","display_name":"2011 IEEE/RSJ International Conference on Intelligent Robots and Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality education","id":"https://metadata.un.org/sdg/4","score":0.82}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":14,"referenced_works":["https://openalex.org/W143162329","https://openalex.org/W1566011038","https://openalex.org/W1586619453","https://openalex.org/W1603799276","https://openalex.org/W1868569611","https://openalex.org/W2030676756","https://openalex.org/W2097856935","https://openalex.org/W2102788153","https://openalex.org/W2114440766","https://openalex.org/W2143436119","https://openalex.org/W2145929683","https://openalex.org/W2159554299","https://openalex.org/W2171724570","https://openalex.org/W2297172695"],"related_works":["https://openalex.org/W4315704968","https://openalex.org/W4285478380","https://openalex.org/W4254960163","https://openalex.org/W3110264473","https://openalex.org/W2370831213","https://openalex.org/W2140061545","https://openalex.org/W2107506952","https://openalex.org/W2100255360","https://openalex.org/W2032810564","https://openalex.org/W1964661231"],"abstract_inverted_index":{"A":[0],"key":[1],"part":[2],"of":[3,38,45,63,71],"programming":[4,32],"a":[5,23,36,49,55],"robotic":[6],"system":[7],"is":[8,20],"specifying":[9],"the":[10,15,39,61,67,72,77],"responses":[11],"to":[12,59],"events":[13],"that":[14,47],"robot":[16,31],"may":[17],"encounter.":[18],"This":[19,27],"provided":[21],"by":[22],"new":[24],"language,":[25],"RADAR.":[26],"paper":[28],"proposes":[29],"evaluating":[30],"systems":[33],"work":[34],"by:":[35],"formalisation":[37],"semantics,":[40],"an":[41],"evaluation":[42,70],"in":[43,76],"terms":[44],"criteria":[46],"determine":[48],"languagepsilas":[50],"suitability":[51],"for":[52,83],"programming,":[53],"and":[54],"small":[56],"user":[57],"study":[58],"test":[60],"readability":[62],"programs":[64],"written":[65],"using":[66],"semantics.":[68],"The":[69],"reactivity":[73],"semantics":[74],"found":[75],"RADAR":[78],"language":[79],"shows":[80],"clear":[81],"benefits":[82],"programmers.":[84]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2131833562","counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2025-04-21T05:53:02.461680","created_date":"2016-06-24"}