{"id":"https://openalex.org/W4236063328","doi":"https://doi.org/10.1016/s1571-0661(05)80664-4","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-05-01","ids":{"openalex":"https://openalex.org/W4236063328","doi":"https://doi.org/10.1016/s1571-0661(05)80664-4"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80664-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80664-4","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)80664-4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071756692","display_name":"Ingo Dahn","orcid":"https://orcid.org/0000-0001-8413-9912"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ingo Dahn","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5026634244","display_name":"Laurent Vigneron","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laurent Vigneron","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5071756692"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.44462416,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"86","issue":"1","first_page":"204","last_page":"205"},"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.9929999709129333,"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.9929999709129333,"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.9855999946594238,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9287999868392944,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/rewriting","display_name":"Rewriting","score":0.6630327701568604},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.6590173840522766},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6266883611679077},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.47741806507110596},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.46574437618255615},{"id":"https://openalex.org/keywords/theme","display_name":"Theme (computing)","score":0.43735456466674805},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.42825862765312195},{"id":"https://openalex.org/keywords/advice","display_name":"Advice (programming)","score":0.4252401888370514},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4051365852355957},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.35523390769958496},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21323779225349426},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.1559177041053772}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6630327701568604},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.6590173840522766},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6266883611679077},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.47741806507110596},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.46574437618255615},{"id":"https://openalex.org/C33566652","wikidata":"https://www.wikidata.org/wiki/Q1065927","display_name":"Theme (computing)","level":2,"score":0.43735456466674805},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.42825862765312195},{"id":"https://openalex.org/C2779955035","wikidata":"https://www.wikidata.org/wiki/Q4686785","display_name":"Advice (programming)","level":2,"score":0.4252401888370514},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4051365852355957},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.35523390769958496},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21323779225349426},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1559177041053772},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80664-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80664-4","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)80664-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80664-4","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/16","display_name":"Peace, Justice and strong institutions","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2367630557","https://openalex.org/W2120204135","https://openalex.org/W101666983","https://openalex.org/W2183792531","https://openalex.org/W2595286499","https://openalex.org/W1796293478","https://openalex.org/W4231718283","https://openalex.org/W174435416","https://openalex.org/W2111172916","https://openalex.org/W1976790138"],"abstract_inverted_index":{"This":[0],"volume":[1,134,331],"contains":[2],"the":[3,7,71,82,87,139,144,165,234,237,251,255,261,264,268,278,294,305,317,322,326,337,501,505],"proceedings":[4],"of":[5,12,26,36,41,48,70,81,86,157,164,200,208,236,243,263,293,304,307,325,336,344,356,401,442,457,466],"FTP'2003,":[6],"fourth":[8],"in":[9,43,75,126,132,171,285,329],"a":[10,23,32,136,311],"series":[11,50],"workshops":[13,47],"intended":[14],"to":[15,30,152,212,225,233,248,257],"focus":[16],"effort":[17],"on":[18,90,103,114,123],"First-Order":[19],"Theorem":[20],"Proving":[21],"as":[22,332],"core":[24],"theme":[25],"Automated":[27],"Deduction,":[28],"and":[29,39,93,106,108,118,176,198,206,217,230,267,281,301,320,499],"provide":[31],"forum":[33],"for":[34,239,271,287],"presentation":[35],"recent":[37],"work":[38,314],"discussion":[40],"research":[42],"progress.":[44],"The":[45,129,155],"previous":[46],"this":[49,133,227,330],"were":[51],"held":[52,74],"at":[53,143,315,367,371,475,504],"Schloss":[54],"Hagenberg,":[55],"Austria":[56,59],"(1997),":[57],"Vienna,":[58,364],"(1998),":[60],"St":[61],"Andrews,":[62],"Scotland":[63],"(2000).":[64],"In":[65,147],"2001,":[66],"FTP":[67],"was":[68,121],"part":[69],"IJCAR":[72],"Conference,":[73],"Siena,":[76],"Italy.":[77],"FTP'2003":[78,120],"is":[79],"one":[80],"three":[83],"main":[84],"events":[85],"Federated":[88],"Conference":[89,102,113],"Rewriting,":[91],"Deduction":[92],"Programming":[94],"(RDP'03),":[95],"together":[96],"with":[97],"RTA":[98],"(the":[99,110],"14th":[100],"International":[101,112],"Rewriting":[104],"Techniques":[105],"Applications),":[107],"TLCA":[109],"6th":[111],"Typed":[115],"Lambda":[116],"Calculi":[117],"Applications).":[119],"hold":[122],"June":[124],"12-14,2003,":[125],"Valencia,":[127,308],"Spain.":[128],"articles":[130],"included":[131],"represent":[135],"selection":[137,235],"among":[138],"16":[140],"papers":[141,150,159,238,256,327],"presented":[142],"workshop":[145,166,228],"FTP'2003.":[146,258],"addition,":[148],"two":[149],"correspond":[151],"invited":[153],"talks.":[154],"topics":[156],"these":[158,240],"match":[160],"very":[161,312],"well":[162],"those":[163],"which":[167],"cover":[168],"theorem":[169,201,210],"proving":[170,202],"first-order":[172,209],"classical,":[173],"many-valued,":[174],"modal":[175],"description":[177,190],"logics,":[178,191],"including":[179],"non-exclusively:":[180],"resolution,":[181],"equational":[182],"reasoning,":[183,188],"term-rewriting,":[184],"model":[185],"construction,":[186],"constraint":[187],"unification,":[189],"propositional":[192],"logic,":[193],"specialized":[194],"decision":[195],"procedures;":[196,203],"strategies":[197],"complexity":[199],"implementation":[204],"techniques":[205],"applications":[207],"provers":[211],"verification,":[213],"artificial":[214],"intelligence,":[215],"mathematics":[216],"education.":[218],"We":[219,259,275],"sincerely":[220],"thank":[221,249,260,277,298],"everyone":[222],"who":[223,231,253,309],"contributed":[224,254],"make":[226],"possible":[229],"participated":[232],"proceedings.":[241],"First":[242],"all,":[244],"we":[245,297],"would":[246],"like":[247],"all":[250,291,500],"authors":[252],"members":[262],"Program":[265],"Committee":[266],"additional":[269],"reviewers":[270],"their":[272,288],"excellent":[273],"job.":[274],"also":[276],"Steering":[279],"Committee,":[280],"Maria":[282,353],"Paola":[283,354,439],"Bonacina":[284],"particular,":[286],"advice":[289],"throughout":[290],"phases":[292],"workshop.":[295],"Finally,":[296],"Salvador":[299,489],"Lucas":[300,490],"his":[302],"collaborators":[303],"University":[306],"did":[310],"good":[313],"preparing":[316],"local":[318],"arrangements,":[319],"publishing":[321],"preliminary":[323],"version":[324],"published":[328],"Technical":[333],"Report":[334],"DSIC-II/10/03":[335],"Universidad":[338,506],"Polit\u00e9cnica":[339,507],"de":[340,508],"Valencia.":[341,509],"Ingo":[342],"DahnUniversity":[343],"Koblenz-Landau,":[345,458],"GermanyLaurent":[346],"VigneronLORIA":[347],"-":[348,376,396,477,483],"Universit\u00e9e":[349],"Nancy":[350],"2,":[351],"France":[352],"BonacinaUniv.":[355],"Verona,":[357,443],"ItalyRicardo":[358,444],"CaferraLEIBNIZ-IMAG,":[359,445],"Grenoble,":[360,446],"FranceBernhard":[361],"GramlichTU":[362],"Wien,":[363,462,472],"AustriaPaliath":[365,473],"NarendranSUNY":[366],"Albany,":[368,479],"USADavid":[369],"PlaistedUNC":[370],"Chapel":[372],"Hill,":[373],"USAChristophe":[374],"RingeissenLORIA":[375],"INRIA":[377],"Lorraine,":[378],"Nancy,":[379],"FranceAlbert":[380],"RubioUPC,":[381],"Barcelona,":[382],"SpainJohn":[383],"SlaneyANU,":[384],"Canberra,":[385],"AustraliaTom\u00e0s":[386],"UribeSRI":[387],"Int.,":[388],"Menlo":[389],"Park,":[390],"USALuca":[391],"Vigan\u00f2ETHZ,":[392],"Z\u00fcrich,":[393],"SwitzerlandChristoph":[394],"WeidenbachOpel":[395,482],"MPI":[397,484],"Saarbr\u00fccken,":[398,485],"GermanyHantao":[399],"ZhangUniv.":[400],"Iowa,":[402],"Iowa":[403],"City,":[404],"USA":[405],"Alessandro":[406,431],"Armando,":[407],"J\u00fcurgen":[408],"Avenhaus,":[409],"David":[410],"D\u00e9harbe,":[411],"Didier":[412],"Galmiche,":[413],"Florent":[414],"Jacquemard,":[415],"Alexandre":[416],"Miquel,":[417],"Ra\u00fal":[418],"Monroy,":[419],"Robert":[420],"Nieuwenhuis,":[421],"Silvio":[422],"Ranise,":[423],"Sophie":[424],"Tison,":[425],"Femke":[426],"van":[427],"Raamsdonk,":[428],"Lida":[429],"Wang.":[430],"ArmandoUniv.":[432],"di":[433,449],"Genova,":[434],"ItalyPeter":[435],"BaumgartnerUniv.":[436],"Koblenz,":[437],"GermanyMaria":[438],"Bonacina,":[440],"ChairUniv.":[441],"FranceDomenico":[447],"CantoneUniv.":[448],"Catania,":[450],"ItalyDavid":[451],"CrockerEscher":[452],"Technologies":[453],"Ltd.,":[454],"UKIngo":[455],"DahnUniv.":[456],"GermanyBernhard":[459],"GramlichTechnische":[460],"Univ.":[461,465,471],"AustriaReiner":[463],"H\u00e4hnleChalmers":[464],"Technology,":[467],"G\u00f6teborg,":[468],"SwedenAlexander":[469],"LeitschTechnische":[470],"NarendranUniv.":[474],"Albany":[476],"SUNY,":[478],"NY,":[480],"USAChristoph":[481],"Germany":[486],"Mar\u00eda":[487,494],"Alpuente,":[488],"(chair),":[491],"Javier":[492],"Oliver,":[493],"Jos\u00e9":[495],"Ram\u00edrez,":[496],"Germ\u00e1n":[497],"Vidal,":[498],"ELP":[502],"group":[503]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}