{"id":"https://openalex.org/W4253001170","doi":"https://doi.org/10.1016/s1571-0661(05)80657-7","title":"Preface","display_name":"Preface","publication_year":2000,"publication_date":"2000-04-01","ids":{"openalex":"https://openalex.org/W4253001170","doi":"https://doi.org/10.1016/s1571-0661(05)80657-7"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80657-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80657-7","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)80657-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009047342","display_name":"Mireille Ducass\u00e9","orcid":"https://orcid.org/0000-0003-1084-4322"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mireille Ducass\u00e9","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034538230","display_name":"Anthony Kusalik","orcid":"https://orcid.org/0000-0001-9278-8859"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anthony Kusalik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5038492725","display_name":"Germ\u00e1n Puebla","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"German Puebla","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.42206121,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"4","first_page":"197","last_page":"197"},"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.9645000100135803,"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.9645000100135803,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9056000113487244,"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/debugging","display_name":"Debugging","score":0.8364430665969849},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.689636766910553},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6642380952835083},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6345658302307129},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5636974573135376},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4995229244232178},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.48220932483673096},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3767648935317993}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8364430665969849},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.689636766910553},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6642380952835083},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6345658302307129},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5636974573135376},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4995229244232178},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.48220932483673096},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3767648935317993}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80657-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80657-7","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)80657-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80657-7","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3173741361","https://openalex.org/W2574774950","https://openalex.org/W2553706208","https://openalex.org/W4250566046","https://openalex.org/W2062643088","https://openalex.org/W648195185","https://openalex.org/W574022443","https://openalex.org/W2348463574","https://openalex.org/W2111221376","https://openalex.org/W2089642402"],"abstract_inverted_index":{"The":[0,21],"characteristics":[1],"of":[2,15,45],"logic":[3,48,90],"programming":[4,19,91],"languages":[5],"both":[6],"necessitate":[7],"and":[8,18,35,40,57,65,115],"motivate":[9],"innovative":[10],"approaches":[11],"in":[12],"the":[13,54,89],"areas":[14],"user":[16],"environments":[17,46],"tools.":[20],"Tenth":[22],"Workshop":[23],"on":[24,42],"Logic":[25],"Programming":[26],"Environments":[27],"provided":[28],"a":[29,70,78],"forum":[30],"for":[31,47,81,88],"researchers,":[32],"developers,":[33],"programmers,":[34],"users":[36],"to":[37,96,104],"exchange":[38],"ideas":[39],"results":[41],"all":[43],"aspects":[44],"programming.":[49],"Contributions":[50],"coming":[51],"from":[52,69],"Europe,":[53],"USA,":[55],"Australia":[56],"Japan":[58],"addressed":[59],"debugging":[60],"(4x),":[61],"vizualization,":[62],"graphical":[63],"spreadsheets,":[64],"automated":[66],"documentation.":[67],"Coming":[68],"different":[71],"background,":[72],"Clinton":[73],"Jeffery,":[74],"invited":[75],"speaker,":[76],"presented":[77],"monitoring":[79],"environment":[80],"C":[82],"which,":[83],"we":[84],"hope,":[85],"was":[86],"inspiring":[87],"community.":[92],"A":[93],"special":[94],"thanks":[95],"Enrico":[97],"Pontelli,":[98],"ICLP'99":[99],"workshop":[100],"coordinator.":[101],"Thanks":[102],"also":[103],"Francisco":[105],"Bueno,":[106],"Manuel":[107],"Carro,":[108],"Erwan":[109],"Jahier,":[110],"Sarah":[111],"Mallet,":[112],"Julio":[113],"Marino,":[114],"Olivier":[116],"Ridoux":[117],"who":[118],"helped":[119],"with":[120],"paper":[121],"reviewing.":[122]},"counts_by_year":[],"updated_date":"2026-06-25T06:16:34.145877","created_date":"2022-05-12T00:00:00"}