{"id":"https://openalex.org/W167076975","doi":null,"title":"Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC","display_name":"Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC","publication_year":2013,"publication_date":"2013-11-19","ids":{"openalex":"https://openalex.org/W167076975","mag":"167076975"},"language":"en","primary_location":{"id":"pmh:oai:diposit.ub.edu:2445/49432","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2445/49432","pdf_url":null,"source":{"id":"https://openalex.org/S4306401653","display_name":"Dip\u00f2sit Digital de la Universitat de Barcelona (Universitat de Barcelona)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I71999127","host_organization_name":"Universitat de Barcelona","host_organization_lineage":["https://openalex.org/I71999127"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tesis Doctorals - Departament - L\u00f2gica, Hist\u00f2ria i Filosofia de la Ci\u00e8ncia","raw_type":"info:eu-repo/semantics/doctoralThesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2445/49432","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036937681","display_name":"Pere Pardo","orcid":"https://orcid.org/0000-0003-0181-4658","observed_orcids":["https://orcid.org/0000-0003-0181-4658"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Pere Pardo Ventura","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5036937681"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.888700008392334,"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.888700008392334,"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.08810000121593475,"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.022099999710917473,"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/non-monotonic-reasoning","display_name":"nonmonotonic reasoning","score":0.7940000295639038},{"id":"https://openalex.org/keywords/computational-argumentation","display_name":"computational argumentation","score":0.8029999732971191},{"id":"https://openalex.org/keywords/centralized-planning","display_name":"central planning","score":0.5600000023841858},{"id":"https://openalex.org/keywords/decentralized-planning","display_name":"decentralized planning","score":0.9419999718666077},{"id":"https://openalex.org/keywords/multi-agent-systems","display_name":"multi-agent systems","score":0.5730000138282776},{"id":"https://openalex.org/keywords/belief-revision","display_name":"belief revision","score":0.39100000262260437},{"id":"https://openalex.org/keywords/belief-revision-operators","display_name":"belief revision operators","score":0.9020000100135803}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.6201598644256592},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.5921268463134766},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.5285688042640686},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39542141556739807},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.18395453691482544}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:diposit.ub.edu:2445/49432","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2445/49432","pdf_url":null,"source":{"id":"https://openalex.org/S4306401653","display_name":"Dip\u00f2sit Digital de la Universitat de Barcelona (Universitat de Barcelona)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I71999127","host_organization_name":"Universitat de Barcelona","host_organization_lineage":["https://openalex.org/I71999127"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tesis Doctorals - Departament - L\u00f2gica, Hist\u00f2ria i Filosofia de la Ci\u00e8ncia","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:dnet:tdr_________::8fb90e24e216373d28bf4634ff4bdb29","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10803/129620","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"TDX (Tesis Doctorals en Xarxa)","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:www.tdx.cat:10803/129620","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10803/129620","pdf_url":"http://hdl.handle.net/10803/129620","source":{"id":"https://openalex.org/S4306401111","display_name":"Tesis Doctorals en Xarxa (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"TDX (Tesis Doctorals en Xarxa)","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"mag:167076975","doi":null,"is_oa":false,"landing_page_url":"http://diposit.ub.edu/dspace/bitstream/2445/49432/1/PPV_PhD_THESIS.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306531624","display_name":"TDX (Tesis Doctorals en Xarxa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"TDX (Tesis Doctorals en Xarxa)","raw_type":null}],"best_oa_location":{"id":"pmh:oai:diposit.ub.edu:2445/49432","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2445/49432","pdf_url":null,"source":{"id":"https://openalex.org/S4306401653","display_name":"Dip\u00f2sit Digital de la Universitat de Barcelona (Universitat de Barcelona)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I71999127","host_organization_name":"Universitat de Barcelona","host_organization_lineage":["https://openalex.org/I71999127"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tesis Doctorals - Departament - L\u00f2gica, Hist\u00f2ria i Filosofia de la Ci\u00e8ncia","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320290","display_name":"University of Oxford","ror":"https://ror.org/052gg0110"},{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":null},{"id":"https://openalex.org/F4320323428","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W167076975.pdf","grobid_xml":"https://content.openalex.org/works/W167076975.grobid-xml"},"referenced_works_count":137,"referenced_works":["https://openalex.org/W3558650","https://openalex.org/W4789806","https://openalex.org/W5642659","https://openalex.org/W8932534","https://openalex.org/W36095503","https://openalex.org/W36590524","https://openalex.org/W44116808","https://openalex.org/W52139884","https://openalex.org/W87282152","https://openalex.org/W87398241","https://openalex.org/W91381581","https://openalex.org/W94485546","https://openalex.org/W99953839","https://openalex.org/W125541279","https://openalex.org/W126431515","https://openalex.org/W165460221","https://openalex.org/W166244047","https://openalex.org/W186856586","https://openalex.org/W193117126","https://openalex.org/W253931719","https://openalex.org/W575651505","https://openalex.org/W1001228706","https://openalex.org/W1487752133","https://openalex.org/W1495287947","https://openalex.org/W1496764493","https://openalex.org/W1498364211","https://openalex.org/W1513369007","https://openalex.org/W1515210918","https://openalex.org/W1518725080","https://openalex.org/W1523879902","https://openalex.org/W1529784623","https://openalex.org/W1533142698","https://openalex.org/W1541434994","https://openalex.org/W1546948343","https://openalex.org/W1548507571","https://openalex.org/W1555885652","https://openalex.org/W1556540031","https://openalex.org/W1561420428","https://openalex.org/W1563913561","https://openalex.org/W1564534945","https://openalex.org/W1566418991","https://openalex.org/W1567378996","https://openalex.org/W1576632330","https://openalex.org/W1602796727","https://openalex.org/W1612453857","https://openalex.org/W1628501702","https://openalex.org/W1637985016","https://openalex.org/W1646038686","https://openalex.org/W1693457958","https://openalex.org/W1784061619","https://openalex.org/W1889694011","https://openalex.org/W1965188950","https://openalex.org/W1966873207","https://openalex.org/W1968513265","https://openalex.org/W1971725752","https://openalex.org/W1973052685","https://openalex.org/W1988804687","https://openalex.org/W1993512664","https://openalex.org/W1994451575","https://openalex.org/W1997265046","https://openalex.org/W1998176101","https://openalex.org/W2006559750","https://openalex.org/W2009400517","https://openalex.org/W2010024288","https://openalex.org/W2010210638","https://openalex.org/W2013766526","https://openalex.org/W2014343072","https://openalex.org/W2015899729","https://openalex.org/W2025460523","https://openalex.org/W2029696490","https://openalex.org/W2034679184","https://openalex.org/W2040041998","https://openalex.org/W2044300787","https://openalex.org/W2046498902","https://openalex.org/W2053821967","https://openalex.org/W2054685590","https://openalex.org/W2066842490","https://openalex.org/W2067326626","https://openalex.org/W2067483357","https://openalex.org/W2069176561","https://openalex.org/W2070610324","https://openalex.org/W2072046078","https://openalex.org/W2073882281","https://openalex.org/W2086026622","https://openalex.org/W2088512267","https://openalex.org/W2096959337","https://openalex.org/W2098746567","https://openalex.org/W2103739844","https://openalex.org/W2104126268","https://openalex.org/W2104163320","https://openalex.org/W2106173979","https://openalex.org/W2118090719","https://openalex.org/W2118391576","https://openalex.org/W2118735566","https://openalex.org/W2119097496","https://openalex.org/W2119558232","https://openalex.org/W2120613606","https://openalex.org/W2120918988","https://openalex.org/W2122051107","https://openalex.org/W2123995701","https://openalex.org/W2135319067","https://openalex.org/W2136886295","https://openalex.org/W2138162238","https://openalex.org/W2140305039","https://openalex.org/W2140353799","https://openalex.org/W2140636349","https://openalex.org/W2142014643","https://openalex.org/W2146544759","https://openalex.org/W2146819619","https://openalex.org/W2153457618","https://openalex.org/W2155322595","https://openalex.org/W2158770784","https://openalex.org/W2159131252","https://openalex.org/W2159569510","https://openalex.org/W2159753366","https://openalex.org/W2167121581","https://openalex.org/W2170232725","https://openalex.org/W2170447572","https://openalex.org/W2171568542","https://openalex.org/W2171853123","https://openalex.org/W2176449939","https://openalex.org/W2185983042","https://openalex.org/W2271942845","https://openalex.org/W2290731519","https://openalex.org/W2293221245","https://openalex.org/W2294405972","https://openalex.org/W2336123333","https://openalex.org/W2431139695","https://openalex.org/W2884214427","https://openalex.org/W2911747849","https://openalex.org/W2914514117","https://openalex.org/W2950339061","https://openalex.org/W2954333904","https://openalex.org/W4211144022","https://openalex.org/W4235073904","https://openalex.org/W4242309855","https://openalex.org/W7124147255"],"related_works":["https://openalex.org/W7095477947","https://openalex.org/W1001228706","https://openalex.org/W1971725752","https://openalex.org/W1893222731","https://openalex.org/W2521339934","https://openalex.org/W193117126","https://openalex.org/W6986509324","https://openalex.org/W4298031565","https://openalex.org/W7096590860","https://openalex.org/W2176449939"],"abstract_inverted_index":{"In":[0,128,222,338,565,620],"this":[1,126,196,566,596,621],"thesis,":[2,567],"we":[3,296,425,568,623],"study":[4,157,398,614],"planning":[5,28,105,343,378,391,406,606,641],"systems":[6,67],"based":[7,173,300,345,608,630],"on":[8,174,301,346,460,609,631],"logics,":[9,270],"for":[10,53,68,138,245,304,376,387,419,429,510,519,529,639,650,656],"two":[11,255,298],"particular":[12],"cases:":[13],"Temporal":[14],"Defeasible":[15],"Logic":[16],"Programming":[17],"t-DeLP":[18,159,164,207,364],"and":[19,24,97,204,220,235,260,329,357,385,446,465,575,584,598,602,617,637,655],"the":[20,54,58,84,90,95,100,130,145,153,214,290,321,363,388,399,457,461,489,495,530,556,563,592,613,626,652],"Logics":[21,462],"of":[22,35,60,62,88,152,158,186,213,232,257,277,355,390,405,456,463,473,488,499,507,532,542,562,591,615],"Communication":[23,464],"Change":[25],"LCC.":[26,468],"A":[27],"problem":[29],"consists":[30,92],"in":[31,93,144,189,268,394,409,494,578,642],"building":[32],"a":[33,43,109,134,156,167,190,210,224,230,302,342,369,403,416,427,434,471,485,504,588,643],"course":[34],"actions,":[36],"or":[37,103,273,313,467,513,522,537],"plan,":[38],"whose":[39],"execution":[40,531],"leads":[41],"from":[42,57,76,176],"given":[44,77,228,644],"initial":[45],"state":[46,370],"to":[47,65,80,125,136,195,266,340,382,411,443,450,560,580],"some":[48,278],"goal":[49],"state.\\n\\t\\t\\t\\t":[50],"The":[51,149,163,206,252,262,453,497,540,604],"motivation":[52,91],"present":[55],"studies,":[56],"point":[59,87],"view":[61],"Logic,":[63],"is":[64,166,209,227,318,440,470,648],"obtain":[66],"practical":[69],"reasoning":[70,188,203],"(what":[71],"an":[72,122,413],"agent":[73],"should":[74,336],"do)":[75],"logics":[78,98,476,493,502,572,611],"oriented":[79],"multi-agent":[81],"systems.":[82,106],"From":[83],"Artificial":[85],"Intelligence":[86],"view,":[89],"extending":[94],"languages":[96],"underlying":[99],"well-known":[101],"classical":[102],"temporal":[104,169,211,233,248,291,351],"This":[107,179,438,647],"way,":[108,192],"planner":[110,135],"can":[111,141,281,349,379,545],"correctly":[112],"reason":[113],"about":[114],"certain":[115],"concepts":[116,199],"(actions,":[117],"causality,":[118],"belief,":[119],"etc.)":[120],"using":[121,194,306],"appropriate":[123],"logic":[124,170,180,323],"end.":[127],"practice,":[129],"proposed":[131,217,477,605],"methods":[132],"permit":[133,612],"aim":[137],"goals":[139],"which":[140,237],"be":[142,282,380,383,444,547],"expressed":[143],"corresponding":[146,627],"logical":[147],"languages.\\n\\t\\t\\t\\t":[148],"first":[150],"part":[151,455],"thesis":[154,458,622],"contains":[155],"along":[160,595],"these":[161,571,610],"lines.":[162],"framework":[165],"non-monotonic":[168,191],"programming":[171,324],"system":[172,181,208,216,325,335,344,594,607],"tools":[175],"computational":[177],"argumentation.":[178,205],"aimsto":[182],"model":[183,581],"different":[184,327],"types":[185,256],"causal":[187],"but":[193],"end":[197],"natural":[198],"inspired":[200],"by":[201,218,229,284,478],"human":[202],"extension":[212,590],"DeLP":[215],"Garc\u00eda":[219],"Simari.\\n\\t\\t\\t\\t":[221],"t-DeLP,":[223,347],"knowledge":[225,521],"base":[226],"set":[231],"rules":[234,267,280],"facts,":[236],"combine":[238,361],"into":[239],"arguments":[240,274,305],"(or":[241,250],"consistent,":[242],"minimal":[243],"derivations)":[244],"further":[246],"derived":[247],"facts":[249,309],"conclusions).":[251],"language":[253],"admits":[254],"rules:":[258],"strict":[259,308],"defeasible.":[261],"former":[263],"behave":[264],"similarly":[265],"monotonic":[269],"while":[271],"derivations":[272],"making":[275],"use":[276],"defeasible":[279],"canceled":[283],"other":[285],"existing":[286,490],"arguments.":[287],"To":[288],"solve":[289],"inconsistencies":[292],"between":[293],"conflicting":[294],"arguments,":[295],"propose":[297,426,587],"criteria":[299],"preference":[303],"more":[307],"(more":[310],"basic":[311],"information)":[312],"less":[314],"persistence":[315],"rules.":[316],"It":[317],"shown":[319,381,442,649],"that":[320,332,432,553,625],"resulting":[322],"satisfies":[326],"consistency":[328],"closure":[330],"properties":[331],"any":[333],"logic-argumentation":[334],"obey.\\n\\n\\t\\t\\t\\t":[337],"order":[339,410,579],"define":[341],"one":[348],"introduce":[350],"actions":[352,360,534,541,583],"as":[353,515,517],"pairs":[354],"preconditions":[356],"effects.":[358],"These":[359],"with":[362,448,549,573],"consequence":[365],"relation,":[366],"thus":[367],"inducing":[368],"transition":[371],"system.":[372],"Different":[373],"search":[374,436,628],"algorithms":[375,629],"centralized":[377,451],"sound":[384,445],"complete":[386,638],"class":[389,498,506],"problems":[392],"definable":[393],"t-DeLP.":[395],"We":[396,586],"also":[397,441,525,546,569],"decentralized":[400],"case,":[401,654],"where":[402],"group":[404],"agents":[407,512],"cooperate":[408],"reach":[412],"agreement":[414],"upon":[415],"joint":[417],"plan":[418,435],"their":[420,550],"shared":[421],"goals.":[422],"For":[423],"this,":[424],"protocol":[428],"argumenative":[430],"dialogues":[431],"defines":[433],"algorithm.":[437],"algorithm":[439],"complete,":[447],"respect":[449],"planning.\\n\\n\\t\\t\\t\\t":[452],"second":[454],"focuses":[459],"Change,":[466],"LCC":[469,500,645],"family":[472],"dynamic":[474,491,527],"epistemic":[475,492,508,533,551],"van":[479],"Benthem":[480],"et":[481],"al.":[482],"Which":[483],"capture":[484],"good":[486],"deal":[487],"literature.":[496],"modal":[501],"contain":[503,526],"rich":[505],"operators":[509,518,528],"multiple":[511],"groups":[514],"well":[516],"common":[520],"belief.":[523],"They":[524],"(communications,":[535],"observations)":[536],"physical":[538],"actions.":[539],"either":[543],"type":[544],"modelled":[548],"effects,":[552],"is,":[554],"how":[555],"action":[557],"will":[558],"appear":[559],"each":[561],"agents.":[564],"extend":[570],"product":[574],"choice":[576],"constructors":[577],"non-deterministic":[582,618,658],"plans.":[585],"simple":[589],"axiom":[593],"line,":[597],"show":[599,624],"its":[600],"soundndess":[601],"completeness.\\n\\n\\t\\t\\t\\t":[603],"deterministic":[616,653],"planning.":[619,659],"Breadth":[632],"First":[633],"Search":[634],"are":[635],"correct":[636],"backward":[640],"logic.":[646],"both":[651],"strong":[657]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}