{"id":"https://openalex.org/W996903698","doi":null,"title":"A Declarative Foundation of \u03bbProlog with Equality","display_name":"A Declarative Foundation of \u03bbProlog with Equality","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W996903698","mag":"996903698"},"language":"en","primary_location":{"id":"pmh:oai:surface.syr.edu:eecs_techreports-1150","doi":null,"is_oa":true,"landing_page_url":"https://surface.syr.edu/eecs_techreports/178","pdf_url":"https://surface.syr.edu/eecs_techreports/178","source":{"id":"https://openalex.org/S4306401700","display_name":"Syracuse University Libraries (Syracuse University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I70983195","host_organization_name":"Syracuse University","host_organization_lineage":["https://openalex.org/I70983195"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical Engineering and Computer Science - Technical Reports","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://surface.syr.edu/eecs_techreports/178","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017518018","display_name":"Mino Bai","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I70983195","display_name":"Syracuse University","ror":"https://ror.org/025r5qe02","country_code":"US","type":"education","lineage":["https://openalex.org/I70983195"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mino Bai","raw_affiliation_strings":["syracuse University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"syracuse University","institution_ids":["https://openalex.org/I70983195"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017518018"],"corresponding_institution_ids":["https://openalex.org/I70983195"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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.49050000309944153,"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.49050000309944153,"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.47780001163482666,"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.0210999995470047,"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/lambdaprolog","display_name":"\u03bbProlog","score":0.9359999895095825},{"id":"https://openalex.org/keywords/higher-order-logic-programming","display_name":"higher-order logic programming","score":0.9620000123977661},{"id":"https://openalex.org/keywords/model-theoretic-semantics","display_name":"model-theoretic semantics","score":0.8389999866485596},{"id":"https://openalex.org/keywords/equality","display_name":"equality","score":0.46399998664855957},{"id":"https://openalex.org/keywords/fixpoint-semantics","display_name":"fixpoint semantics","score":0.8730000257492065}],"concepts":[{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.7225314378738403},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.6950078010559082},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6797463297843933},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.6432885527610779},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.636073887348175},{"id":"https://openalex.org/C58041814","wikidata":"https://www.wikidata.org/wiki/Q792533","display_name":"Axiomatic semantics","level":5,"score":0.5875273942947388},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.5281862020492554},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5122960805892944},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4731753170490265},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45680421590805054},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4364243149757385},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4188768267631531},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4035308361053467},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.36710986495018005},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.26902058720588684},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:surface.syr.edu:eecs_techreports-1150","doi":null,"is_oa":true,"landing_page_url":"https://surface.syr.edu/eecs_techreports/178","pdf_url":"https://surface.syr.edu/eecs_techreports/178","source":{"id":"https://openalex.org/S4306401700","display_name":"Syracuse University Libraries (Syracuse University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I70983195","host_organization_name":"Syracuse University","host_organization_lineage":["https://openalex.org/I70983195"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical Engineering and Computer Science - Technical Reports","raw_type":"text"},{"id":"mag:996903698","doi":null,"is_oa":false,"landing_page_url":"https://surface.syr.edu/cgi/viewcontent.cgi?article=1150&context=eecs_techreports","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":{"id":"pmh:oai:surface.syr.edu:eecs_techreports-1150","doi":null,"is_oa":true,"landing_page_url":"https://surface.syr.edu/eecs_techreports/178","pdf_url":"https://surface.syr.edu/eecs_techreports/178","source":{"id":"https://openalex.org/S4306401700","display_name":"Syracuse University Libraries (Syracuse University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I70983195","host_organization_name":"Syracuse University","host_organization_lineage":["https://openalex.org/I70983195"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical Engineering and Computer Science - Technical Reports","raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W996903698.pdf","grobid_xml":"https://content.openalex.org/works/W996903698.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W14274997","https://openalex.org/W132530506","https://openalex.org/W1237419177","https://openalex.org/W1523013478","https://openalex.org/W1530295539","https://openalex.org/W1541434994","https://openalex.org/W1542795482","https://openalex.org/W1570712623","https://openalex.org/W1602563381","https://openalex.org/W1974725248","https://openalex.org/W1984201153","https://openalex.org/W1996404651","https://openalex.org/W1997585275","https://openalex.org/W2017637575","https://openalex.org/W2093111544","https://openalex.org/W2115610240","https://openalex.org/W2160331299","https://openalex.org/W2313175711","https://openalex.org/W2977904728","https://openalex.org/W4239479692"],"related_works":["https://openalex.org/W2508757230","https://openalex.org/W1606129265","https://openalex.org/W2022937548","https://openalex.org/W4406401455","https://openalex.org/W2949282174","https://openalex.org/W2248739926","https://openalex.org/W2595800352","https://openalex.org/W2108911687","https://openalex.org/W2798485127","https://openalex.org/W2165434002"],"abstract_inverted_index":{"We":[0,118,143,153],"build":[1],"general":[2,140],"model-theoretic":[3],"semantics":[4,11,109,126,148],"for":[5,12,94,110,133,172],"higher-order":[6,42,76,111,134,173],"logic":[7,14,43,77,95,135,174],"programming":[8,136],"languages.":[9],"Usual":[10],"first-order":[13],"is":[15,61,79,114],"two-level:":[16],"i.e.,":[17],"at":[18],"a":[19,24,41,100,128,145,157,170],"lower":[20],"level":[21],"we":[22,30,98],"define":[23,31,83,90],"domain":[25,102,113,161,168],"of":[26,33,53,57,59,67,69,73,159,162,169],"individuals,":[27],"and":[28,122],"then,":[29],"satisfaction":[32,58],"formulas":[34,60],"with":[35,64,176],"respect":[36],"to":[37,82,89,105],"this":[38,74,120],"domain.":[39],"In":[40,107],"which":[44],"includes":[45],"the":[46,55,65,138,160,167],"propositional":[47],"type":[48],"in":[49,75],"its":[50],"primitive":[51],"set":[52],"types,":[54],"definition":[56],"mutually":[62],"recursive":[63],"process":[66],"evaluation":[68],"terms.":[70],"As":[71],"result":[72],"it":[78],"extremely":[80],"difficult":[81],"an":[84],"effective":[85],"semantics.":[86,142],"For":[87],"example":[88],"T":[91],"p":[92],"operator":[93],"program":[96],"P,":[97],"need":[99],"fixed":[101],"without":[103],"regard":[104],"interpretations.":[106,117],"usual":[108,139],"logic,":[112],"dependent":[115],"on":[116,150],"overcome":[119],"problem":[121],"argue":[123],"that":[124,156],"our":[125,151,163],"provides":[127],"more":[129],"suitable":[130],"declarative":[131],"basis":[132],"than":[137],"model":[141,164,171],"develop":[144],"fix":[146],"point":[147],"based":[149],"model.":[152],"also":[154],"show":[155],"quotient":[158],"can":[165],"be":[166],"programs":[175],"equality.":[177]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}