{"id":"https://openalex.org/W2189029149","doi":null,"title":"Coalgebraic Semantics for Logic Programming","display_name":"Coalgebraic Semantics for Logic Programming","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2189029149","mag":"2189029149"},"language":"en","primary_location":{"id":"mag:2189029149","doi":null,"is_oa":false,"landing_page_url":"http://wiki.bath.ac.uk/download/attachments/21759725/KomMcCusPowerCMCS.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026643182","display_name":"Ekaterina Komendantskaya","orcid":"https://orcid.org/0000-0002-3240-0987","observed_orcids":["https://orcid.org/0000-0002-3240-0987"]},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ekaterina Komendantskaya","raw_affiliation_strings":["University of St Andrews"],"raw_orcid":"https://orcid.org/0000-0002-3240-0987","affiliations":[{"raw_affiliation_string":"University of St Andrews","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041412703","display_name":"Guy McCusker","orcid":"https://orcid.org/0000-0002-0305-6398","observed_orcids":["https://orcid.org/0000-0002-0305-6398"]},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Guy McCusker","raw_affiliation_strings":["University of Bath"],"raw_orcid":"https://orcid.org/0000-0002-0305-6398","affiliations":[{"raw_affiliation_string":"University of Bath","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082619162","display_name":"John Power","orcid":"https://orcid.org/0000-0002-3816-8509","observed_orcids":["https://orcid.org/0000-0002-3816-8509"]},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Power","raw_affiliation_strings":["University of Bath"],"raw_orcid":"https://orcid.org/0000-0002-3816-8509","affiliations":[{"raw_affiliation_string":"University of Bath","institution_ids":["https://openalex.org/I51601045"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8311,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81470425,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9320999979972839,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9320999979972839,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.041200000792741776,"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.021199999377131462,"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/coalgebraic-semantics","display_name":"coalgebraic semantics","score":0.9700000286102295},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.9990000128746033},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7260000109672546},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.9950000047683716},{"id":"https://openalex.org/keywords/proof-trees","display_name":"proof trees","score":0.7269999980926514},{"id":"https://openalex.org/keywords/lawvere-theories","display_name":"Lawvere theories","score":0.8939999938011169}],"concepts":[{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7457764744758606},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6789067983627319},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.6500128507614136},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.585469663143158},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.5630098581314087},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5590053796768188},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.5290718674659729},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.5140575170516968},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.48090434074401855},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.46673285961151123},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.42615413665771484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.408962607383728},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39991074800491333},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3979036808013916},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3012062907218933},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.26765167713165283},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.25540733337402344},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2021726369857788},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.19409167766571045}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2189029149","doi":null,"is_oa":false,"landing_page_url":"http://wiki.bath.ac.uk/download/attachments/21759725/KomMcCusPowerCMCS.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W184244794","https://openalex.org/W229636913","https://openalex.org/W1487667540","https://openalex.org/W1501159154","https://openalex.org/W1508633160","https://openalex.org/W1525805777","https://openalex.org/W1529790367","https://openalex.org/W1541434994","https://openalex.org/W1542297244","https://openalex.org/W1549147858","https://openalex.org/W1591716390","https://openalex.org/W1603188321","https://openalex.org/W1668790119","https://openalex.org/W1848771705","https://openalex.org/W1963107927","https://openalex.org/W1965519689","https://openalex.org/W1970416898","https://openalex.org/W1982801224","https://openalex.org/W1991003782","https://openalex.org/W2007809070","https://openalex.org/W2012816697","https://openalex.org/W2018969105","https://openalex.org/W2023578426","https://openalex.org/W2026552167","https://openalex.org/W2044922487","https://openalex.org/W2054839338","https://openalex.org/W2078332702","https://openalex.org/W2084816568","https://openalex.org/W2089111669","https://openalex.org/W2118229393","https://openalex.org/W2127852846","https://openalex.org/W2165434002","https://openalex.org/W2169526198","https://openalex.org/W2612793397","https://openalex.org/W2911865844"],"related_works":["https://openalex.org/W1584978202","https://openalex.org/W7097076018","https://openalex.org/W7098313776","https://openalex.org/W167886884","https://openalex.org/W3114049557","https://openalex.org/W2951838212","https://openalex.org/W2548234664","https://openalex.org/W180563605","https://openalex.org/W2288108789","https://openalex.org/W2559046722"],"abstract_inverted_index":{"Logic":[0,19],"programming,":[1,100],"a":[2,45,119,126],"class":[3],"of":[4,86,139],"programming":[5,20,38],"languages":[6],"based":[7],"on":[8,80],"rst-order":[9,128],"logic,":[10],"provides":[11],"simple":[12],"and":[13,25,89,101,135,152],"ecient":[14],"tools":[15],"for":[16],"goal-oriented":[17],"proof-search.":[18],"supports":[21],"recursive":[22],"computations":[23],"-":[24,57,70],"some":[26],"logic":[27,49,55,99,115,141],"programs":[28,56,116,142],"resemble":[29],"the":[30,131,136],"inductive":[31],"or":[32,65,78],"coinductive":[33],"denitions":[34],"written":[35],"in":[36,98],"functional":[37],"languages.":[39],"In":[40],"this":[41,123],"paper,":[42],"we":[43],"give":[44],"coalgebraic":[46,137],"semantics":[47,138],"to":[48,113],"programming.":[50],"We":[51,82,109],"show":[52,102],"that":[53],"ground":[54],"be":[58,72,106,144],"it":[59],"PROLOG":[60],"language":[61,67],"with":[62],"function":[63],"symbols":[64],"DATALOG":[66],"without":[68],"functions":[69],"can":[71,105,143],"modelled":[73,107],"by":[74,117,146,149,153],"either":[75],"PfPf":[76],"-coalgebras":[77],"PfList-coalgebras":[79],"Set.":[81],"analyse":[83],"dierent":[84],"kinds":[85],"derivation":[87,90],"strategies":[88],"trees":[91],"(proof-trees,":[92],"SLD-trees,":[93],"and-or":[94],"parallel":[95],"trees)":[96],"used":[97],"how":[103],"they":[104],"coalgebraically.":[108],"extend":[110],"these":[111],"models":[112],"non-ground":[114,140],"incorporating":[118],"Lawvere":[120,132],"theory":[121],"into":[122],"picture.":[124],"Namely,":[125],"given":[127],"signature":[129],"generates":[130],"theoryL":[133],",":[134],"obtained":[145],"replacing":[147],"Set":[148],"Lax(L":[150],";Poset)":[151],"allowing":[154],"countability.":[155]},"counts_by_year":[{"year":2014,"cited_by_count":2}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-06-24T00:00:00"}