{"id":"https://openalex.org/W4312581970","doi":"https://doi.org/10.1109/ijcnn55064.2022.9892094","title":"A Probabilistic Programming Idiom for Active Knowledge Search","display_name":"A Probabilistic Programming Idiom for Active Knowledge Search","publication_year":2022,"publication_date":"2022-07-18","ids":{"openalex":"https://openalex.org/W4312581970","doi":"https://doi.org/10.1109/ijcnn55064.2022.9892094"},"language":"en","primary_location":{"id":"doi:10.1109/ijcnn55064.2022.9892094","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn55064.2022.9892094","pdf_url":null,"source":{"id":"https://openalex.org/S4363607707","display_name":"2022 International Joint Conference on Neural Networks (IJCNN)","issn_l":"2161-4407","issn":["2161-4407"],"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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Joint Conference on Neural Networks (IJCNN)","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/A5088230964","display_name":"Malte R\u00f8rmose Damgaard","orcid":"https://orcid.org/0000-0003-2818-1176"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Malte R. Damgaard","raw_affiliation_strings":["Aalborg University,Department of Electronic Systems, Automation and Control,Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg University,Department of Electronic Systems, Automation and Control,Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044316658","display_name":"Rasmus Pedersen","orcid":"https://orcid.org/0000-0001-6515-5845"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Rasmus Pedersen","raw_affiliation_strings":["Aalborg University,Department of Electronic Systems, Automation and Control,Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg University,Department of Electronic Systems, Automation and Control,Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000342673","display_name":"Thomas Bak","orcid":"https://orcid.org/0000-0002-8282-5932"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Thomas Bak","raw_affiliation_strings":["Aalborg University,Department of Electronic Systems, Automation and Control,Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg University,Department of Electronic Systems, Automation and Control,Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":0.6748,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.71164399,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.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"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","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/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8698097467422485},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8115036487579346},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5485660433769226},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.48516327142715454},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45830774307250977},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4109612703323364},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.358327180147171}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8698097467422485},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8115036487579346},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5485660433769226},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.48516327142715454},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45830774307250977},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4109612703323364},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.358327180147171}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ijcnn55064.2022.9892094","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ijcnn55064.2022.9892094","pdf_url":null,"source":{"id":"https://openalex.org/S4363607707","display_name":"2022 International Joint Conference on Neural Networks (IJCNN)","issn_l":"2161-4407","issn":["2161-4407"],"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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Joint Conference on Neural Networks (IJCNN)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/775ba346-7bf9-42d5-b96e-84db8c0b9785","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/775ba346-7bf9-42d5-b96e-84db8c0b9785","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Damgaard, M R, Pedersen, R & Bak, T 2022, A Probabilistic Programming Idiom for Active Knowledge Search. in 2022 International Joint Conference on Neural Networks, IJCNN 2022 - Proceedings. IEEE (Institute of Electrical and Electronics Engineers), Proceedings of the International Joint Conference on Neural Networks, vol. 2022-July, pp. 1-9, 2022 International Joint Conference on Neural Networks, IJCNN 2022, Padua, Italy, 18/07/2022. https://doi.org/10.1109/IJCNN55064.2022.9892094","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W861972429","https://openalex.org/W1530235965","https://openalex.org/W1610391566","https://openalex.org/W2336416123","https://openalex.org/W2779578326","https://openalex.org/W2799151646","https://openalex.org/W2806193267","https://openalex.org/W2897613819","https://openalex.org/W3146766514","https://openalex.org/W3164421918","https://openalex.org/W3216655447","https://openalex.org/W4294562888","https://openalex.org/W6631886430","https://openalex.org/W6684578138","https://openalex.org/W6703161083","https://openalex.org/W6750186571"],"related_works":["https://openalex.org/W2161156675","https://openalex.org/W4287829362","https://openalex.org/W4387445043","https://openalex.org/W3009891130","https://openalex.org/W4296878212","https://openalex.org/W1988273104","https://openalex.org/W2039406101","https://openalex.org/W2378928660","https://openalex.org/W2172209430","https://openalex.org/W3117088238"],"abstract_inverted_index":{"In":[0],"this":[1,36],"paper,":[2],"we":[3,53],"derive":[4],"and":[5,49],"implement":[6],"a":[7,26],"probabilistic":[8,28],"programming":[9,29],"idiom":[10,22,37],"for":[11,42],"the":[12,33,43,55,58,66],"problem":[13,45],"of":[14,35,46,57],"acquiring":[15],"new":[16],"knowledge":[17],"about":[18],"an":[19,40,61],"environment.":[20],"The":[21],"is":[23],"implemented":[24],"utilizing":[25,65],"modern":[27],"language.":[30],"We":[31],"demonstrate":[32],"utility":[34],"by":[38],"implementing":[39],"algorithm":[41],"specific":[44],"active":[47],"mapping":[48],"robot":[50],"exploration.":[51],"Finally,":[52],"evaluate":[54],"functionality":[56],"implementation":[59],"through":[60],"extensive":[62],"simulation":[63],"study":[64],"HouseExpo":[67],"dataset.":[68]},"counts_by_year":[{"year":2022,"cited_by_count":4}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}