{"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":{"id":"doi:10.1109/iros.2008.4650773","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros.2008.4650773","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE/RSJ International Conference on Intelligent Robots and Systems","raw_type":"proceedings-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/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":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"G. Biggs","raw_affiliation_strings":["Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","Electr. & Comput. Eng., Univ. of Auckland, Auckland"],"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"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":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"B.A. MacDonald","raw_affiliation_strings":["Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","Electr. & Comput. Eng., Univ. of Auckland, Auckland"],"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Electr. & Comput. Eng., Univ. of Auckland, Auckland","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012814891"],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.10754383,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3","issue":null,"first_page":"1854","last_page":"1859"},"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.9944999814033508,"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.9944999814033508,"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.9908999800682068,"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.9883000254631042,"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":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7866898775100708},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6697407960891724},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.64417964220047},{"id":"https://openalex.org/keywords/readability","display_name":"Readability","score":0.6169716715812683},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5202932953834534},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.5085393190383911},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.47864022850990295},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4774249792098999},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.34864816069602966},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33679741621017456}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7866898775100708},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6697407960891724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.64417964220047},{"id":"https://openalex.org/C2778143727","wikidata":"https://www.wikidata.org/wiki/Q1820650","display_name":"Readability","level":2,"score":0.6169716715812683},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5202932953834534},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.5085393190383911},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47864022850990295},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4774249792098999},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34864816069602966},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33679741621017456},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iros.2008.4650773","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros.2008.4650773","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE/RSJ International Conference on Intelligent Robots and Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:researchspace.auckland.ac.nz:2292/8997","is_oa":false,"landing_page_url":"https://hdl.handle.net/2292/8997","pdf_url":null,"source":{"id":"https://openalex.org/S7407055463","display_name":"ResearchSpace (University of Auckland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I154130895","host_organization_name":"University of Auckland","host_organization_lineage":["https://openalex.org/I154130895"],"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":"Conference Item"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"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","https://openalex.org/W6633866166","https://openalex.org/W6677359716"],"related_works":["https://openalex.org/W1964661231","https://openalex.org/W4254960163","https://openalex.org/W3110264473","https://openalex.org/W2370831213","https://openalex.org/W4285478380","https://openalex.org/W4315704968","https://openalex.org/W2100255360","https://openalex.org/W2140061545","https://openalex.org/W2032810564","https://openalex.org/W2107506952"],"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]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}