{"id":"https://openalex.org/W4237360449","doi":"https://doi.org/10.1145/570186","title":"Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming","display_name":"Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming","publication_year":2002,"publication_date":"2002-10-05","ids":{"openalex":"https://openalex.org/W4237360449","doi":"https://doi.org/10.1145/570186"},"language":"en","primary_location":{"id":"doi:10.1145/570186","is_oa":false,"landing_page_url":"https://doi.org/10.1145/570186","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9850000143051147,"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.9850000143051147,"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.9531999826431274,"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/programming-language","display_name":"Programming language","score":0.7709846496582031},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7539256811141968},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.5565523505210876},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.48862725496292114},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.48498034477233887},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.44141221046447754},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43666568398475647},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.43481940031051636},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4161451756954193},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.38344627618789673},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.3629233241081238},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12240719795227051},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.09405940771102905}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7709846496582031},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7539256811141968},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5565523505210876},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.48862725496292114},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.48498034477233887},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.44141221046447754},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43666568398475647},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.43481940031051636},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4161451756954193},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.38344627618789673},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3629233241081238},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12240719795227051},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.09405940771102905},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/570186","is_oa":false,"landing_page_url":"https://doi.org/10.1145/570186","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"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/W2251233772","https://openalex.org/W316728381","https://openalex.org/W1969307923","https://openalex.org/W2561870262","https://openalex.org/W2949190809","https://openalex.org/W2628190584","https://openalex.org/W1500516255","https://openalex.org/W1485162787","https://openalex.org/W1810083572","https://openalex.org/W1498724794"],"abstract_inverted_index":{"This":[0],"volume":[1],"contains":[2],"the":[3,7,21,43,47,55,74,111,114,171,180,228,255,274],"papers":[4,83,118,282],"presented":[5],"at":[6,73,104],"Third":[8],"ACM":[9],"SIGPLAN":[10],"Workshop":[11],"on":[12,25,33,110,259],"Rule-Based":[13],"Programming":[14,31,62],"(RULE":[15],"'02),":[16],"held":[17],"in":[18,37,90,99,121,165,167,179,196,231,236],"conjunction":[19],"with":[20,46,54],"4th":[22],"International":[23],"Conference":[24],"Principles":[26],"and":[27,50,58,70,101,267],"Practice":[28],"of":[29,60,68,76,148,173,182,224,246,276,298],"Declarative":[30],"(PPDP),":[32],"October":[34],"5th,":[35],"2002,":[36],"Pittsburgh,":[38],"Pennsylvania.":[39],"RULE":[40],"'02":[41],"continues":[42],"tradition":[44],"established":[45],"previous":[48],"workshops":[49,71],"is":[51,227,249],"again":[52],"affiliated":[53],"Principles,":[56],"Logics,":[57],"Implementations":[59],"High-Level":[61],"Languages":[63],"(PLI)meeting":[64],"series,":[65],"a":[66,91,214],"confederation":[67],"conferences":[69],"aimed":[72],"advancement":[75],"high-level":[77],"programming":[78,150,174,226,261,278],"languages.These":[79],"proceedings":[80],"contain":[81],"eight":[82],"which":[84,233],"were":[85],"selected":[86,117,281],"from":[87,155,254,290],"13":[88],"submissions":[89],"careful":[92],"selection":[93],"process.":[94],"Each":[95],"paper":[96,130],"was":[97],"read":[98],"full":[100],"evaluated":[102],"by":[103,140,206],"least":[105],"three":[106],"international":[107],"referees.":[108],"Based":[109],"referee":[112],"reports,":[113],"program":[115,183],"committee":[116],"for":[119],"presentation":[120],"an":[122,137],"electronic":[123],"PC":[124],"meeting.":[125],"In":[126],"addition":[127],"to":[128,158,169,192,202,210,238,242,250,262,272,296],"contributed":[129],"presentations,":[131],"this":[132,247,277,284],"year's":[133],"workshop":[134,248],"also":[135],"includes":[136],"invited":[138],"talk":[139],"Todd":[141],"Proebsting":[142],"(Microsoft":[143],"Research,":[144],"USA).The":[145],"basic":[146],"concepts":[147],"rule-based":[149,225,260,299],"appear":[151],"throughout":[152],"computer":[153],"science,":[154],"theoretical":[156,291],"foundations":[157,292],"practical":[159],"implementations.":[160],"Rule-based":[161],"techniques":[162],"are":[163,187],"used":[164,188],"semantics":[166],"order":[168,237],"describe":[170,211],"meaning":[172],"languages,":[175],"as":[176,178,269,271],"well":[177,270],"implementation":[181,294],"transformation":[184],"systems.":[185],"They":[186],"implicitly":[189],"or":[190,199,201,212,218],"explicitly":[191],"perform":[193,203],"computations,":[194],"e.g.,":[195,205],"Mathematica,":[197],"OBJ,":[198],"ELAN,":[200],"deductions,":[204],"using":[207],"inference":[208],"rules":[209,235],"implement":[213],"logic,":[215],"theorem":[216],"prover":[217],"constraint":[219],"solver.":[220],"An":[221],"extreme":[222],"example":[223],"mail":[229,240],"system":[230],"Unix":[232],"uses":[234],"rewrite":[239],"addresses":[241],"canonical":[243],"forms.The":[244],"goal":[245,285],"bring":[251],"together":[252],"researchers":[253],"various":[256],"communities":[257],"working":[258],"foster":[263],"fertilisation":[264],"between":[265],"theory":[266],"practice,":[268],"favour":[273],"growth":[275],"paradigm.":[279],"The":[280],"reflect":[283],"well;":[286],"their":[287],"topics":[288],"range":[289],"through":[293],"issues":[295],"applications":[297],"programming.":[300]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}