{"id":"https://openalex.org/W1970330818","doi":"https://doi.org/10.1017/s1471068411000561","title":"Expressiveness of communication in answer set programming","display_name":"Expressiveness of communication in answer set programming","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W1970330818","doi":"https://doi.org/10.1017/s1471068411000561","mag":"1970330818"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068411000561","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068411000561","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/93BC9B18FAD6FCA8CAD429754A4A88B3/S1471068411000561a.pdf/div-class-title-expressiveness-of-communication-in-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/93BC9B18FAD6FCA8CAD429754A4A88B3/S1471068411000561a.pdf/div-class-title-expressiveness-of-communication-in-answer-set-programming-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076673278","display_name":"Kim Bauters","orcid":null},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"KIM BAUTERS","raw_affiliation_strings":["Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (e-mail:","Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium ("],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (e-mail:","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052196540","display_name":"Steven Schockaert","orcid":"https://orcid.org/0000-0002-9256-2881"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"STEVEN SCHOCKAERT","raw_affiliation_strings":["Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (e-mail:","Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium ("],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (e-mail:","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085575523","display_name":"Jeroen Janssen","orcid":"https://orcid.org/0000-0003-3457-366X"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"JEROEN JANSSEN","raw_affiliation_strings":["Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium (e-mail:","Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium (e-mail:","institution_ids":["https://openalex.org/I13469542"]},{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium#TAB#","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111467762","display_name":"Dirk Vermeir","orcid":null},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"DIRK VERMEIR","raw_affiliation_strings":["Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium (e-mail:","Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium (e-mail:","institution_ids":["https://openalex.org/I13469542"]},{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium#TAB#","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056749857","display_name":"Martine De Cock","orcid":"https://orcid.org/0000-0001-7917-0771"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"MARTINE DE COCK","raw_affiliation_strings":["Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (e-mail:","Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium ("],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (e-mail:","institution_ids":["https://openalex.org/I32597200"]},{"raw_affiliation_string":"Department of Applied Mathematics and Computer Science, Krijgslaan 281 (WE02), Universiteit Gent, 9000 Gent, Belgium (","institution_ids":["https://openalex.org/I32597200"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5076673278"],"corresponding_institution_ids":["https://openalex.org/I32597200"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.07121745,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"13","issue":"3","first_page":"361","last_page":"394"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9994000196456909,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.991100013256073,"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.8623213768005371},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7250151634216309},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6516259908676147},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.6281982660293579},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.602776050567627},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5576488971710205},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.516620934009552},{"id":"https://openalex.org/keywords/ask-price","display_name":"Ask price","score":0.4284912347793579},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4152058959007263},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.41378548741340637}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8623213768005371},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7250151634216309},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6516259908676147},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.6281982660293579},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.602776050567627},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5576488971710205},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.516620934009552},{"id":"https://openalex.org/C90329073","wikidata":"https://www.wikidata.org/wiki/Q914232","display_name":"Ask price","level":2,"score":0.4284912347793579},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4152058959007263},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.41378548741340637},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1017/s1471068411000561","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068411000561","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/93BC9B18FAD6FCA8CAD429754A4A88B3/S1471068411000561a.pdf/div-class-title-expressiveness-of-communication-in-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:archive.ugent.be:1984132","is_oa":true,"landing_page_url":"http://hdl.handle.net/1854/LU-1984132","pdf_url":"https://biblio.ugent.be/publication/1984132/file/1984147.pdf","source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1471-0684","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.qub.ac.uk/portal:openaire/39a6311d-9b5d-46bb-b12f-86594196d9ce","is_oa":true,"landing_page_url":"https://pure.qub.ac.uk/en/publications/39a6311d-9b5d-46bb-b12f-86594196d9ce","pdf_url":"https://pureadmin.qub.ac.uk/ws/files/17739729/tplp2011.pdf","source":{"id":"https://openalex.org/S4306402319","display_name":"Research Portal (Queen's University Belfast)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126231945","host_organization_name":"Queen's University Belfast","host_organization_lineage":["https://openalex.org/I126231945"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bauters, K, Janssen, J, Schockaert, S, Cock, M D & Vermeir, D 2013, 'Expressiveness of Communication in Answer Set Programming', Theory and Practice of Logic Programming (TPLP), vol. 13, no. 3, pp. 361-394. https://doi.org/10.1017/S1471068411000561","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:https://orca.cardiff.ac.uk:59679","is_oa":false,"landing_page_url":"https://orca.cardiff.ac.uk/id/eprint/59679/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401195","display_name":"ORCA Online Research @Cardiff (Cardiff University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79510175","host_organization_name":"Cardiff University","host_organization_lineage":["https://openalex.org/I79510175"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:73729","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/expressiveness-of-communication-in-answer-set-programming(1a4ba999-14a3-4e5a-8079-573f5b87e7d0).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1017/s1471068411000561","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068411000561","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/93BC9B18FAD6FCA8CAD429754A4A88B3/S1471068411000561a.pdf/div-class-title-expressiveness-of-communication-in-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1970330818.pdf","grobid_xml":"https://content.openalex.org/works/W1970330818.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W20278294","https://openalex.org/W58578906","https://openalex.org/W89175885","https://openalex.org/W145741789","https://openalex.org/W1482498688","https://openalex.org/W1498546115","https://openalex.org/W1511906506","https://openalex.org/W1517308792","https://openalex.org/W1526476951","https://openalex.org/W1538403283","https://openalex.org/W1548232718","https://openalex.org/W1565655376","https://openalex.org/W1568496597","https://openalex.org/W1577827016","https://openalex.org/W1606891084","https://openalex.org/W1672891595","https://openalex.org/W1694306392","https://openalex.org/W1732487661","https://openalex.org/W1957195499","https://openalex.org/W1968513265","https://openalex.org/W2000079231","https://openalex.org/W2023858465","https://openalex.org/W2046213250","https://openalex.org/W2057858426","https://openalex.org/W2061146398","https://openalex.org/W2076698873","https://openalex.org/W2092211394","https://openalex.org/W2100657934","https://openalex.org/W2100983017","https://openalex.org/W2171432826","https://openalex.org/W2345972588","https://openalex.org/W2627013070","https://openalex.org/W4213009134","https://openalex.org/W6637758597"],"related_works":["https://openalex.org/W2168627904","https://openalex.org/W2515552481","https://openalex.org/W156769215","https://openalex.org/W1570348318","https://openalex.org/W2015444353","https://openalex.org/W3013494979","https://openalex.org/W4308101915","https://openalex.org/W3194047734","https://openalex.org/W2251005117","https://openalex.org/W2396112788"],"abstract_inverted_index":{"Abstract":[0],"Answer":[1],"set":[2,127],"programming":[3,10],"(ASP)":[4],"is":[5,27,109,123,136],"a":[6,58,75,121,129,158,177,198],"form":[7,77],"of":[8,24,45,61,78,118,128,146,179,192,200,252,259],"declarative":[9],"that":[11,115,214,237,246],"allows":[12,225],"to":[13,36,70,85,88,143,151,170,174,227,243],"succinctly":[14],"formulate":[15],"and":[16,153,210],"efficiently":[17],"solve":[18,37,244],"complex":[19],"problems.":[20],"An":[21],"intuitive":[22],"extension":[23],"this":[25,54,221],"formalism":[26],"communicating":[28,46,130,180,238],"ASP,":[29],"in":[30,110,124,160,185,235],"which":[31,104],"multiple":[32],"ASP":[33,47,68,131,149,239],"programs":[34,69,81,102,150],"collaborate":[35],"the":[38,43,62,92,106,116,144,161,167,186,193,203,207,229,249],"problem":[39,117],"at":[40],"hand.":[41],"However,":[42],"expressiveness":[44,64],"has":[48,206],"not":[49],"been":[50],"thoroughly":[51],"studied.":[52],"In":[53,139],"paper,":[55],"we":[56,73,95,155,165],"present":[57],"systematic":[59],"study":[60],"additional":[63],"offered":[65],"by":[66],"allowing":[67],"communicate.":[71],"First,":[72],"consider":[74,97],"simple":[76,99,134,148],"communication":[79,135,168,223],"where":[80,182,202],"are":[82,247],"only":[83,98],"allowed":[84],"ask":[86],"questions":[87],"each":[89,183],"other.":[90],"For":[91],"most":[93],"part,":[94],"deliberately":[96],"programs,":[100,181],"i.e.":[101],"for":[103],"computing":[105],"answer":[107,126],"sets":[108],"P":[111],".":[112],"We":[113],"find":[114],"deciding":[119],"whether":[120],"literal":[122],"some":[125,191,257],"program":[132,184],"using":[133],"NP":[137],"-hard.":[138],"other":[140],"words,":[141],"due":[142],"ability":[145],"these":[147],"communicate":[152],"collaborate,":[154],"move":[156],"up":[157],"step":[159],"polynomial":[162,231,253],"hierarchy.":[163,232],"Second,":[164],"modify":[166],"mechanism":[169,224],"also":[171],"allow":[172],"us":[173,226],"focus":[175],"on":[176],"sequence":[178,187],"may":[188,211],"successively":[189],"remove":[190,212],"remaining":[194],"models.":[195],"This":[196,233],"mimics":[197],"network":[199],"leaders,":[201],"first":[204,208],"leader":[205],"say":[209],"models":[213],"he":[215],"or":[216],"she":[217],"finds":[218],"unsatisfactory.":[219],"Using":[220],"particular":[222],"capture":[228],"entire":[230],"means,":[234],"particular,":[236],"could":[240],"be":[241],"used":[242],"problems":[245,266],"above":[248],"second":[250],"level":[251],"hierarchy,":[254],"such":[255,267],"as":[256,262,264,268],"forms":[258],"abductive":[260],"reasoning":[261],"well":[263],"PSPACE-complete":[265],"STRIPS":[269],"planning.":[270]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}