{"id":"https://openalex.org/W1877111725","doi":"https://doi.org/10.1007/3-540-45628-7_19","title":"Constraint Logic Programming","display_name":"Constraint Logic Programming","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W1877111725","doi":"https://doi.org/10.1007/3-540-45628-7_19","mag":"1877111725"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-45628-7_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45628-7_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Mark Wallace","orcid":null},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB","IT"],"is_corresponding":true,"raw_author_name":"Mark Wallace","raw_affiliation_strings":["IC-Parc, William Penney Laboratory, Imperial College, London, SW7 2AZ","Dipartimento di Ingegneria - Universit\u00e0 di Ferrara"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IC-Parc, William Penney Laboratory, Imperial College, London, SW7 2AZ","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Dipartimento di Ingegneria - Universit\u00e0 di Ferrara","institution_ids":["https://openalex.org/I201324441"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I201324441","https://openalex.org/I47508984"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.1963,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.41164258,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"512","last_page":"532"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998000264167786,"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.998199999332428,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9968000054359436,"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/constraint-logic-programming","display_name":"Constraint logic programming","score":0.8223692178726196},{"id":"https://openalex.org/keywords/concurrent-constraint-logic-programming","display_name":"Concurrent constraint logic programming","score":0.759106457233429},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.7331715226173401},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7319045066833496},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6877756118774414},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5846781134605408},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5776242613792419},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.5300951600074768},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.5181578397750854},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4765099585056305},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.46318507194519043},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45401349663734436},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.40627869963645935},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.36127936840057373},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2764754891395569},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21749362349510193},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19626596570014954}],"concepts":[{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.8223692178726196},{"id":"https://openalex.org/C204306468","wikidata":"https://www.wikidata.org/wiki/Q5159106","display_name":"Concurrent constraint logic programming","level":5,"score":0.759106457233429},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.7331715226173401},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7319045066833496},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6877756118774414},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5846781134605408},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5776242613792419},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.5300951600074768},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5181578397750854},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4765099585056305},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.46318507194519043},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45401349663734436},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.40627869963645935},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.36127936840057373},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2764754891395569},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21749362349510193},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19626596570014954},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/3-540-45628-7_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45628-7_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.216.964","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.unipd.it/%7Efrossi/gulp.pdf","raw_type":"text"},{"id":"pmh:oai:www.research.unipd.it:11577/2421995","is_oa":false,"landing_page_url":"http://hdl.handle.net/11577/2421995","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production","score":0.550000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":291,"referenced_works":["https://openalex.org/W2152806","https://openalex.org/W10354055","https://openalex.org/W19136165","https://openalex.org/W30151932","https://openalex.org/W41784264","https://openalex.org/W42768861","https://openalex.org/W47957325","https://openalex.org/W52085609","https://openalex.org/W54026866","https://openalex.org/W57588021","https://openalex.org/W58217879","https://openalex.org/W60619409","https://openalex.org/W65041068","https://openalex.org/W65937437","https://openalex.org/W76250598","https://openalex.org/W80602063","https://openalex.org/W90532612","https://openalex.org/W102640360","https://openalex.org/W106605499","https://openalex.org/W115757739","https://openalex.org/W121190113","https://openalex.org/W129965199","https://openalex.org/W130813729","https://openalex.org/W131001168","https://openalex.org/W134901130","https://openalex.org/W143259126","https://openalex.org/W154256342","https://openalex.org/W158482823","https://openalex.org/W159530801","https://openalex.org/W160447551","https://openalex.org/W178927935","https://openalex.org/W187268814","https://openalex.org/W191924552","https://openalex.org/W196585358","https://openalex.org/W205415931","https://openalex.org/W205632769","https://openalex.org/W206166279","https://openalex.org/W238538546","https://openalex.org/W307896644","https://openalex.org/W383061491","https://openalex.org/W1482477636","https://openalex.org/W1487569371","https://openalex.org/W1488364561","https://openalex.org/W1490081606","https://openalex.org/W1491971978","https://openalex.org/W1492099040","https://openalex.org/W1492803714","https://openalex.org/W1493154510","https://openalex.org/W1494309412","https://openalex.org/W1496031892","https://openalex.org/W1497328860","https://openalex.org/W1497840745","https://openalex.org/W1498600466","https://openalex.org/W1499324867","https://openalex.org/W1500415104","https://openalex.org/W1500664879","https://openalex.org/W1502746131","https://openalex.org/W1504983647","https://openalex.org/W1505878350","https://openalex.org/W1508847246","https://openalex.org/W1509488457","https://openalex.org/W1518355145","https://openalex.org/W1518554892","https://openalex.org/W1519044014","https://openalex.org/W1521800560","https://openalex.org/W1522052976","https://openalex.org/W1524303998","https://openalex.org/W1528090900","https://openalex.org/W1532667386","https://openalex.org/W1540699063","https://openalex.org/W1540782103","https://openalex.org/W1542034969","https://openalex.org/W1542183414","https://openalex.org/W1542480886","https://openalex.org/W1543304572","https://openalex.org/W1543461272","https://openalex.org/W1544565902","https://openalex.org/W1545565886","https://openalex.org/W1545971264","https://openalex.org/W1554727768","https://openalex.org/W1555523867","https://openalex.org/W1558184472","https://openalex.org/W1558930507","https://openalex.org/W1559402073","https://openalex.org/W1559427309","https://openalex.org/W1560112893","https://openalex.org/W1560209019","https://openalex.org/W1560957333","https://openalex.org/W1563464738","https://openalex.org/W1571070340","https://openalex.org/W1572980276","https://openalex.org/W1580354722","https://openalex.org/W1587190576","https://openalex.org/W1587925072","https://openalex.org/W1589232796","https://openalex.org/W1591532012","https://openalex.org/W1595648220","https://openalex.org/W1596719193","https://openalex.org/W1596887828","https://openalex.org/W1596904010","https://openalex.org/W1597286183","https://openalex.org/W1598059193","https://openalex.org/W1598464593","https://openalex.org/W1599386511","https://openalex.org/W1600098492","https://openalex.org/W1602023752","https://openalex.org/W1603180966","https://openalex.org/W1605404869","https://openalex.org/W1606316903","https://openalex.org/W1606683824","https://openalex.org/W1627011610","https://openalex.org/W1627884670","https://openalex.org/W1653581507","https://openalex.org/W1657826747","https://openalex.org/W1683857393","https://openalex.org/W1685752790","https://openalex.org/W1710237860","https://openalex.org/W1733489975","https://openalex.org/W1766332311","https://openalex.org/W1793512210","https://openalex.org/W1814221162","https://openalex.org/W1821429470","https://openalex.org/W1822524951","https://openalex.org/W1828959114","https://openalex.org/W1838083129","https://openalex.org/W1845127254","https://openalex.org/W1848220826","https://openalex.org/W1868221333","https://openalex.org/W1875972884","https://openalex.org/W1942962029","https://openalex.org/W1955233489","https://openalex.org/W1969307923","https://openalex.org/W1970571555","https://openalex.org/W1972550579","https://openalex.org/W1972712449","https://openalex.org/W1980107758","https://openalex.org/W1981281472","https://openalex.org/W1982482731","https://openalex.org/W1986473353","https://openalex.org/W1986585422","https://openalex.org/W1986909452","https://openalex.org/W1987005090","https://openalex.org/W1987902506","https://openalex.org/W1988095917","https://openalex.org/W1993850412","https://openalex.org/W1997856041","https://openalex.org/W1999163452","https://openalex.org/W1999783590","https://openalex.org/W2001912652","https://openalex.org/W2002597376","https://openalex.org/W2003990235","https://openalex.org/W2006700664","https://openalex.org/W2007319395","https://openalex.org/W2010104109","https://openalex.org/W2012571091","https://openalex.org/W2014205104","https://openalex.org/W2017122484","https://openalex.org/W2018083690","https://openalex.org/W2018646682","https://openalex.org/W2019147273","https://openalex.org/W2021515159","https://openalex.org/W2021519440","https://openalex.org/W2027140251","https://openalex.org/W2027319813","https://openalex.org/W2029608368","https://openalex.org/W2029740449","https://openalex.org/W2030522691","https://openalex.org/W2033755422","https://openalex.org/W2035182234","https://openalex.org/W2035811095","https://openalex.org/W2035855976","https://openalex.org/W2036982801","https://openalex.org/W2037783464","https://openalex.org/W2041608581","https://openalex.org/W2041934467","https://openalex.org/W2042619750","https://openalex.org/W2052553211","https://openalex.org/W2053384008","https://openalex.org/W2053616158","https://openalex.org/W2054700680","https://openalex.org/W2055742719","https://openalex.org/W2056229702","https://openalex.org/W2056640187","https://openalex.org/W2056710678","https://openalex.org/W2060498389","https://openalex.org/W2062479662","https://openalex.org/W2063727779","https://openalex.org/W2066834290","https://openalex.org/W2068457689","https://openalex.org/W2068562012","https://openalex.org/W2068852367","https://openalex.org/W2069683773","https://openalex.org/W2072755230","https://openalex.org/W2074492708","https://openalex.org/W2075185101","https://openalex.org/W2076858384","https://openalex.org/W2077494135","https://openalex.org/W2077725083","https://openalex.org/W2078139775","https://openalex.org/W2079333278","https://openalex.org/W2080267935","https://openalex.org/W2081981838","https://openalex.org/W2082994045","https://openalex.org/W2084202433","https://openalex.org/W2085827045","https://openalex.org/W2085891301","https://openalex.org/W2089977270","https://openalex.org/W2090357400","https://openalex.org/W2091154692","https://openalex.org/W2096620062","https://openalex.org/W2097366413","https://openalex.org/W2097420216","https://openalex.org/W2098333147","https://openalex.org/W2098884876","https://openalex.org/W2099942580","https://openalex.org/W2105505307","https://openalex.org/W2106056850","https://openalex.org/W2107180790","https://openalex.org/W2108911687","https://openalex.org/W2112307828","https://openalex.org/W2112957923","https://openalex.org/W2115408193","https://openalex.org/W2115526279","https://openalex.org/W2117182850","https://openalex.org/W2117817802","https://openalex.org/W2118850793","https://openalex.org/W2119456262","https://openalex.org/W2120203610","https://openalex.org/W2123396057","https://openalex.org/W2128585349","https://openalex.org/W2129241924","https://openalex.org/W2132020706","https://openalex.org/W2132046336","https://openalex.org/W2132210624","https://openalex.org/W2132233302","https://openalex.org/W2132239740","https://openalex.org/W2134400899","https://openalex.org/W2135432705","https://openalex.org/W2135457621","https://openalex.org/W2135588736","https://openalex.org/W2135638508","https://openalex.org/W2138037655","https://openalex.org/W2138233214","https://openalex.org/W2138522630","https://openalex.org/W2139712811","https://openalex.org/W2140349269","https://openalex.org/W2140510563","https://openalex.org/W2140748187","https://openalex.org/W2143382644","https://openalex.org/W2144997403","https://openalex.org/W2151352672","https://openalex.org/W2153621541","https://openalex.org/W2155616412","https://openalex.org/W2156525231","https://openalex.org/W2159875930","https://openalex.org/W2162176451","https://openalex.org/W2164279585","https://openalex.org/W2164297069","https://openalex.org/W2168332701","https://openalex.org/W2168798470","https://openalex.org/W2177173668","https://openalex.org/W2212036697","https://openalex.org/W2250334391","https://openalex.org/W2337098149","https://openalex.org/W2341169597","https://openalex.org/W2487755007","https://openalex.org/W2548334863","https://openalex.org/W2552070334","https://openalex.org/W2568843332","https://openalex.org/W2612229240","https://openalex.org/W2911521611","https://openalex.org/W2913256821","https://openalex.org/W2913258176","https://openalex.org/W2913899725","https://openalex.org/W2977904728","https://openalex.org/W2999978296","https://openalex.org/W3041834803","https://openalex.org/W3099742470","https://openalex.org/W3122941067","https://openalex.org/W3140058205","https://openalex.org/W3150454502","https://openalex.org/W3217399827","https://openalex.org/W4205376162","https://openalex.org/W4233523382","https://openalex.org/W4246140018","https://openalex.org/W4285719527","https://openalex.org/W4301885396","https://openalex.org/W6602722155","https://openalex.org/W6634168834","https://openalex.org/W6682019963","https://openalex.org/W6685397001"],"related_works":["https://openalex.org/W2495969191","https://openalex.org/W316728381","https://openalex.org/W2611103758","https://openalex.org/W1589232796","https://openalex.org/W9461901","https://openalex.org/W1517880980","https://openalex.org/W2545526816","https://openalex.org/W4387645218","https://openalex.org/W1584569710","https://openalex.org/W2089928029"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}