{"id":"https://openalex.org/W4250134641","doi":"https://doi.org/10.1016/s1571-0661(05)80598-5","title":"Preface","display_name":"Preface","publication_year":2002,"publication_date":"2002-10-01","ids":{"openalex":"https://openalex.org/W4250134641","doi":"https://doi.org/10.1016/s1571-0661(05)80598-5"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80598-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80598-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80598-5","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081145311","display_name":"J\u00fcrgen Dix","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"J\u00fcrgen Dix","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066466375","display_name":"Jo\u00e3o Leite","orcid":"https://orcid.org/0000-0001-6786-7360"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Alexandre Leite","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5113451385","display_name":"Ken Satoh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ken Satoh","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081145311"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.4367369,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"5","first_page":"204","last_page":"206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9634000062942505,"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.9634000062942505,"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.7112493515014648},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.5412141680717468},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5321207642555237},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48346978425979614},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48109906911849976},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4692530632019043},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4624948501586914},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.45797204971313477},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4548424482345581},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4282289743423462},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4246661961078644},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.3547089397907257},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3522392213344574},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34626924991607666},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10647863149642944}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7112493515014648},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.5412141680717468},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5321207642555237},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48346978425979614},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48109906911849976},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4692530632019043},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4624948501586914},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.45797204971313477},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4548424482345581},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4282289743423462},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4246661961078644},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3547089397907257},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3522392213344574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34626924991607666},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10647863149642944},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80598-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80598-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80598-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80598-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4379924946","https://openalex.org/W1494464412","https://openalex.org/W4283815499","https://openalex.org/W2111221376","https://openalex.org/W4248834677","https://openalex.org/W1550111418","https://openalex.org/W2159956476","https://openalex.org/W2163870440","https://openalex.org/W4367190606","https://openalex.org/W46734479"],"abstract_inverted_index":{"Over":[0],"recent":[1],"years,":[2],"the":[3,14,31,45,132,141,210,289,302,305,308,350,368,371,374,377,381,389,406,409,557,569,573,589,598,641,653,695,749,755,759,806,814,843,856,865,895,899,902,907,938,941,958,990,1023,1048,1071],"notion":[4],"of":[5,16,23,38,44,54,91,98,124,130,145,154,196,212,226,232,307,352,361,370,376,408,415,422,432,440,461,469,476,483,494,528,535,556,563,572,597,656,660,711,716,729,758,808,819,832,871,901,906,909,940,944,951,960,1020,1026,1034,1050,1066,1073],"agency":[6],"has":[7,135],"claimed":[8],"a":[9,20,95,163,193,252,258,543,583,594,604,675,713,727,734,823,830,880,884,891,935,973,1010,1054,1062],"major":[10,228,259],"role":[11],"in":[12,85,140,158,216,219,251,275,280,286,293,314,320,333,345,622,702,777,889,1009],"defining":[13],"trends":[15],"modern":[17],"research.":[18],"Influencing":[19],"broad":[21],"spectrum":[22,97],"disciplines":[24],"such":[25,78,699],"as":[26,70,72,934,947,1045],"Sociology,":[27],"Psychology,":[28],"among":[29],"others,":[30],"agent":[32,133,631,681,858],"paradigm":[33],"virtually":[34],"invaded":[35],"every":[36],"sub-field":[37],"Computer":[39],"Science,":[40],"not":[41],"least":[42],"because":[43],"Internet":[46],"and":[47,60,83,88,104,117,143,160,166,183,189,221,246,270,297,323,354,359,380,391,576,579,601,614,620,672,694,747,754,783,795,811,816,834,838,850,869,878,964,987,1003,1028,1059,1082],"Robotics.":[48],"Multi-agent":[49],"Systems":[50,292,316],"(MAS)":[51],"are":[52,105,852,984],"communities":[53],"problem-solving":[55],"entities":[56],"that":[57,101,199,828,887,1037],"can":[58,687,780,1041],"perceive":[59],"act":[61],"upon":[62],"their":[63,67,385,767,921],"environments":[64],"to":[65,111,114,205,236,264,311,366,387,398,568,582,624,635,792,798,864,882,1005,1046],"achieve":[66],"individual":[68],"goals":[69],"well":[71],"joint":[73],"goals.":[74],"The":[75,230,272,327,339,449,560],"work":[76,769],"on":[77,240,348,607,663,691,707,709,740,770,995,1016],"systems":[79,250,738],"integrates":[80],"many":[81],"technologies":[82],"concepts":[84],"artificial":[86],"intelligence":[87],"other":[89],"areas":[90],"computing.":[92],"There":[93,592],"is":[94,235,256,355,633],"full":[96],"MAS":[99],"applications":[100],"have":[102,531],"been":[103],"being":[106,588],"developed;":[107],"from":[108,202],"search":[109],"engines":[110],"educational":[112],"aids":[113],"electronic":[115],"commerce":[116],"trade.":[118],"Although":[119],"commonly":[120],"implemented":[121],"by":[122,152,209,553,848,855,971],"means":[123],"imperative":[125],"languages,":[126],"mainly":[127],"for":[128,169,243,261,384,402,540,617,627,651,679,736,894,926,975],"reasons":[129],"efficiency,":[131],"concept":[134],"recently":[136],"increased":[137],"its":[138,155,213,227],"influence":[139],"research":[142],"development":[144],"computational":[146,241,262],"logic":[147,608,664,732,735,745,761,772,968],"based":[148,239,606,662,739,774,803,826,994],"systems.":[149],"Computational":[150,185,312],"Logic,":[151],"virtue":[153],"nature":[156,211],"both":[157,218,388],"substance":[159,220],"method,":[161,222],"provides":[162,190],"well-defined,":[164],"general,":[165],"rigorous":[167],"framework":[168,605,678],"systematically":[170],"studying":[171],"computation,":[172],"be":[173,688,704],"it":[174],"syntax,":[175],"semantics,":[176],"procedures,":[177],"or":[178,982],"attending":[179],"implementations,":[180],"environments,":[181],"tools,":[182],"standards.":[184],"Logic":[186,294,313,825],"approaches":[187],"problems,":[188],"solutions,":[191],"at":[192],"sufficient":[194],"level":[195,685],"abstraction":[197],"so":[198,1044],"they":[200],"generalise":[201],"problem":[203,206,886],"domain":[204],"domain,":[207],"afforded":[208],"very":[214],"foundation":[215],"logic,":[217,242,263,743],"which":[223,536,712,778],"constitutes":[224,1070],"one":[225,580],"assets.":[229],"purpose":[231],"this":[233,276,392,526],"workshop":[234,274,309,561],"discuss":[237,813],"techniques,":[238],"representing,":[244],"programming":[245,609,773],"reasoning":[247,621],"about":[248],"multi-agent":[249,612,730,737,775,1012],"formal":[253],"way.":[254],"This":[255,1068],"clearly":[257],"challenge":[260],"deal":[265],"with":[266,299,325,337,357,405,610,720,801,916,999],"real":[267],"world":[268],"issues":[269,818],"applications.":[271],"first":[273],"series":[277],"took":[278,331],"place":[279,319,332,344],"Las":[281],"Cruces,":[282],"New":[283],"Mexico,":[284],"USA,":[285],"1999,":[287],"under":[288,1022],"designation":[290],"Multi-Agent":[291,315],"Programming":[295],"(MASLP'99),":[296],"affiliated":[298,324,336,356],"ICLP'99.":[300],"In":[301],"following":[303],"year,":[304],"name":[306],"changed":[310],"(CLIMA'00),":[317],"taking":[318],"London,":[321],"UK,":[322],"CL'2000.":[326],"subsequent":[328,577],"edition,":[329,341],"CLIMA'01,":[330],"Paphos,":[334],"Cyprus,":[335],"ICLP'01.":[338],"present":[340,603,674],"CLIMA'02,":[342],"takes":[343],"Copenhagen,":[346],"Denmark,":[347],"August":[349],"1st":[351],"2002,":[353,1076],"ICLP'02":[358],"part":[360],"FLOC'02.":[362],"We":[363,394],"would":[364,395],"like":[365,397],"thank":[367,399],"authors":[369],"submitted":[372],"papers,":[373],"members":[375,555],"program":[378],"committee":[379],"additional":[382],"reviewers":[383],"contribution":[386],"meeting":[390],"volume.":[393],"also":[396],"Michael":[400,429],"Mislove":[401],"his":[403],"help":[404],"editing":[407],"proceedings.":[410],"J\u00fcrgen":[411,1077],"Dix":[412],"(The":[413],"University":[414,421,460,468],"Manchester,":[416],"UK)":[417,434,490],"Thomas":[418],"Eiter":[419],"(Vienna":[420],"Technology,":[423,441],"Austria)":[424],"Klaus":[425],"Fischer":[426],"(DFKI,":[427],"Germany)":[428],"Fisher":[430],"(University":[431,482,493],"Liverpool,":[433],"James":[435],"Harland":[436,810],"(Royal":[437],"Melbourne":[438],"Institute":[439,475],"Australia)":[442],"Wiebe":[443],"van":[444],"der":[445],"Hoek":[446],"(Utrecht":[447],"University,":[448,454],"Netherlands)":[450],"Katsumi":[451],"Inoue":[452,988],"(Kobe":[453],"Japan)":[455,478],"Jo\u00e3o":[456,1079],"Alexandre":[457,1080],"Leite":[458,637,1081],"(New":[459,467],"Lisbon,":[462,470],"Portugal)":[463,471],"Lu\u00eds":[464],"Moniz":[465],"Pereira":[466],"Ken":[472,1083],"Satoh":[473,1084],"(National":[474],"Informatics,":[477],"V.":[479],"S.":[480],"Subrahmanian":[481],"Maryland,":[484],"USA)":[485],"Francesca":[486],"Toni":[487],"(Imperial":[488],"College,":[489],"Paolo":[491,586],"Torroni":[492,587,1052],"Bologna,":[495],"Italy)":[496],"Jos\u00e9":[497],"AlferesKoji":[498],"IwanumaAndrea":[499],"SchalkTadashi":[500],"AraragiGerhard":[501],"LakemeyerMichael":[502],"SchroederAlastair":[503],"BurtWei":[504],"LiuKenji":[505],"TaguchiAnna":[506],"CiampoliniSeng":[507],"LokeHans":[508],"TompitsPierangelo":[509],"Dell'AcquaHidetomo":[510],"NabeshimaMirosaw":[511],"TruszczynskiUwe":[512],"EglyNaoyuki":[513],"NideMathijs":[514],"de":[515],"WeerdtMichael":[516],"FinkInna":[517],"PivkinnaMichael":[518],"WinikoffChiara":[519],"GhidiniFabrizio":[520],"RiguzziCees":[521],"WitteveenHisashi":[522],"HayashiChiaki":[523],"Sakama":[524],"For":[525],"edition":[527],"CLIMA,":[529],"we":[530],"received":[532],"25":[533],"submissions":[534],"12":[537],"were":[538],"selected":[539,574],"presentation,":[541],"after":[542],"careful":[544],"review":[545],"process":[546],"where":[547,683],"each":[548,784],"paper":[549],"was":[550],"independently":[551],"reviewed":[552],"three":[554,1031],"Program":[558],"Committee.":[559],"consisted":[562],"five":[564],"sessions:":[565],"four":[566],"devoted":[567,581],"oral":[570],"presentation":[571],"papers":[575],"discussion;":[578],"panel":[584,1055],"discussion,":[585],"invited":[590],"moderator.":[591],"follows":[593],"brief":[595],"overview":[596],"workshop.":[599],"Schroeder":[600],"Schweimeier":[602],"3-valued":[611],"argumentation":[613,677],"fuzzy":[615],"unification,":[616],"knowledge":[618,1027],"representation":[619],"agents,":[623,661,821],"accommodate":[625],"arguments":[626,686],"negotiating":[628],"agents":[629,779,1040],"when":[630,978],"communication":[632,804],"subject":[634],"uncertainty.":[636],"et":[638,724,764,875,913,955],"al.":[639,725,765,876,914,956],"extend":[640,766,915],"language":[642,649,860],"LUPS":[643],"introducing":[644],"MLUPS,":[645],"an":[646,910],"update":[647,781,788],"command":[648],"designed":[650],"specifying":[652],"flexible":[654],"evolution":[655],"hierarchically":[657],"related":[658],"groups":[659],"programming,":[665,746,969],"thus":[666],"assigning":[667],"them":[668,797],"declarative":[669],"semantics.":[670],"Kakas":[671],"Mora\u00eftis":[673],"modular":[676],"modelling":[680],"deliberation,":[682],"object":[684],"made":[689,705],"conditional":[690,706,1000],"agents'":[692],"roles":[693,700],"priority":[696],"relation":[697],"amongst":[698],"can,":[701],"turn,":[703],"contents,":[708],"top":[710],"simple":[714],"form":[715],"abduction":[717],"allows":[718,829],"dealing":[719],"incomplete":[721],"knowledge.":[722],"Toyama":[723],"introduce":[726],"translation":[728],"autoepistemic":[731,742],"(MAEL),":[733],"Moore's":[741],"into":[744],"show":[748],"correspondence":[750],"between":[751],"MAEL":[752],"extensions":[753],"stable":[756],"models":[757],"corresponding":[760],"program.":[762],"Dell'Acqua":[763],"previous":[768],"abductive":[771],"systems,":[776],"themselves":[782],"other,":[785],"eliminate":[786],"contradictory":[787],"rules,":[789],"abduce":[790],"hypotheses":[791],"explain":[793],"observations,":[794],"use":[796,807,939],"generate":[799],"actions,":[800],"asynchronous":[802],"through":[805,967],"buffers.":[809],"Winikoff":[812],"formalisation":[815],"implementation":[817],"BDI-type":[820],"using":[822,931],"Linear":[824],"calculus":[827],"mixture":[831],"forward-":[833],"backward-chaining":[835],"techniques.":[836],"Bordini":[837],"Moreira":[839],"investigate":[840],"how":[841],"far":[842],"Asymmetry":[844],"Thesis":[845],"Principles":[846],"formulated":[847],"Rao":[849],"Georgeff":[851],"actually":[853],"met":[854],"abstract":[857],"specification":[859,949],"AgentSpeak(L),":[861],"hence":[862],"contributing":[863],"reconciliation":[866],"Between":[867],"practice":[868],"theory":[870],"BDI-based":[872],"agents.":[873,953],"Araragi":[874],"formalise":[877,1006],"propose":[879],"method":[881,974],"solve":[883],"verification":[885,900],"arises":[888],"implementing":[890],"commitment":[892],"strategy":[893],"BDI":[896,929,945],"architecture,":[897],"namely":[898,970],"suitability":[903],"and/or":[904],"feasibility":[905],"intentions":[908],"agent.":[911],"Nide":[912],"mental":[917],"state":[918],"consistency":[919],"features":[920],"previously":[922],"presented":[923],"deduction":[924],"system":[925],"CTL-based":[927],"propositional":[928],"Logics":[930,946],"sequent":[932],"calculus,":[933],"step":[936],"towards":[937,1061],"expressive":[942],"power":[943],"executable":[948],"languages":[950],"rational":[952],"Hayashi":[954],"address":[957],"issue":[959],"integrating":[961],"speculative":[962,979,1007],"computation":[963,980,1002,1008],"action":[965],"execution":[966],"devising":[972],"plan":[976],"modification":[977],"fails":[981],"actions":[983],"executed.":[985],"Iwanuma":[986],"refine":[989],"first-order":[991],"consequence-finding":[992],"procedure":[993],"clausal":[996],"tableaux":[997],"SOL,":[998],"answer":[1001],"skip-preference,":[1004],"master-slave":[1011],"system.":[1013],"Bolander":[1014],"investigates":[1015],"finding":[1017],"consistent":[1018],"classes":[1019],"formulas":[1021],"syntactical":[1024],"treatment":[1025],"belief,":[1029],"identifying":[1030],"maximal":[1032],"sets":[1033],"introspective":[1035,1039],"beliefs":[1036],"strong":[1038],"consistently":[1042],"maintain":[1043],"avoid":[1047],"paradoxes":[1049],"self-reference.":[1051],"moderates":[1053],"discussion":[1056],"entitled":[1057],"\"Logics":[1058],"Multi-agents:":[1060],"new":[1063],"symbolic":[1064],"model":[1065],"cognition\".":[1067],"volume":[1069],"proceedings":[1072],"CLIMA'02.":[1074],"September":[1075],"Dix,":[1078],"(Guest":[1085],"Editors)":[1086]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}