{"id":"https://openalex.org/W2126255662","doi":"https://doi.org/10.1109/robot.1987.1087930","title":"Hypothesizing undetected and occluded three-dimensional features using predicate logic based spatial reasoning","display_name":"Hypothesizing undetected and occluded three-dimensional features using predicate logic based spatial reasoning","publication_year":2005,"publication_date":"2005-03-23","ids":{"openalex":"https://openalex.org/W2126255662","doi":"https://doi.org/10.1109/robot.1987.1087930","mag":"2126255662"},"language":"en","primary_location":{"id":"doi:10.1109/robot.1987.1087930","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.1987.1087930","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1987 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"},"type":"conference-paper","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/A5009972049","display_name":"Michael Magee","orcid":"https://orcid.org/0000-0003-4148-2301"},"institutions":[{"id":"https://openalex.org/I4210140930","display_name":"Thales (France)","ror":"https://ror.org/04emwm605","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210140930"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Magee","raw_affiliation_strings":["Surface Radar Business Line, Thales Air Systems, Limours, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Surface Radar Business Line, Thales Air Systems, Limours, France","institution_ids":["https://openalex.org/I4210140930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043942156","display_name":"M. Nathan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210140930","display_name":"Thales (France)","ror":"https://ror.org/04emwm605","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210140930"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Nathan","raw_affiliation_strings":["Surface Radar Business Line, Thales Air Systems, Limours, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Surface Radar Business Line, Thales Air Systems, Limours, France","institution_ids":["https://openalex.org/I4210140930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210140930"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21621513,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4","issue":null,"first_page":"935","last_page":"940"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.998199999332428,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.998199999332428,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9926999807357788,"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/T11106","display_name":"Data Management and Algorithms","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/predicate","display_name":"Predicate (mathematical logic)","score":0.7671722173690796},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6545538902282715},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.5744036436080933},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5150129795074463},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.514616847038269},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5114508867263794},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.48262819647789},{"id":"https://openalex.org/keywords/predicate-variable","display_name":"Predicate variable","score":0.4323233962059021},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4184323251247406},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40964648127555847},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3809267282485962},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37584561109542847},{"id":"https://openalex.org/keywords/pattern-recognition","display_name":"Pattern recognition (psychology)","score":0.35009390115737915},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32904547452926636},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.285746306180954}],"concepts":[{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7671722173690796},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6545538902282715},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.5744036436080933},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5150129795074463},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.514616847038269},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5114508867263794},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.48262819647789},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.4323233962059021},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4184323251247406},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40964648127555847},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3809267282485962},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37584561109542847},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.35009390115737915},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32904547452926636},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.285746306180954},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.0},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/robot.1987.1087930","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.1987.1087930","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1987 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2751752","https://openalex.org/W26725075","https://openalex.org/W1901178523","https://openalex.org/W1963845733","https://openalex.org/W1968833464","https://openalex.org/W2032191584","https://openalex.org/W2042119491","https://openalex.org/W2045820612","https://openalex.org/W2097853995","https://openalex.org/W2111736590","https://openalex.org/W4285719527","https://openalex.org/W6637291650"],"related_works":["https://openalex.org/W19518518","https://openalex.org/W2288835708","https://openalex.org/W2479875366","https://openalex.org/W4147469","https://openalex.org/W1518138802","https://openalex.org/W4255610615","https://openalex.org/W4285136097","https://openalex.org/W4372046866","https://openalex.org/W1996360515","https://openalex.org/W2355149807"],"abstract_inverted_index":{"A":[0],"method":[1,144],"for":[2,75],"hypothesizing":[3],"the":[4,60,78,88,92,102,105,111,118,126,143],"locations":[5],"of":[6,45,110,141],"features":[7,51,79,103,116,131],"that":[8,132,137],"may":[9],"have":[10],"been":[11],"undetected":[12,115],"by":[13,124],"low":[14],"level":[15],"three-dimensional":[16],"image":[17],"processing":[18],"algorithms":[19],"is":[20,40,69,99],"presented.":[21,150],"The":[22,49],"procedure":[23],"relies":[24],"on":[25],"a":[26,43,66,81,96],"predicate":[27],"logic":[28],"based":[29],"approach":[30],"to":[31,64,86,145],"object":[32],"recognition":[33],"in":[34,52,80,91,104,117],"which":[35,68],"viewpoint":[36,46,54],"dependent":[37],"(observed)":[38],"data":[39,107,120,148],"transformed":[41],"into":[42],"set":[44],"independent":[47,55],"assertions.":[48],"detected":[50],"these":[53],"assertions":[56,61],"are":[57,62,84,121,133,138,149],"variabilized":[58,93],"and":[59,108,135],"combined":[63],"form":[65],"clause":[67],"then":[70,95,122],"tested":[71],"against":[72],"known":[73,82],"models":[74],"consistency.":[76],"If":[77],"model":[83,130],"able":[85],"instantiate":[87],"free":[89],"variables":[90],"clause,":[94],"subgraph":[97],"isomorphism":[98],"established":[100],"between":[101,129],"observed":[106,119],"those":[109,136],"model.":[112],"Missing":[113],"or":[114],"sought":[123],"examining":[125],"semantic":[127],"relationships":[128],"instantiated":[134],"not.":[139],"Results":[140],"applying":[142],"synthetic":[146],"range":[147]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}