{"id":"https://openalex.org/W179403850","doi":"https://doi.org/10.1016/s1571-0661(05)80555-9","title":"Preface","display_name":"Preface","publication_year":2001,"publication_date":"2001-06-01","ids":{"openalex":"https://openalex.org/W179403850","doi":"https://doi.org/10.1016/s1571-0661(05)80555-9","mag":"179403850"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80555-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80555-9","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)80555-9","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064407367","display_name":"Agostino Dovier","orcid":"https://orcid.org/0000-0003-2052-8593"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Agostino Dovier","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028249343","display_name":"Maria Chiara Meo","orcid":"https://orcid.org/0000-0002-3700-3788"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maria Chiara Meo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5082586707","display_name":"Andrea Omicini","orcid":"https://orcid.org/0000-0002-6655-3869"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrea Omicini","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02436788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"48","issue":null,"first_page":"253","last_page":"254"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9679999947547913,"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.9679999947547913,"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/portuguese","display_name":"Portuguese","score":0.7182044982910156},{"id":"https://openalex.org/keywords/acronym","display_name":"Acronym","score":0.6721898317337036},{"id":"https://openalex.org/keywords/latin-americans","display_name":"Latin Americans","score":0.4735029339790344},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.4191700220108032},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.40750908851623535},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.2562759518623352},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19826510548591614},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.14263775944709778},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09746214747428894},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.09062638878822327},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.06400707364082336}],"concepts":[{"id":"https://openalex.org/C35219183","wikidata":"https://www.wikidata.org/wiki/Q5146","display_name":"Portuguese","level":2,"score":0.7182044982910156},{"id":"https://openalex.org/C482391","wikidata":"https://www.wikidata.org/wiki/Q101244","display_name":"Acronym","level":2,"score":0.6721898317337036},{"id":"https://openalex.org/C158886217","wikidata":"https://www.wikidata.org/wiki/Q16799549","display_name":"Latin Americans","level":2,"score":0.4735029339790344},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.4191700220108032},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.40750908851623535},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.2562759518623352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19826510548591614},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.14263775944709778},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09746214747428894},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.09062638878822327},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.06400707364082336}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80555-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80555-9","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)80555-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80555-9","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":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4224143833","https://openalex.org/W2768246685","https://openalex.org/W2599055196","https://openalex.org/W4319323735","https://openalex.org/W2779863472","https://openalex.org/W4311710969","https://openalex.org/W2925962066","https://openalex.org/W2073540488","https://openalex.org/W2373621838","https://openalex.org/W2080178029"],"abstract_inverted_index":{"AGP":[0,237,244],"is":[1,666,718,854,887],"the":[2,10,17,47,59,96,127,146,161,168,192,227,233,255,266,292,311,338,342,347,394,398,423,427,436,444,453,517,572,587,670,688,693,723,727,730,736,739,743,754,757,764,767,771,867,872,878,882],"acronym":[3],"of":[4,24,129,148,165,230,235,268,367,376,393,414,491,575,589,658,669,687,698,756,766,770,871,881],"APPIA,":[5,118],"GULP,":[6,119],"and":[7,16,21,26,35,69,87,115,120,140,173,182,207,217,241,254,265,276,301,323,333,357,369,401,439,450,455,521,535,539,603,706,712,742,848,859,869,876,896],"PRODE:":[8],"respectively,":[9],"Portuguese":[11,97],"association":[12],"for":[13,19,403,408,426,488,508,600,607,709,760,862,898,905],"Artificial":[14],"Intelligence,":[15],"associations":[18,30],"Logic":[20,464,492,511,523,567],"Declarative":[22,149,198,556,676,694],"Programming":[23,150,199,524,613,695],"Italy":[25],"Spain.":[27],"The":[28,262,283,406,664,678],"three":[29,420,458],"have":[31],"obviously":[32],"separate":[33],"lives,":[34],"independently":[36],"started":[37],"their":[38,124,710,761,863,899],"own":[39],"annual":[40],"conferences":[41,77],"several":[42],"years":[43],"ago.":[44],"More":[45],"precisely,":[46],"first":[48,193,251,665],"GULP":[49,172],"conference":[50,98,284,728],"took":[51,107,200,285],"place":[52,108,201,286],"in":[53,55,62,80,84,109,145,177,184,186,202,209,223,246,287,297,463,554,571,592,633,675,683,692,908],"Genova":[54],"1986,":[56],"followed":[57],"by":[58,260,350,417,452,477,497,512,525,544,558,578,595,615,623,639,649,652,661],"meetings":[60,106],"held":[61,79],"Torino,":[63],"Roma,":[64],"Bologna,":[65],"Padova,":[66],"Pisa,":[67],"Tremezzo,":[68],"Gizzeria":[70],"Lido":[71],"from":[72,151,320,327,335,441],"1987":[73],"to":[74,135,238,242,271,281,310,317,344,346,364,385,474,702,720,751,763,856,866,877,889],"1993.":[75],"PRODE":[76,121,174],"were":[78,448],"Torremolinos":[81],"(1991),":[82],"then":[83,183,208],"Madrid":[85],"(1992)":[86],"Blanes":[88],"(1993).":[89],"Since":[90],"1985,":[91],"APPIA":[92],"has":[93],"been":[94],"sponsoring":[95],"EPIA-Encontro":[99],"Portugu\u00eas":[100],"de":[101,294],"Intelig\u00eancia":[102],"Artificial,":[103],"whose":[104],"last":[105],"Funchal,":[110],"Madeira":[111],"(1995),":[112],"Coimbra":[113],"(1997),":[114],"\u00c9vora":[116],"(1999).":[117],"finally":[122],"joined":[123,175],"efforts":[125],"with":[126,380,494],"aim":[128],"creating":[130],"a":[131,278,298,305,381,391,555,634],"wider":[132],"forum":[133],"where":[134,232],"friendly":[136],"share":[137],"new":[138],"ideas":[139],"spread":[141],"results":[142],"among":[143,167],"researchers":[144],"area":[147],"countries":[152],"that":[153,374,725,891],"are":[154,371],"very":[155],"close":[156],"under":[157],"many":[158],"respects":[159],"\u2014":[160,253],"common":[162],"latin":[163],"root":[164],"languages":[166],"main":[169],"one.":[170],"First,":[171],"together":[176],"1994":[178],"at":[179,291,397,418,443],"Pe\u00f1iscola":[180],"(Spain),":[181],"1995":[185],"Marina":[187],"di":[188],"Vietri":[189],"(Italy).":[190],"Then,":[191],"APPIA-GULP-PRODE":[194],"Joint":[195],"Conference":[196],"on":[197,903],"Donost\u00eda-San":[203],"Sebastian":[204],"(Spain,":[205,215],"1996),":[206],"Grado":[210],"(Italy,":[211,219],"1997),":[212],"La":[213,247,295,318],"Coru\u00f1a,":[214],"1998),":[216],"L'Aquila":[218],"1999).":[220],"It":[221],"was":[222,250,257,303],"L'Aquila,":[224,917],"finally,":[225],"during":[226],"social":[228],"dinner":[229],"AGP'99,":[231],"idea":[234,256],"extending":[236],"Latin":[239],"America,":[240],"organise":[243],"2000":[245,290],"Habana":[248,296,319],"(Cuba)":[249],"proposed":[252],"soon":[258,913],"well-liked":[259],"everybody.":[261],"natural":[263],"beauty":[264],"history":[267],"Cuba":[269],"seemed":[270],"offer":[272],"an":[273],"irresistible":[274],"attraction":[275],"surely":[277],"strong":[279],"goad":[280],"partecipate.":[282],"December":[288],"4-6,":[289],"Universidad":[293],"munificient":[299],"palace,":[300],"it":[302,717,886],"really":[304],"great":[306],"success,":[307],"also":[308,326,372,378],"thanks":[309],"perfect":[312],"local":[313,731],"organisation.":[314],"Researchers":[315],"came":[316],"Portugal,":[321],"Italy,":[322],"Spain,":[324],"but":[325],"Austria,":[328],"Belgium,":[329],"England,":[330],"Germany,":[331],"Mexico,":[332],"even":[334],"USA,":[336],"daring":[337],"embargo.":[339],"We":[340,361],"had":[341],"pleasure":[343],"listen":[345],"invited":[348],"talks":[349],"Maurice":[351],"Bruynooghe,":[352],"Tomas":[353],"Eiter,":[354],"Thom":[355,596],"Fruehwirth,":[356],"James":[358],"B.":[359],"Lipton.":[360],"wish":[362,701],"here":[363],"thank":[365,703,721,752,893],"all":[366,699,722,753],"them,":[368],"we":[370,429,700,748,892,906],"glad":[373],"one":[375,668],"them":[377,415],"contributed,":[379],"regular":[382],"referred":[383],"paper":[384],"this":[386,404,910],"volume.":[387,405],"This":[388],"volume":[389,911],"contains":[390],"selection":[392],"papers":[395,409,424,433],"presented":[396],"conference,":[399,428],"extended":[400,449],"revised":[402,451],"call":[407],"attracted":[410],"36":[411],"submissions,":[412],"each":[413],"reviewed":[416],"least":[419],"experts.":[421],"Among":[422],"accepted":[425],"selected":[430],"13":[431],"original":[432],"following":[434],"both":[435],"rewiever":[437],"ratings":[438],"feedbacks":[440],"discussions":[442],"conference.":[445],"Selected":[446],"contributions":[447],"authors":[454],"organized":[456],"into":[457],"groups:":[459],"\u2022":[460,532,598],"Theoretical":[461],"Issues":[462],"Language":[465],"\u25e6":[466,485,505,515,537,551,566,585,605,620,628,646,655],"Layered":[467],"map":[468],"reasoning:":[469],"An":[470],"experimental":[471],"approach":[472],"put":[473],"trial":[475],"onsets":[476],"Andrea":[478,624,819,928],"Formisano,":[479],"Eugenio":[480],"G.":[481],"Omodeo,":[482],"Marco":[483,526,579,783],"Temperini.":[484],"Operational":[486],"Semantics":[487],"Reexecution-based":[489],"Analysis":[490,534],"Programs":[493,594],"Delay":[495],"Declarations":[496],"Agostino":[498,545,794,923],"Cortesi,":[499],"Sabina":[500],"Rossi,":[501],"Baudouin":[502],"Le":[503],"Charleir":[504],"Correct":[506],"Answers":[507],"First":[509,697],"Order":[510],"Gianluca":[513,857],"Amato":[514,858],"On":[516,586],"Relations":[518],"between":[519],"Disjunctive":[520],"Linear":[522],"Bozzano,":[527],"Giorgio":[528,583,789],"Delzanno,":[529,790],"Maurizio":[530,839],"Martelli":[531],"Program":[533,732],"Verification":[536],"Refining":[538],"Compressing":[540],"Abstract":[541],"Model":[542],"Checking":[543],"Dovier,":[546,795,924],"Roberto":[547,777],"Giacobazzi,":[548],"Elisa":[549],"Quintarelli":[550],"Probabilistic":[552,656],"Confinement":[553],"Framework":[557],"Alessandra":[559,791],"Di":[560,792],"Pierro,":[561,793],"Chris":[562],"Hankin,":[563],"Herbert":[564],"Wiklicky":[565],"programs":[568,577],"as":[569,912,914],"specifications":[570],"inductive":[573],"verification":[574],"logic":[576],"Comini,":[580],"Roberta":[581],"Gori,":[582],"Levi":[584],"Number":[588],"Rule":[590],"Applications":[591],"Constraint":[593,612,637,650],"Fruehwirth":[597],"Logics":[599],"Interaction,":[601],"Concurrency,":[602],"Coordination":[604,648],"Design":[606],"AJACS,":[608],"yet":[609],"another":[610],"Java":[611],"framework":[614],"Ligia":[616],"Ferreira,":[617],"Salvador":[618,807,834],"Abreu":[619],"Formal":[621],"ReSpecT":[622],"Omicini,":[625,820],"Enrico":[626],"Denti":[627],"Modeling":[629],"concurrent":[630],"systems":[631],"specified":[632],"Temporal":[635],"Concurrent":[636],"language\u2014I":[638],"Moreno":[640],"Falaschi,":[641],"Alberto":[642,816,837],"Policriti,":[643,838],"Alicia":[644],"Villanueva.":[645],"Agent":[647],"optimisation":[651],"Sascha":[653,821],"Ossowski":[654],"behaviours":[657],"reactive":[659],"agents":[660],"Antonio":[662,797],"Brogi":[663],"traditionally":[667],"most":[671,689],"prominent":[672],"research":[673],"issue":[674],"Programming.":[677],"other":[679],"two":[680,686],"fields":[681],"represent,":[682],"our":[684],"opinion,":[685],"promising":[690],"directions":[691],"area.":[696],"Mike":[704],"Mislove":[705],"Catuscia":[707],"Palamidessi":[708],"prompt":[711],"encouraging":[713],"positive":[714],"response.":[715],"Also,":[716],"mandatory":[719],"people":[724],"made":[726],"possible:":[729],"Chair":[733],"Luciano":[734],"Garcia,":[735],"organizing":[737],"committee,":[738,741],"program":[740,758],"anonymous":[744],"referees.":[745],"In":[746],"particular":[747,852],"would":[749],"like":[750],"members":[755],"committee":[759],"contribution":[762,865],"control":[765],"scientific":[768],"level":[769],"conference:":[772],"Joaquim":[773],"Aparicio,":[774],"Puri":[775],"Arenas-S\u00e1nchez,":[776],"Bagnara,":[778],"Pedro":[779],"Barahona,":[780],"Michele":[781],"Bugliesi,":[782],"Cadoli,":[784],"Domenico":[785],"Cantone,":[786],"Carlos":[787],"Dam\u00e1sio,":[788],"Jos\u00e8":[796],"Fr\u00ecas,":[798],"Laura":[799],"Giordano,":[800],"Victor":[801],"Gulias,":[802],"Miguel":[803,849],"Katrib,":[804],"Jim":[805],"Lipton,":[806],"Lucas":[808],"Alba,":[809],"Julio":[810],"Mari\u00f1o,":[811],"Juan":[812],"J.":[813],"M.":[814,828],"Navarro,":[815],"Oliart":[817],"Lania,":[818],"Ossowski,":[822],"Olga":[823],"Padr\u00f3n,":[824],"Manuel":[825],"Palomar,":[826],"Lu\u00ecs":[827],"Pereira,":[829],"Ernesto":[830],"Pimentel,":[831],"Elvira":[832],"Pino,":[833],"Pinto":[835],"Abrei,":[836],"Proietti,":[840],"Fernando":[841,846],"Saenz":[842],"Perez,":[843],"Maria":[844,925],"Sessa,":[845],"Silva,":[847],"Toro.":[850],"A":[851],"\u201cgrazie\u201d":[853],"due":[855],"Francesca":[860],"Scozzari":[861],"unvaluable":[864],"creation":[868],"maintenance":[870],"AGP'00":[873],"Web":[874],"site,":[875],"electronic":[879],"management":[880],"revision":[883],"process.":[884],"Finally,":[885],"bound":[888],"happen":[890],"Federica,":[894],"Giulia,":[895],"Enea":[897],"continuous":[900],"putting":[901],"pressure":[902],"us":[904],"hurried":[907],"concluding":[909],"possible.":[915],"Verona,":[916],"Bologna":[918],"-":[919],"April":[920],"16,":[921],"2001":[922],"Chiara":[926],"Meo,":[927],"Omicini":[929]},"counts_by_year":[],"updated_date":"2026-06-21T06:12:48.119943","created_date":"2016-06-24T00:00:00"}