{"id":"https://openalex.org/W2717853680","doi":"https://doi.org/10.1016/s1571-0661(05)80113-6","title":"Preface","display_name":"Preface","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W2717853680","doi":"https://doi.org/10.1016/s1571-0661(05)80113-6","mag":"2717853680"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80113-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80113-6","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)80113-6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049291048","display_name":"In\u00eas Dutra","orcid":"https://orcid.org/0000-0002-3578-7769"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ines Dutra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059093687","display_name":"V\u0131\u0301tor Santos Costa","orcid":"https://orcid.org/0000-0002-3344-8237"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"V\u00edtor Santos Costa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112724926","display_name":"Gopal Gupta","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gopal Gupta","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024528910","display_name":"Enrico Pontelli","orcid":"https://orcid.org/0000-0002-7753-1737"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Enrico Pontelli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030575094","display_name":"Manuel Carro","orcid":"https://orcid.org/0000-0001-5199-3135"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manuel Carro","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5081994260","display_name":"P\u00e9ter Kacsuk","orcid":"https://orcid.org/0000-0001-6926-6622"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Kacsuk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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.33470779,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"3","first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9944999814033508,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9944999814033508,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9896000027656555,"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.7106320261955261},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6778102517127991},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.669485330581665},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6614762544631958},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.5350685119628906},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.5140805840492249},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5138471722602844},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.42396080493927},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.4139668643474579},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38541939854621887},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32291144132614136},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.3047468066215515},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19380486011505127},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1414286494255066},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.10414698719978333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7106320261955261},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6778102517127991},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.669485330581665},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6614762544631958},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.5350685119628906},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.5140805840492249},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5138471722602844},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.42396080493927},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4139668643474579},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38541939854621887},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32291144132614136},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.3047468066215515},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19380486011505127},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1414286494255066},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.10414698719978333},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80113-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80113-6","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)80113-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80113-6","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.47999998927116394,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2495969191","https://openalex.org/W200657494","https://openalex.org/W4243324743","https://openalex.org/W1548860908","https://openalex.org/W2138204654","https://openalex.org/W2016675527","https://openalex.org/W2104355231","https://openalex.org/W1548690989","https://openalex.org/W1589232796","https://openalex.org/W1517880980"],"abstract_inverted_index":{"One":[0],"of":[1,5,15,32,46,50,85,98,149,172,196,215,222,238,260,285,310,318,441],"the":[2,11,28,81,102,140,147,168,194,236,407,424,439,451,458],"main":[3],"areas":[4],"research":[6,24,79,298,312],"in":[7,40,56,114,121,185,313,391,405,409,423,428,450],"logic":[8,20,90,224,247,251,264,319,325,338,349],"programming":[9,21,91,225,241,248,265,320,326,350],"is":[10,435],"design":[12,29,82],"and":[13,17,30,70,83,87,106,129,145,160,170,179,190,208,231,262,270,305,315,340,386,445],"implementation":[14,34,84,211,221,237,317],"sequential":[16,86,210,261,314,324],"parallel":[18,88,223,263,316,348],"(constraint)":[19,89],"systems.":[22,92,321],"This":[23,93,413,433],"goes":[25],"broadly":[26],"from":[27,139,146,157,358],"specification":[31],"novel":[33],"technology":[35],"to":[36,167,218,293,337,363,373,379,383,400],"its":[37,446],"actual":[38],"evaluation":[39,259],"real":[41,272],"life":[42],"situations.":[43],"A":[44],"series":[45,425,434,453],"workshops":[47],"on":[48,80,104,117,323,329,347,354],"Implementations":[49],"Logic":[51,111,143],"Programming":[52,144],"Systems,":[53],"previously":[54],"held":[55,113],"Budapest":[57],"(1993),":[58],"Ithaca":[59],"(1994),":[60],"Portland":[61],"(1995),":[62],"Bonn":[63],"(1996),":[64],"Port":[65],"Jefferson":[66],"(1997),":[67],"Manchester":[68],"(1998)":[69],"Las":[71,115],"Cruces":[72,116],"(1999)":[73],"provided":[74],"a":[75,96,307],"forum":[76],"for":[77,109,142,235,335,343,365,388],"ongoing":[78],"volume":[94,414,419],"contains":[95],"collection":[97],"papers":[99,408],"presented":[100],"at":[101,457],"Workshop":[103],"Parallelism":[105],"Implementation":[107],"Technology":[108],"(Constraint)":[110],"Programming,":[112],"December":[118],"1st,":[119],"1999,":[120],"conjunction":[122],"with":[123],"ICLP'99.":[124],"The":[125,134,369,448],"workshop":[126,135],"was":[127,165],"sponsored":[128],"organised":[130],"by":[131],"COMPULOG":[132],"AMERICAS.":[133],"also":[136,352,387,398],"received":[137],"support":[138,334],"Association":[141],"Department":[148],"Computer":[150,430],"Science,":[151],"New":[152],"Mexico":[153],"State":[154],"University.":[155],"Papers":[156,322,346],"both":[158,267],"academia":[159],"industry":[161],"were":[162,202,290],"invited.":[163],"Preference":[164],"given":[166],"analysis":[169],"description":[171],"implemented":[173],"systems":[174,351],"(or":[175],"currently":[176],"under":[177],"implementation)":[178],"their":[180,186,381,389],"associated":[181],"techniques,":[182],"problems":[183],"found":[184],"development":[187],"or":[188,245],"design,":[189],"steps":[191],"taken":[192],"towards":[193],"solution":[195],"these":[197],"problems.":[198],"Topics":[199],"included,":[200],"but":[201],"not":[203],"limited":[204],"to:":[205],"\u2022":[206],"standard":[207],"non\u2014standard":[209],"schemes":[212],"(e.g.,":[213,249],"generalization/modification":[214],"WAM,":[216],"translation":[217],"C,":[219],"etc.);":[220],"systems;":[226],"balance":[227],"between":[228],"compile-time":[229],"effort":[230],"run-time":[232],"machinery;":[233],"techniques":[234],"different":[239,303],"declarative":[240],"paradigms":[242],"based":[243],"on,":[244],"extending,":[246],"constraint":[250,254,332],"programming,":[252,339],"concurrent":[253],"languages,":[255],"equational-logic":[256],"languages);":[257],"performance":[258,344],"systems,":[266,327],"through":[268,438],"benchmarking":[269],"using":[271],"world":[273],"applications;":[274],"other":[275],"implementation-related":[276],"issues,":[277],"such":[278],"as":[279,418],"memory":[280],"management,":[281],"register":[282],"allocation,":[283],"use":[284],"global":[286],"optimisations,":[287],"etc.":[288],"We":[289,396],"very":[291],"fortunate":[292],"have":[294],"so":[295],"many":[296],"interesting":[297],"papers,":[299],"ranging":[300,357],"over":[301],"widely":[302],"subjects":[304],"giving":[306],"broad":[308],"coverage":[309],"current":[311],"focus":[328,353],"varied":[330],"topics:":[331],"evaluation,":[333],"extensions":[336],"abstract":[341],"machines":[342],"evaluation.":[345],"diverse":[355],"topics":[356],"distributed":[359],"implementations,":[360],"garbage":[361],"collection,":[362],"optimisations":[364],"exploiting":[366],"and-or":[367],"parallelism.":[368],"editors":[370],"would":[371,397],"like":[372,399],"thank":[374,401],"all":[375,402],"authors":[376],"that":[377],"chose":[378],"submit":[380],"work":[382],"this":[384,393,410],"book,":[385],"cooperation":[390],"making":[392],"document":[394],"possible.":[395],"referees":[403],"involved":[404],"assessing":[406],"special":[411],"volume.":[412],"will":[415],"be":[416,455],"published":[417,436],"30,":[420],"Issue":[421],"3":[422],"Electronic":[426],"Notes":[427],"Theoretical":[429],"Science":[431,443],"(ENTCS).":[432],"electronically":[437],"facilities":[440],"Elsevier":[442],"B.V.":[444],"auspices.":[447],"volumes":[449],"ENTCS":[452],"can":[454],"accessed":[456],"URL":[459],"http://www.elsevier.nl/locate/entcs":[460],"March":[461],"14,":[462],"2000":[463],"Horst":[464],"Reichel":[465]},"counts_by_year":[],"updated_date":"2026-06-20T20:08:15.867695","created_date":"2017-06-30T00:00:00"}