{"id":"https://openalex.org/W2052588271","doi":"https://doi.org/10.1017/s1471068409003779","title":"Fuzzy linguistic logic programming and its applications","display_name":"Fuzzy linguistic logic programming and its applications","publication_year":2009,"publication_date":"2009-05-01","ids":{"openalex":"https://openalex.org/W2052588271","doi":"https://doi.org/10.1017/s1471068409003779","mag":"2052588271"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068409003779","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068409003779","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","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":"https://openalex.org/A5056653895","display_name":"Van Hung Le","orcid":"https://orcid.org/0000-0002-8232-2892"},"institutions":[{"id":"https://openalex.org/I196829312","display_name":"La Trobe University","ror":"https://ror.org/01rxfrp27","country_code":"AU","type":"education","lineage":["https://openalex.org/I196829312"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"VAN HUNG LE","raw_affiliation_strings":["Department of Computer Science and Computer Engineering, La Trobe University, Bundoora, VIC 3086, Australia (e-mail:","Department of computer science and computer engineering, la trobe university, bundoora, vic 3086, australia (e-mail: vh2le@students.latrobe.edu.au; f.liu@latrobe.edu.au)#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Computer Engineering, La Trobe University, Bundoora, VIC 3086, Australia (e-mail:","institution_ids":["https://openalex.org/I196829312"]},{"raw_affiliation_string":"Department of computer science and computer engineering, la trobe university, bundoora, vic 3086, australia (e-mail: vh2le@students.latrobe.edu.au; f.liu@latrobe.edu.au)#TAB#","institution_ids":["https://openalex.org/I196829312"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021132447","display_name":"Fei Liu","orcid":"https://orcid.org/0000-0002-0245-0799"},"institutions":[{"id":"https://openalex.org/I196829312","display_name":"La Trobe University","ror":"https://ror.org/01rxfrp27","country_code":"AU","type":"education","lineage":["https://openalex.org/I196829312"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"FEI LIU","raw_affiliation_strings":["Department of Computer Science and Computer Engineering, La Trobe University, Bundoora, VIC 3086, Australia (e-mail:","Department of computer science and computer engineering, la trobe university, bundoora, vic 3086, australia (e-mail: vh2le@students.latrobe.edu.au; f.liu@latrobe.edu.au)#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Computer Engineering, La Trobe University, Bundoora, VIC 3086, Australia (e-mail:","institution_ids":["https://openalex.org/I196829312"]},{"raw_affiliation_string":"Department of computer science and computer engineering, la trobe university, bundoora, vic 3086, australia (e-mail: vh2le@students.latrobe.edu.au; f.liu@latrobe.edu.au)#TAB#","institution_ids":["https://openalex.org/I196829312"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071023725","display_name":"Dinh Khang Tran","orcid":null},"institutions":[{"id":"https://openalex.org/I64519617","display_name":"Hanoi University","ror":"https://ror.org/01mxx0e62","country_code":"VN","type":"education","lineage":["https://openalex.org/I64519617"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"DINH KHANG TRAN","raw_affiliation_strings":["Faculty of Information Technology, Hanoi University of Technology, Hanoi, Vietnam (e-mail:","Faculty of information technology, hanoi university of technology, hanoi, vietnam (e-mail: khangtd@it-hut.edu.vn)"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Hanoi University of Technology, Hanoi, Vietnam (e-mail:","institution_ids":["https://openalex.org/I64519617"]},{"raw_affiliation_string":"Faculty of information technology, hanoi university of technology, hanoi, vietnam (e-mail: khangtd@it-hut.edu.vn)","institution_ids":["https://openalex.org/I64519617"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5056653895"],"corresponding_institution_ids":["https://openalex.org/I196829312"],"apc_list":null,"apc_paid":null,"fwci":2.7422,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.89928376,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"9","issue":"3","first_page":"309","last_page":"341"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9977999925613403,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9961000084877014,"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/computer-science","display_name":"Computer science","score":0.5844057202339172},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5490737557411194},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.5390310883522034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49003779888153076},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4832321107387543},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42144298553466797},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.39726799726486206},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3287522792816162}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5844057202339172},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5490737557411194},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.5390310883522034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49003779888153076},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4832321107387543},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42144298553466797},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.39726799726486206},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3287522792816162},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068409003779","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068409003779","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W31561947","https://openalex.org/W179611734","https://openalex.org/W202121364","https://openalex.org/W879764102","https://openalex.org/W1031777975","https://openalex.org/W1541434994","https://openalex.org/W1563951013","https://openalex.org/W1566211337","https://openalex.org/W1984723670","https://openalex.org/W1987287444","https://openalex.org/W1992810975","https://openalex.org/W2013900754","https://openalex.org/W2017462139","https://openalex.org/W2029632596","https://openalex.org/W2041116216","https://openalex.org/W2046213250","https://openalex.org/W2084254022","https://openalex.org/W2090176558","https://openalex.org/W2102885020","https://openalex.org/W2110182592","https://openalex.org/W2127982691","https://openalex.org/W2153676086","https://openalex.org/W2157041604","https://openalex.org/W2161555129","https://openalex.org/W2162621793","https://openalex.org/W4206370914","https://openalex.org/W4245152641","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W4206249920","https://openalex.org/W4255405881","https://openalex.org/W1534488117","https://openalex.org/W1560895966","https://openalex.org/W3018143143"],"abstract_inverted_index":{"Abstract":[0],"The":[1,113],"paper":[2,114],"introduces":[3],"fuzzy":[4,13,39,120,182,196],"linguistic":[5,40,46,62,66,90,99,121,142,183,197],"logic":[6,14,41,122,165,184,198],"programming,":[7,15,42],"which":[8,139],"is":[9,78],"a":[10,57,61,125,136,146,154,161,192],"combination":[11],"of":[12,60,89,96,111,119,130,153,164,174,181,190],"introduced":[16],"by":[17,80],"P.":[18],"Vojt\u00e1\u0161,":[19],"and":[20,29,52,65,98,133,156,167,186],"hedge":[21,58],"algebras":[22],"in":[23,35,75,87,94,104,128],"order":[24],"to":[25,107,144,149,194],"facilitate":[26],"the":[27,81,117,150,172,175],"representation":[28],"reasoning":[30],"on":[31,169],"human":[32],"knowledge":[33],"expressed":[34],"natural":[36,105],"languages.":[37],"In":[38],"truth":[43,63,151],"values":[44],"are":[45,101],"ones,":[47],"e.g.,":[48],"VeryTrue":[49],",":[50,54],"VeryProbablyTrue":[51],"LittleFalse":[53],"taken":[55],"from":[56],"algebra":[59],"variable,":[64],"hedges":[67,100],"(modifiers)":[68],"can":[69],"be":[70],"used":[71,103],"as":[72],"unary":[73],"connectives":[74],"formulae.":[76],"This":[77],"motivated":[79],"fact":[82],"that":[83],"humans":[84],"reason":[85],"mostly":[86],"terms":[88,91,95,129,143],"rather":[92],"than":[93],"numbers,":[97],"often":[102],"languages":[106],"express":[108],"different":[109],"levels":[110],"emphasis.":[112],"presents:":[115],"(a)":[116],"language":[118],"programming;":[123,185],"(b)":[124],"declarative":[126],"semantics":[127,138,163],"Herbrand":[131],"interpretations":[132],"models;":[134],"(c)":[135],"procedural":[137,176],"directly":[140],"manipulates":[141],"compute":[145],"lower":[147],"bound":[148],"value":[152],"query,":[155],"proves":[157,171],"its":[158],"soundness;":[159],"(d)":[160],"fixpoint":[162],"programs,":[166],"based":[168],"it,":[170],"completeness":[173],"semantics;":[177],"(e)":[178],"several":[179],"applications":[180],"(f)":[187],"an":[188],"idea":[189],"implementing":[191],"system":[193],"execute":[195],"programs.":[199]},"counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}