{"id":"https://openalex.org/W6950491583","doi":"https://doi.org/10.5281/zenodo.6381593","title":"Proofs, Code, and Data for the ICAPS 2022 Paper","display_name":"Proofs, Code, and Data for the ICAPS 2022 Paper","publication_year":2022,"publication_date":"2022-03-24","ids":{"openalex":"https://openalex.org/W6950491583","doi":"https://doi.org/10.5281/zenodo.6381593"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.6381593","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6381593","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.6381593","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Drexler, Dominik","orcid":"https://orcid.org/0000-0002-1350-2144"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Drexler, Dominik","raw_affiliation_strings":["Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Seipp, Jendrik","orcid":"https://orcid.org/0000-0002-2498-8020"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Seipp, Jendrik","raw_affiliation_strings":["Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"last","author":{"id":null,"display_name":"Geffner, Hector","orcid":"https://orcid.org/0000-0001-9851-8219"},"institutions":[{"id":"https://openalex.org/I170486558","display_name":"Pompeu Fabra University","ror":"https://ror.org/04n0g0b29","country_code":"ES","type":"education","lineage":["https://openalex.org/I170486558"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Geffner, Hector","raw_affiliation_strings":["ICREA, Universitat Pompeu Fabra, Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"ICREA, Universitat Pompeu Fabra, Link\u00f6ping University","institution_ids":["https://openalex.org/I170486558"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I102134673"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/upload","display_name":"Upload","score":0.8259999752044678},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.6500999927520752},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5056999921798706},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.48350000381469727},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4684000015258789}],"concepts":[{"id":"https://openalex.org/C71901391","wikidata":"https://www.wikidata.org/wiki/Q7126699","display_name":"Upload","level":2,"score":0.8259999752044678},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6807000041007996},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.6500999927520752},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5056999921798706},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.48350000381469727},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4684000015258789},{"id":"https://openalex.org/C116409475","wikidata":"https://www.wikidata.org/wiki/Q1385056","display_name":"External Data Representation","level":2,"score":0.38659998774528503},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3434000015258789},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2971999943256378},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2632000148296356}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.6381593","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6381593","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.6381593","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6381593","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"upload":[1,46],"contains":[2,48,65,74,91],"code":[3,76],"and":[4,14,30,61,77,82,111,137],"data":[5,78],"for":[6,10,79,96],"learning":[7,80,116],"policy":[8,117],"sketches":[9,81,95],"classical":[11,42,69],"planning":[12,43,70],"domains":[13],"comparing":[15],"the":[16,53,84,108,112,126,130],"planners":[17,86],"(1)":[18],"first":[19],"iteration":[20],"of":[21,41,52,68,94,98,125],"LAMA,":[22],"(2)":[23],"Dual-BFWS,":[24],"(3)":[25],"Serialized":[26,32],"Iterated":[27,33],"Width":[28,34],"(SIW),":[29],"(4)":[31],"with":[35,58],"Sketches":[36],"(SIWR)":[37],"on":[38,134],"a":[39,66],"subset":[40,67],"benchmarks.":[44],"The":[45],"also":[47],"an":[49,122],"extended":[50,123],"version":[51,124],"paper":[54,127],"published":[55,128],"at":[56,129],"ICAPS":[57],"further":[59],"details":[60],"proofs.":[62],"-":[63,72,89,119],"benchmarks.zip":[64],"domains.":[71],"experiments.zip":[73],"experimental":[75],"testing":[83],"four":[85],"from":[87],"above":[88],"data.zip":[90],"textual":[92],"representation":[93],"some":[97],"these":[99],"domains,":[100],"which":[101],"can":[102],"be":[103],"given":[104],"as":[105],"input":[106],"to":[107],"SIWR":[109],"planner,":[110],"logs":[113],"generated":[114],"when":[115],"sketches.":[118],"drexler-et-al-icaps2022-extended.pdf":[120],"is":[121],"32nd":[131],"International":[132],"Conference":[133],"Automated":[135],"Planning":[136],"Scheduling":[138],"(ICAPS2022).":[139]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}