{"id":"https://openalex.org/W979826707","doi":null,"title":"Models and resolution principles for logical meta-programming languages","display_name":"Models and resolution principles for logical meta-programming languages","publication_year":1992,"publication_date":"1992-02-01","ids":{"openalex":"https://openalex.org/W979826707","mag":"979826707"},"language":"en","primary_location":{"id":"pmh:oai:HAL:inria-00074966v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/inria-00074966v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RR-1594, INRIA. 1992","raw_type":"info:eu-repo/semantics/report"},"volume":null,"type":"report","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/inria-00074966v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021255849","display_name":"Henning Christiansen","orcid":"https://orcid.org/0000-0003-4731-9927","observed_orcids":["https://orcid.org/0000-0003-4731-9927"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Henning Christiansen","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-4731-9927","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5021255849"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.5659000277519226,"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.5659000277519226,"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.4189000129699707,"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.003800000064074993,"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/logic-programming","display_name":"logic programming","score":0.8289999961853027},{"id":"https://openalex.org/keywords/herbrand-models","display_name":"Herbrand models","score":0.9340000152587891},{"id":"https://openalex.org/keywords/resolution-completeness","display_name":"resolution completeness","score":0.7409999966621399},{"id":"https://openalex.org/keywords/hypothetical-reasoning","display_name":"hypothetical reasoning","score":0.6610000133514404},{"id":"https://openalex.org/keywords/code-generation","display_name":"code generation","score":0.8740000128746033},{"id":"https://openalex.org/keywords/declarative-semantics","display_name":"declarative semantics","score":0.6489999890327454},{"id":"https://openalex.org/keywords/procedural-semantics","display_name":"procedural semantics","score":0.8289999961853027}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7645694017410278},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7256307601928711},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.6234912872314453},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6039336323738098},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.5168012380599976},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.47464948892593384},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.4736783802509308},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.4648982584476471},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.4591898024082184},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.44129112362861633},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.44008007645606995},{"id":"https://openalex.org/C35390924","wikidata":"https://www.wikidata.org/wiki/Q661075","display_name":"Metaprogramming","level":2,"score":0.4358958899974823},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.4257645010948181},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3851836025714874},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.37367403507232666}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:HAL:inria-00074966v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/inria-00074966v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RR-1594, INRIA. 1992","raw_type":"info:eu-repo/semantics/report"},{"id":"mag:979826707","doi":null,"is_oa":false,"landing_page_url":"https://hal.inria.fr/inria-00074966","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:HAL:inria-00074966v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/inria-00074966v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RR-1594, INRIA. 1992","raw_type":"info:eu-repo/semantics/report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1479699308","https://openalex.org/W1527701550","https://openalex.org/W2142606140","https://openalex.org/W7052499165","https://openalex.org/W2028093053","https://openalex.org/W7099482904","https://openalex.org/W7099655654","https://openalex.org/W2137054551","https://openalex.org/W1481546108","https://openalex.org/W2280548248"],"abstract_inverted_index":{"Meta-programming":[0],"extends":[1],"logic":[2,166],"programming":[3],"with":[4],"the":[5,60,71,89,99,106,123,129,139,145,169,204,215],"possibility":[6,205],"of":[7,56,94,128,136,147,157,206,214],"having":[8],"a":[9,34,86,114,133,181],"program":[10,61,67,72,87,96,108,120,216],"to":[11,22,26,43,91,113,160,187,203],"create":[12],"or":[13],"analyze":[14],"other":[15],"programs":[16,131,167],"represented":[17],"as":[18,180],"data":[19],"structures":[20],"and":[21,138,168,190],"give":[23],"queries":[24],"dynamically":[25,49],"these":[27],"programs.":[28],"Thus":[29],"languages":[30,196],"for":[31,65,80,82,95,164,194,211],"meta-programming":[32,195],"represent":[33],"logical":[35,39],"formalism":[36],"in":[37,45,59,70,98,105,144,155],"which":[38,63,184,209],"theories":[40],"can":[41,77,125],"refer":[42],"provability":[44],"arbitrary":[46],"other,":[47],"perhaps":[48],"generated,":[50],"theories.":[51],"The":[52,150,175],"importance":[53],"is":[54,142,153,178,185,197],"stressed":[55],"allowing":[57],"variables":[58,208],"representation":[62],"stand":[64,210],"unknown":[66,212],"fragments,":[68],"even":[69],"currently":[73,217],"under":[74,218],"execution.":[75,219],"This":[76],"be":[78,92,188],"used,":[79],"example,":[81],"hypothetical":[83],"reasoning":[84],"where":[85],"generates":[88],"hypotheses":[90],"tested":[93],"generation":[97,121],"sense":[100],"that":[101],"an":[102,148],"interpreter":[103],"fills":[104],"missing":[107],"parts.":[109],"It":[110],"may":[111],"lead":[112],"more":[115,198],"declarative":[116,151],"style":[117],"of,":[118],"e.g.,":[119],"-":[122],"meta-program":[124],"specify":[126],"properties":[127],"desired":[130],"at":[132],"higher":[134],"level":[135],"abstraction":[137],"detailed":[140],"synthesis":[141],"put":[143],"hands":[146],"implementation.":[149],"semantics":[152,177],"described":[154],"terms":[156],"Herbrand-models":[158],"analogous":[159],"those":[161],"normally":[162],"used":[163],"plain":[165],"well-known":[170],"fixed-point":[171],"results":[172],"generalize":[173],"immediately.":[174],"procedural":[176],"given":[179],"resolution":[182,193],"method":[183],"shown":[186],"sound":[189],"complete.":[191],"Complete":[192],"complicated":[199],"than":[200],"usual":[201],"due":[202],"uninstantiated":[207],"parts":[213]},"counts_by_year":[],"updated_date":"2026-10-25T09:29:13.331239","created_date":"2016-06-24T00:00:00"}