{"id":"https://openalex.org/W1500664879","doi":null,"title":"LIFE, a Natural Language for Natural Language","display_name":"LIFE, a Natural Language for Natural Language","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W1500664879","mag":"1500664879"},"language":"en","primary_location":{"id":"mag:1500664879","doi":null,"is_oa":false,"landing_page_url":"https://www.researchgate.net/profile/Hassan_Ait-Kaci/publication/2722544_LIFE_-_A_Natural_Language_for_Natural_Language/links/00b7d519bce02b1020000000.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/A5045841458","display_name":"Hassan A\u00eft-Kaci","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hassan A\u0131\u0308t-Kaci","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003908930","display_name":"Patrick D. Lincoln","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patrick Lincoln","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113600245","display_name":"Roger Nasr","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roger Nasr","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001389063","display_name":"Raymonde Guindon","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raymonde Guindon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020274617","display_name":"Jon L. Schlossberg","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jon L. Schlossberg","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5109038850","display_name":"David Plummer","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Plummer","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8143,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.82184638,"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.9545999765396118,"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.9545999765396118,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.0348999984562397,"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/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":0.007799999788403511,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"natural language processing","score":0.7129999995231628},{"id":"https://openalex.org/keywords/type-inheritance","display_name":"type inheritance","score":0.6100000143051147},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.6420000195503235},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.9980000257492065},{"id":"https://openalex.org/keywords/suspension-mechanism","display_name":"suspension mechanism","score":0.7609999775886536},{"id":"https://openalex.org/keywords/abstract-syntax","display_name":"abstract syntax","score":0.36800000071525574},{"id":"https://openalex.org/keywords/computational-linguistics","display_name":"computational linguistics","score":0.6460000276565552},{"id":"https://openalex.org/keywords/programming-language-design","display_name":"programming language design","score":0.5339999794960022}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7957433462142944},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.751457929611206},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.5640839338302612},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5549139976501465},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5160974860191345},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.4734453856945038},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.47342947125434875},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.4419180750846863},{"id":"https://openalex.org/C190883126","wikidata":"https://www.wikidata.org/wiki/Q132874","display_name":"Lisp","level":2,"score":0.44190114736557007},{"id":"https://openalex.org/C169796678","wikidata":"https://www.wikidata.org/wiki/Q835124","display_name":"Very high-level programming language","level":5,"score":0.4337961673736572},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.415494441986084},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3740638196468353},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.34491994976997375},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33688539266586304},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.1934901773929596},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08407986164093018},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:1500664879","doi":null,"is_oa":false,"landing_page_url":"https://www.researchgate.net/profile/Hassan_Ait-Kaci/publication/2722544_LIFE_-_A_Natural_Language_for_Natural_Language/links/00b7d519bce02b1020000000.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":18,"referenced_works":["https://openalex.org/W1543641760","https://openalex.org/W1582257052","https://openalex.org/W1655990431","https://openalex.org/W1989806327","https://openalex.org/W1995089655","https://openalex.org/W1999978255","https://openalex.org/W2007008666","https://openalex.org/W2023578426","https://openalex.org/W2035182234","https://openalex.org/W2058740097","https://openalex.org/W2094945667","https://openalex.org/W2113757735","https://openalex.org/W2151157246","https://openalex.org/W2151384546","https://openalex.org/W2158956202","https://openalex.org/W2161160885","https://openalex.org/W2328580899","https://openalex.org/W3145016028"],"related_works":["https://openalex.org/W1606878978","https://openalex.org/W2111076108","https://openalex.org/W1573814328","https://openalex.org/W1510453017","https://openalex.org/W3088121565","https://openalex.org/W1522395947","https://openalex.org/W7099454627","https://openalex.org/W1973180461","https://openalex.org/W2171026506","https://openalex.org/W2912805091"],"abstract_inverted_index":{"Experimenting":[0],"with":[1],"formalisms":[2],"for":[3,43,93,119,147],"Natural":[4],"Language":[5],"Processing":[6],"involves":[7],"costly":[8],"programming":[9,30,132],"overhead":[10],"in":[11],"conventional":[12],"computing":[13],"idioms,":[14],"even":[15],"as":[16,18],"\u201cadvanced\u201d":[17],"Lisp":[19],"or":[20],"Prolog.":[21],"LIFE":[22,48,118,140],"(Logic,":[23],"Inheritance,":[24],"Functions,":[25],"and":[26,54,72,88],"Equations)":[27],"is":[28,103,115],"a":[29,40,86,104,143],"language":[31,146],"which":[32,38,75],"incorporates":[33],"an":[34,62],"elegant":[35],"type":[36,45],"system":[37],"supports":[39],"powerful":[41],"facility":[42],"structured":[44],"inheritance.":[46],"Also,":[47],"reconciles":[49],"styles":[50],"from":[51,128],"Functional":[52],"Programming":[53,56],"Logic":[55],"by":[57,117],"implicitly":[58],"delegating":[59],"control":[60],"to":[61,121,137],"automatic":[63],"suspension":[64],"mechanism.":[65],"This":[66],"allows":[67],"interleaving":[68],"interpretation":[69],"of":[70,91,97],"relational":[71],"functional":[73],"expressions":[74],"specify":[76],"abstract":[77],"structural":[78],"dependencies":[79],"on":[80],"objects.":[81],"Together,":[82],"these":[83],"features":[84],"provide":[85],"convenient":[87],"versatile":[89],"power":[90],"abstraction":[92],"very":[94],"high-level":[95],"expression":[96],"constrained":[98],"data":[99],"structures.":[100],"Computational":[101],"linguistics":[102],"discipline":[105],"where":[106],"such":[107],"abstractions":[108],"are":[109],"particularly":[110],"useful.":[111],"Therefore,":[112],"obvious":[113],"convenience":[114],"offered":[116],"experimentation":[120],"the":[122],"computational":[123],"linguist,":[124],"who":[125],"becomes":[126],"relieved":[127],"burdensome":[129],"yet":[130],"extrinsic":[131],"complications.":[133],"We":[134],"presently":[135],"attempt":[136],"show":[138],"how":[139],"may":[141],"be":[142],"natural":[144,149],"computer":[145],"processing":[148],"human":[150],"languages.":[151]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}