{"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":false,"raw_author_name":"Ingo Dahn","raw_affiliation_strings":[],"raw_orcid":null,"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":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.4477076,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"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":[{"display_name":"Peace, Justice and strong institutions","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":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,562,566],"proceedings":[4],"of":[5,12,26,36,41,48,70,81,86,157,164,200,208,236,243,263,293,304,307,325,336,348,365,432,483,506,519],"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,560],"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,382,388,532,565],"Schloss":[54],"Hagenberg,":[55],"Austria":[56,59,378,514,528],"(1997),":[57],"Vienna,":[58,377],"(1998),":[60],"St":[61],"Andrews,":[62],"Scotland":[63],"(2000).":[64],"In":[65,147],"2001,":[66],"FTP":[67,464],"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,561],"authors":[252],"members":[262],"Program":[265,342,359],"Committee":[266,343,360,466],"additional":[269],"reviewers":[270],"their":[272,288],"excellent":[273],"job.":[274],"also":[276],"Steering":[279,465],"Committee,":[280],"Maria":[282,361,478],"Paola":[283,362,479],"Bonacina":[284,363],"particular,":[286],"advice":[289],"throughout":[290],"phases":[292],"workshop.":[295],"Finally,":[296],"Salvador":[299,550],"Lucas":[300,551],"his":[302],"collaborators":[303],"University":[306,347],"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,567],"Polit\u00e9cnica":[339,568],"de":[340,569],"Valencia.":[341,570],"Chairs":[344],"Ingo":[345,503],"Dahn":[346,504],"Koblenz-Landau,":[349,507],"Germany":[350,428,477,508,545],"Laurent":[351],"Vigneron":[352],"LORIA":[353,394],"-":[354,395,425,534,542],"Universit\u00e9e":[355],"Nancy":[356],"2,":[357],"France":[358,372,399,490],"Univ.":[364,431,469,475,482,493,505,512,518,526,531],"Verona,":[366,484],"Italy":[367,472,485,496],"Ricardo":[368,486],"Caferra":[369,487],"LEIBNIZ-IMAG,":[370,488],"Grenoble,":[371,489],"Bernhard":[373,509],"Gramlich":[374,510],"TU":[375],"Wien,":[376,513,527],"Paliath":[379,529],"Narendran":[380,530],"SUNY":[381],"Albany,":[383,536],"USA":[384,391,416,436,538],"David":[385,443,497],"Plaisted":[386],"UNC":[387],"Chapel":[389],"Hill,":[390],"Christophe":[392],"Ringeissen":[393],"INRIA":[396],"Lorraine,":[397],"Nancy,":[398],"Albert":[400],"Rubio":[401],"UPC,":[402],"Barcelona,":[403],"Spain":[404],"John":[405],"Slaney":[406],"ANU,":[407],"Canberra,":[408],"Australia":[409],"Tom\u00e0s":[410],"Uribe":[411],"SRI":[412],"Int.,":[413],"Menlo":[414],"Park,":[415],"Luca":[417],"Vigan\u00f2":[418],"ETHZ,":[419],"Z\u00fcrich,":[420],"Switzerland":[421],"Christoph":[422,539],"Weidenbach":[423,540],"Opel":[424,541],"MPI":[426,543],"Saarbr\u00fccken,":[427,544],"Hantao":[429],"Zhang":[430],"Iowa,":[433],"Iowa":[434],"City,":[435],"Additional":[437],"Referees":[438],"Alessandro":[439,467],"Armando,":[440],"J\u00fcurgen":[441],"Avenhaus,":[442],"D\u00e9harbe,":[444],"Didier":[445],"Galmiche,":[446],"Florent":[447],"Jacquemard,":[448],"Alexandre":[449],"Miquel,":[450],"Ra\u00fal":[451],"Monroy,":[452],"Robert":[453],"Nieuwenhuis,":[454],"Silvio":[455],"Ranise,":[456],"Sophie":[457],"Tison,":[458],"Femke":[459],"van":[460],"Raamsdonk,":[461],"Lida":[462],"Wang.":[463],"Armando":[468],"di":[470,494],"Genova,":[471],"Peter":[473],"Baumgartner":[474],"Koblenz,":[476],"Bonacina,":[480],"Chair":[481],"Domenico":[491],"Cantone":[492],"Catania,":[495],"Crocker":[498],"Escher":[499],"Technologies":[500],"Ltd.,":[501],"UK":[502],"Technische":[511,525],"Reiner":[515],"H\u00e4hnle":[516],"Chalmers":[517],"Technology,":[520],"G\u00f6teborg,":[521],"Sweden":[522],"Alexander":[523],"Leitsch":[524],"Albany":[533],"SUNY,":[535],"NY,":[537],"Local":[546],"Organization":[547],"Mar\u00eda":[548,555],"Alpuente,":[549],"(chair),":[552],"Javier":[553],"Oliver,":[554],"Jos\u00e9":[556],"Ram\u00edrez,":[557],"Germ\u00e1n":[558],"Vidal,":[559],"ELP":[563],"group":[564]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-21T06:12:48.119943","created_date":"2022-05-12T00:00:00"}