{"id":"https://openalex.org/W4320024203","doi":"https://doi.org/10.1109/bigdata55660.2022.10020810","title":"A TABOO-NOT in OPEN World Assumption for A Natural Language based Logic Programming","display_name":"A TABOO-NOT in OPEN World Assumption for A Natural Language based Logic Programming","publication_year":2022,"publication_date":"2022-12-17","ids":{"openalex":"https://openalex.org/W4320024203","doi":"https://doi.org/10.1109/bigdata55660.2022.10020810"},"language":"en","primary_location":{"id":"doi:10.1109/bigdata55660.2022.10020810","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/bigdata55660.2022.10020810","pdf_url":null,"source":{"id":"https://openalex.org/S4363607709","display_name":"2022 IEEE International Conference on Big Data (Big Data)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE International Conference on Big Data (Big Data)","raw_type":"proceedings-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/A5020792017","display_name":"Keisuke Nakamura","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Keisuke Nakamura","raw_affiliation_strings":["KnowrelSystem, Inc.,Development and Sales room,Kanazawa-shi, Ishikawa-ken,Japan","Development and Sales room, KnowrelSystem, Inc., Kanazawa-shi, Ishikawa-ken, Japan"],"affiliations":[{"raw_affiliation_string":"KnowrelSystem, Inc.,Development and Sales room,Kanazawa-shi, Ishikawa-ken,Japan","institution_ids":[]},{"raw_affiliation_string":"Development and Sales room, KnowrelSystem, Inc., Kanazawa-shi, Ishikawa-ken, Japan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048326131","display_name":"Tatsuyoshi Ando","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tatsuyoshi Ando","raw_affiliation_strings":["KnowrelSystem, Inc.,Development and Sales room,Kanazawa-shi, Ishikawa-ken,Japan","Development and Sales room, KnowrelSystem, Inc., Kanazawa-shi, Ishikawa-ken, Japan"],"affiliations":[{"raw_affiliation_string":"KnowrelSystem, Inc.,Development and Sales room,Kanazawa-shi, Ishikawa-ken,Japan","institution_ids":[]},{"raw_affiliation_string":"Development and Sales room, KnowrelSystem, Inc., Kanazawa-shi, Ishikawa-ken, Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020792017"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1039,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.35811248,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"5140","last_page":"5144"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9901999831199646,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9901999831199646,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9212999939918518,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/taboo","display_name":"Taboo","score":0.7686441540718079},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6418177485466003},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5970476865768433},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.5759292840957642},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.5241430401802063},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4493834376335144},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.4407663643360138},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.42671605944633484},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40730738639831543},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3708791434764862},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.35682475566864014},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.1719743013381958},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.16989946365356445},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.09641653299331665},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.0962180495262146},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.08996838331222534}],"concepts":[{"id":"https://openalex.org/C2776323365","wikidata":"https://www.wikidata.org/wiki/Q171180","display_name":"Taboo","level":2,"score":0.7686441540718079},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6418177485466003},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5970476865768433},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.5759292840957642},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5241430401802063},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4493834376335144},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.4407663643360138},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.42671605944633484},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40730738639831543},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3708791434764862},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.35682475566864014},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.1719743013381958},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.16989946365356445},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.09641653299331665},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0962180495262146},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.08996838331222534},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/bigdata55660.2022.10020810","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/bigdata55660.2022.10020810","pdf_url":null,"source":{"id":"https://openalex.org/S4363607709","display_name":"2022 IEEE International Conference on Big Data (Big Data)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE International Conference on Big Data (Big Data)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W2951765218","https://openalex.org/W4232308400","https://openalex.org/W4240750094"],"related_works":["https://openalex.org/W1596105581","https://openalex.org/W4214701509","https://openalex.org/W4212824748","https://openalex.org/W2077585551","https://openalex.org/W1999702466","https://openalex.org/W1481700938","https://openalex.org/W2741053223","https://openalex.org/W1849174213","https://openalex.org/W592311106","https://openalex.org/W4319165641"],"abstract_inverted_index":{"Traditional":[0],"logic":[1],"programs":[2],"are":[3,26,38,56,191],"written":[4,57],"in":[5,20,59,106,114,135,144],"some":[6,112],"formal":[7],"languages":[8,63],"easy":[9],"to":[10,33,73],"\u201cunify\u201d":[11],"each":[12],"other":[13,45],"or":[14],"symbol":[15],"based":[16],"ones":[17],"such":[18,79,91,122],"as":[19,41,97,121,124,131,143],"Prolog,":[21],"and":[22,37,54,71,76,189,198],"their":[23],"\u201cNOT\u201d":[24],"mechanisms":[25],"\u201cnegation":[27],"by":[28,93,126],"failure":[29,127],"of":[30,90,128,137,182],"proof\u201d":[31],"according":[32],"\u201cCLOSED":[34],"world":[35,146],"assumption\u201d":[36],"not":[39],"assumed":[40],"\u201ctrue":[42],"negation\u201ds.On":[43],"the":[44,65,88,95,107,132,168,172,174,194,201],"hand,":[46],"we":[47,81],"suppose":[48],"that":[49,83,110],"BigData":[50],"for":[51,68,186],"moral,":[52],"ethics":[53],"values":[55],"originally":[58],"various":[60],"different":[61,141,165],"natural":[62,195],"over":[64],"world.In":[66],"order":[67],"both":[69],"human":[70,85],"AI":[72],"easily":[74],"understand":[75],"automatically":[77],"operate":[78],"BigData,":[80],"hope":[82],"(1)":[84],"could":[86],"logic-program":[87],"contents":[89],"Big-Data,":[92],"semi-dead-copying":[94],"original-natural-language-texts":[96],"\"logic-programs\"":[98],"without":[99],"hard":[100],"translation,":[101],"formalization":[102],"and/or":[103],"normalization,(2)":[104],"\u201cNOT\u201ds":[105],"language":[108,196],"text":[109],"mean":[111],"TABOOs":[113],"any":[115,149,152],"culture":[116,154,170],"shall":[117,155],"be":[118,156],"operated":[119],"correctly":[120],"(not":[123],"\u201cnegataion":[125],"proof\u201ds":[129],"but":[130],"TABOOs)":[133],"even":[134,159],"case":[136],"concretizing":[138],"objects":[139],"from":[140,151,164],"cultures,":[142],"OPEN":[145],"assumption,":[147],"because":[148],"TABOO":[150],"one":[153,169],"rigidly":[157],"respected,":[158],"during":[160],"meetings":[161],"between":[162],"people":[163],"cultures":[166],"including":[167],"with":[171],"TABOO.For":[173],"above":[175,202],"purpose,":[176],"this":[177],"document":[178],"explains":[179,200],"a":[180],"method":[181],"natural-language-based-logic-programming":[183],"where":[184],"variables":[185],"knowledge":[187],"abstraction":[188],"concretization":[190],"embedded":[192],"into":[193],"texts,":[197],"also":[199],"strong":[203],"\"TABOO-NOT\"":[204],"implementation":[205],"therefor.":[206]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}