{"id":"https://openalex.org/W198493027","doi":"https://doi.org/10.5591/978-1-57735-516-8/ijcai11-156","title":"Belief management for high-level robot programs","display_name":"Belief management for high-level robot programs","publication_year":2011,"publication_date":"2011-07-16","ids":{"openalex":"https://openalex.org/W198493027","doi":"https://doi.org/10.5591/978-1-57735-516-8/ijcai11-156","mag":"198493027"},"language":"en","primary_location":{"id":"pmh:oai:publications.rwth-aachen.de:125603","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/125603","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 : Barcelona, Catalonia, Spain, 16 - 22 July 2011 / ed. by Toby Walsh. - Vol. 2<br/>Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11, Barcelona, Spain, 2011-07-16 - 2011-07-22","raw_type":"info:eu-repo/semantics/conferenceObject"},"type":"conference-paper","indexed_in":[],"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/A5077562050","display_name":"Stephan Gspandl","orcid":null},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stephan Gspandl","raw_affiliation_strings":["Institute for Software Technology, Graz University of Technology , Graz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Technology, Graz University of Technology , Graz, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046899369","display_name":"Ingo Pill","orcid":"https://orcid.org/0000-0002-8420-6377"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ingo Pill","raw_affiliation_strings":["Institute for Software Technology, Graz University of Technology , Graz, Austria"],"raw_orcid":"https://orcid.org/0000-0002-8420-6377","affiliations":[{"raw_affiliation_string":"Institute for Software Technology, Graz University of Technology , Graz, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074526814","display_name":"Michael Reip","orcid":null},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Michael Reip","raw_affiliation_strings":["Institute for Software Technology, Graz University of Technology , Graz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Technology, Graz University of Technology , Graz, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027029105","display_name":"Gerald Steinbauer","orcid":null},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Gerald Steinbauer","raw_affiliation_strings":["Institute for Software Technology, Graz University of Technology , Graz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Technology, Graz University of Technology , Graz, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085820430","display_name":"Alexander Ferrein","orcid":"https://orcid.org/0000-0002-0643-5422"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Ferrein","raw_affiliation_strings":["Knowledge Based Systems Group, RWTH Aachen University, Aachen, Germany#TAB#"],"raw_orcid":"https://orcid.org/0000-0002-0643-5422","affiliations":[{"raw_affiliation_string":"Knowledge Based Systems Group, RWTH Aachen University, Aachen, Germany#TAB#","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"900","last_page":"905"},"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.9995999932289124,"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.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9984999895095825,"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.9916999936103821,"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.7286547422409058},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.590162992477417},{"id":"https://openalex.org/keywords/outcome","display_name":"Outcome (game theory)","score":0.5690889954566956},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5562371611595154},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.549333930015564},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.5371094346046448},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5053249001502991},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4677064120769501},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4570297598838806},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.380123496055603}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7286547422409058},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.590162992477417},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.5690889954566956},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5562371611595154},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.549333930015564},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.5371094346046448},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5053249001502991},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4677064120769501},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4570297598838806},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.380123496055603},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:publications.rwth-aachen.de:125603","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/125603","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 : Barcelona, Catalonia, Spain, 16 - 22 July 2011 / ed. by Toby Walsh. - Vol. 2<br/>Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11, Barcelona, Spain, 2011-07-16 - 2011-07-22","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"mag:198493027","is_oa":false,"landing_page_url":"http://www.ijcai.org/papers11/Papers/IJCAI11-156.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419999","display_name":"International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":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":null,"raw_source_name":"International Joint Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1509869722","https://openalex.org/W1520214770","https://openalex.org/W1537435730","https://openalex.org/W1557975422","https://openalex.org/W1665552886","https://openalex.org/W1981542448","https://openalex.org/W2017914455","https://openalex.org/W2038809129","https://openalex.org/W2045474169","https://openalex.org/W2126740902","https://openalex.org/W2129680381","https://openalex.org/W2132513170","https://openalex.org/W2144386448","https://openalex.org/W2161586357","https://openalex.org/W2963957519"],"related_works":["https://openalex.org/W2963957519","https://openalex.org/W2038809129","https://openalex.org/W2901136733","https://openalex.org/W2161586357","https://openalex.org/W2132513170","https://openalex.org/W2126740902","https://openalex.org/W2144386448","https://openalex.org/W1537435730","https://openalex.org/W2950737003","https://openalex.org/W2904766634","https://openalex.org/W2108309071","https://openalex.org/W2081492660","https://openalex.org/W1580369301","https://openalex.org/W1495862233","https://openalex.org/W1489183362","https://openalex.org/W72303821","https://openalex.org/W3128129633","https://openalex.org/W1519880688","https://openalex.org/W2968959172","https://openalex.org/W175963169"],"abstract_inverted_index":{"The":[0,99],"robot":[1],"programming":[2],"and":[3,13,20,32,38,67,94,104,133,139,145],"plan":[4],"language":[5],"IndiGolog":[6,82,144],"allows":[7,124],"for":[8],"on-line":[9],"execution":[10],"of":[11,16,30,136],"actions":[12,34,132],"offline":[14],"projections":[15],"programs":[17],"in":[18,81,97,143],"dynamic":[19],"partly":[21],"unknown":[22],"environments.":[23],"Basic":[24],"assumptions":[25,56],"are":[26,35,70,112],"that":[27,39,83,123],"the":[28,40,134],"outcomes":[29],"primitive":[31],"sensing":[33,68],"correctly":[36],"modeled,":[37],"agent":[41,126],"is":[42,65,84],"informed":[43],"about":[44],"all":[45],"exogenous":[46,137],"events":[47],"beyond":[48],"its":[49],"control.":[50],"In":[51,60,72],"real-world":[52],"applications,":[53],"however,":[54],"such":[55],"do":[57],"not":[58],"hold.":[59],"fact,":[61],"an":[62,125,141],"action's":[63],"outcome":[64],"error-prone":[66],"results":[69,147],"noisy.":[71],"this":[73],"paper,":[74],"we":[75],"present":[76],"a":[77,90,106,114,119,149],"belief":[78,93,115],"management":[79,116],"system":[80,100,117],"able":[85],"to":[86,127],"detect":[87],"inconsistencies":[88],"between":[89],"robot's":[91],"modeled":[92],"what":[95],"happened":[96],"reality.":[98],"furthermore":[101],"derives":[102],"explanations":[103],"maintains":[105],"consistent":[107],"belief.":[108],"Our":[109],"main":[110],"contributions":[111],"(1)":[113],"following":[118],"history-based":[120],"diagnosis":[121],"approach":[122],"actively":[128],"cope":[129],"with":[130],"faulty":[131],"occurrence":[135],"events;":[138],"(2)":[140],"implementation":[142],"experimental":[146],"from":[148],"delivery":[150],"domain.":[151]},"counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}