{"id":"https://openalex.org/W2258423835","doi":"https://doi.org/10.3233/aic-150692","title":"Compiling irrelevant objects to counters. Special case of creation planning","display_name":"Compiling irrelevant objects to counters. Special case of creation planning","publication_year":2016,"publication_date":"2016-04-26","ids":{"openalex":"https://openalex.org/W2258423835","doi":"https://doi.org/10.3233/aic-150692","mag":"2258423835"},"language":"en","primary_location":{"id":"doi:10.3233/aic-150692","is_oa":false,"landing_page_url":"https://doi.org/10.3233/aic-150692","pdf_url":null,"source":{"id":"https://openalex.org/S176303223","display_name":"AI Communications","issn_l":"0921-7126","issn":["0921-7126","1875-8452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AI Communications","raw_type":"journal-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/A5040656288","display_name":"Raquel Fuentetaja","orcid":"https://orcid.org/0000-0002-3856-2629"},"institutions":[{"id":"https://openalex.org/I50357001","display_name":"Universidad Carlos III de Madrid","ror":"https://ror.org/03ths8210","country_code":"ES","type":"education","lineage":["https://openalex.org/I50357001"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Raquel Fuentetaja","raw_affiliation_strings":["Departamento de Inform\u00e1tica, Universidad Carlos III de Madrid, Av. Universidad 30, Legan\u00e9s, Madrid, Spain. E-mails:\u00a0rfuentet@inf.uc3m.es,\u00a0trosa@inf.uc3m.es"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica, Universidad Carlos III de Madrid, Av. Universidad 30, Legan\u00e9s, Madrid, Spain. E-mails:\u00a0rfuentet@inf.uc3m.es,\u00a0trosa@inf.uc3m.es","institution_ids":["https://openalex.org/I50357001"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103062990","display_name":"Tom\u00e1s de la Rosa","orcid":"https://orcid.org/0000-0002-1977-9777"},"institutions":[{"id":"https://openalex.org/I50357001","display_name":"Universidad Carlos III de Madrid","ror":"https://ror.org/03ths8210","country_code":"ES","type":"education","lineage":["https://openalex.org/I50357001"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Tom\u00e1s de la Rosa","raw_affiliation_strings":["Departamento de Inform\u00e1tica, Universidad Carlos III de Madrid, Av. Universidad 30, Legan\u00e9s, Madrid, Spain. E-mails:\u00a0rfuentet@inf.uc3m.es,\u00a0trosa@inf.uc3m.es"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica, Universidad Carlos III de Madrid, Av. Universidad 30, Legan\u00e9s, Madrid, Spain. E-mails:\u00a0rfuentet@inf.uc3m.es,\u00a0trosa@inf.uc3m.es","institution_ids":["https://openalex.org/I50357001"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040656288"],"corresponding_institution_ids":["https://openalex.org/I50357001"],"apc_list":null,"apc_paid":null,"fwci":1.7324,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.88494685,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"29","issue":"3","first_page":"435","last_page":"467"},"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.9997000098228455,"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.9997000098228455,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9952999949455261,"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.9904999732971191,"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.8970852494239807},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.7088742852210999},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7082287073135376},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6632824540138245},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6566932797431946},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5459489226341248},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4960351884365082},{"id":"https://openalex.org/keywords/factor","display_name":"Factor (programming language)","score":0.4625479578971863},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.457139790058136},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41765299439430237},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39309263229370117},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36448371410369873},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08826327323913574}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8970852494239807},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.7088742852210999},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7082287073135376},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6632824540138245},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6566932797431946},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5459489226341248},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4960351884365082},{"id":"https://openalex.org/C2781039887","wikidata":"https://www.wikidata.org/wiki/Q1391724","display_name":"Factor (programming language)","level":2,"score":0.4625479578971863},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.457139790058136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41765299439430237},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39309263229370117},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36448371410369873},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08826327323913574},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C49204034","wikidata":"https://www.wikidata.org/wiki/Q52139","display_name":"Climatology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/aic-150692","is_oa":false,"landing_page_url":"https://doi.org/10.3233/aic-150692","pdf_url":null,"source":{"id":"https://openalex.org/S176303223","display_name":"AI Communications","issn_l":"0921-7126","issn":["0921-7126","1875-8452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AI Communications","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W181299697","https://openalex.org/W856970377","https://openalex.org/W1493900559","https://openalex.org/W1511259667","https://openalex.org/W1538383780","https://openalex.org/W1545688112","https://openalex.org/W1551236151","https://openalex.org/W1570679913","https://openalex.org/W1580769741","https://openalex.org/W1595294038","https://openalex.org/W1597287917","https://openalex.org/W1658166031","https://openalex.org/W1664011265","https://openalex.org/W1694713689","https://openalex.org/W2033821732","https://openalex.org/W2045526507","https://openalex.org/W2061146398","https://openalex.org/W2065982363","https://openalex.org/W2120996593","https://openalex.org/W2134029974","https://openalex.org/W2143303446","https://openalex.org/W2147334703","https://openalex.org/W2150952649","https://openalex.org/W2160927913","https://openalex.org/W2161414194","https://openalex.org/W2161887535","https://openalex.org/W2163854321","https://openalex.org/W2279798144","https://openalex.org/W2337098149","https://openalex.org/W2408683769","https://openalex.org/W2912242901","https://openalex.org/W3098468635","https://openalex.org/W3101355526","https://openalex.org/W3104718257","https://openalex.org/W3106271432","https://openalex.org/W6606405422","https://openalex.org/W6607099389","https://openalex.org/W6637089606"],"related_works":["https://openalex.org/W2462424100","https://openalex.org/W2148974013","https://openalex.org/W2130873474","https://openalex.org/W2034871982","https://openalex.org/W1983409968","https://openalex.org/W2034850439","https://openalex.org/W1974919125","https://openalex.org/W2949231297","https://openalex.org/W2022364537","https://openalex.org/W2141653867"],"abstract_inverted_index":{"One":[0],"of":[1,4,10,50,92,95,133,145,148],"the":[2,8,24,28,52,108,120,131,134,137,146],"claims":[3],"Automated":[5],"Planning":[6],"is":[7,20,94],"advantage":[9],"representing":[11],"planning":[12],"tasks":[13],"in":[14,98,141],"a":[15,21],"high-level":[16],"language":[17],"where":[18,100],"there":[19],"correspondence":[22],"between":[23],"real":[25],"environment":[26],"and":[27,67,83,107,136],"problem":[29],"being":[30],"modelled.":[31],"However,":[32],"under":[33],"certain":[34],"circumstances":[35],"some":[36],"representations":[37],"can":[38,129],"be":[39],"inefficient":[40],"because":[41],"they":[42],"con":[43],"tain":[44],"objects":[45,77,101,114],"with":[46,78],"irrelevant":[47,79],"identities.":[48],"Instead":[49],"forcing":[51],"designer":[53],"to":[54,111],"envision":[55],"efficient":[56],"alternatives,":[57],"we":[58],"propose":[59],"an":[60,71,142],"automatic":[61],"compilation":[62,128],"that":[63,126],"recognises":[64],"such":[65],"problems":[66,93],"translates":[68],"them":[69],"into":[70],"alternative":[72],"representation.":[73],"In":[74],"this":[75],"representation,":[76],"names":[80,109],"are":[81,86,102,115],"aggregated":[82],"their":[84],"properties":[85],"encoded":[87],"as":[88],"counters.":[89],"This":[90],"class":[91],"special":[96],"interest":[97],"environments":[99],"created":[103],"by":[104],"domain":[105],"actions":[106],"assigned":[110],"these":[112],"new":[113],"not":[116],"relevant":[117],"for":[118],"solving":[119],"task.":[121],"The":[122],"experimental":[123],"results":[124],"show":[125],"our":[127],"reduce":[130],"size":[132],"instantiation":[135],"branching":[138],"factor,":[139],"resulting":[140],"important":[143],"improvement":[144],"scalability":[147],"planners.":[149]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}