{"id":"https://openalex.org/W65050061","doi":"https://doi.org/10.1142/9789814360128_0008","title":"Negation Technique for Context-Free Grammars","display_name":"Negation Technique for Context-Free Grammars","publication_year":1991,"publication_date":"1991-09-01","ids":{"openalex":"https://openalex.org/W65050061","doi":"https://doi.org/10.1142/9789814360128_0008","mag":"65050061"},"language":"en","primary_location":{"id":"doi:10.1142/9789814360128_0008","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789814360128_0008","pdf_url":null,"source":{"id":"https://openalex.org/S4306464320","display_name":"WORLD SCIENTIFIC eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Science and Engineering","raw_type":"book-chapter"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/101661/1/0709-04.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014361326","display_name":"Yoshiyuki Yamashita","orcid":"https://orcid.org/0000-0003-0994-8095"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshiyuki YAMASHITA","raw_affiliation_strings":["Computer Centre, University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Centre, University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007379922","display_name":"Ikuo Nakata","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ikuo NAKATA","raw_affiliation_strings":["Institute of Information Sciences and Electronics, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Sciences and Electronics, Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03044693,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"709","issue":"709","first_page":"145","last_page":"163"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9995999932289124,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9995999932289124,"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/T10028","display_name":"Topic Modeling","score":0.9793000221252441,"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/T12031","display_name":"Speech and dialogue systems","score":0.9790999889373779,"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/negation","display_name":"Negation","score":0.7202783226966858},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.5839248299598694},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5770343542098999},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.5327909588813782},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.488164484500885},{"id":"https://openalex.org/keywords/embedded-pushdown-automaton","display_name":"Embedded pushdown automaton","score":0.4429800510406494},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44194677472114563},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"Tree-adjoining grammar","score":0.39843595027923584},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.39315086603164673},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3354080319404602},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.3330228328704834},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.12419173121452332},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.08789780735969543}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7202783226966858},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.5839248299598694},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5770343542098999},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.5327909588813782},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.488164484500885},{"id":"https://openalex.org/C27034413","wikidata":"https://www.wikidata.org/wiki/Q5370010","display_name":"Embedded pushdown automaton","level":5,"score":0.4429800510406494},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44194677472114563},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.39843595027923584},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.39315086603164673},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3354080319404602},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3330228328704834},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.12419173121452332},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.08789780735969543},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/9789814360128_0008","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789814360128_0008","pdf_url":null,"source":{"id":"https://openalex.org/S4306464320","display_name":"WORLD SCIENTIFIC eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Science and Engineering","raw_type":"book-chapter"},{"id":"pmh:oai:repository.kulib.kyoto-u.ac.jp:2433/101661","is_oa":true,"landing_page_url":"http://hdl.handle.net/2433/101661","pdf_url":"https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/101661/1/0709-04.pdf","source":{"id":"https://openalex.org/S4306401454","display_name":"Kyoto University Research Information Repository (Kyoto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I22299242","host_organization_name":"Kyoto University","host_organization_lineage":["https://openalex.org/I22299242"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Departmental Bulletin Paper"},{"id":"mag:65050061","is_oa":false,"landing_page_url":"https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/101661/1/0709-04.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:repository.kulib.kyoto-u.ac.jp:2433/101661","is_oa":true,"landing_page_url":"http://hdl.handle.net/2433/101661","pdf_url":"https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/101661/1/0709-04.pdf","source":{"id":"https://openalex.org/S4306401454","display_name":"Kyoto University Research Information Repository (Kyoto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I22299242","host_organization_name":"Kyoto University","host_organization_lineage":["https://openalex.org/I22299242"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Departmental Bulletin Paper"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W65050061.pdf","grobid_xml":"https://content.openalex.org/works/W65050061.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2900979629","https://openalex.org/W2546835595","https://openalex.org/W2184766718","https://openalex.org/W2403874525","https://openalex.org/W2795910101","https://openalex.org/W151421057","https://openalex.org/W2143932650","https://openalex.org/W1608157979","https://openalex.org/W194042362","https://openalex.org/W1550700413","https://openalex.org/W2950864824","https://openalex.org/W1540340719","https://openalex.org/W2006025162","https://openalex.org/W189798146","https://openalex.org/W2414358127","https://openalex.org/W2762295728","https://openalex.org/W2404991831","https://openalex.org/W2057548246","https://openalex.org/W3115930453","https://openalex.org/W78561208"],"abstract_inverted_index":{"709":[0],"1989":[1],"48-67":[2],"49":[3],"complementary":[4,20],"set":[5,26,33,264],"of":[6,19,27,34,56,59,80,86,89,145,166,178,209,265],"even":[7,272],"numbers":[8],"because":[9],"we":[10,53,183,188],"regard":[11],"the":[12,22,25,32,37,60,76,83,90,98,122,127,133,143,146,164,176,185,197,204,213,217,226,232,249,279],"negative":[13,61,186],"symbol":[14,62,124,158,194],"$\\sim$":[15],"as":[16,63,175,207,229],"a":[17,156,192,263],"kind":[18],"operator.If":[21],"universe":[23],"is":[24,31,51,97],"natural":[28],"numbers,":[29],"it":[30,235],"odd":[35,48],"numbers.Therefore":[36],"production":[38],"rule":[39,199],"$Oddarrow$":[40],"-Even,":[41],"can":[42,54,71,94,137,153,244,275],"be":[43,73,245,276],"interpreted":[44],"that":[45,132,208,239,282],"Odd":[46],"means":[47],"numbers.This":[49],"interpretation":[50,79],"simple.However,":[52],"think":[55],"another":[57],"use":[58],"follows,":[64],"$Whatarrow":[65,68],"0$":[66,289],",":[67,113,290],"s$":[69],"(-What).which":[70],"not":[72],"understood":[74],"with":[75],"above":[77],"naive":[78],"negation.We":[81],"need":[82],"complete":[84],"formulation":[85],"negation.Secondly,":[87],"one":[88],"formal":[91,134],"systems":[92],"which":[93,136],"treat":[95,138,151],"negation":[96,139],"symbolic":[99,147,233],"logic.In":[100],"this":[101,260,285],"system":[102,135],"so":[103],"called":[104],"De":[105],"Morgan's":[106],"law":[107,130],"holds,":[108],"namely":[109],"$\\sim(pvq)=\\sim":[110],"p\\wedge\\sim":[111],"q$":[112],"for":[114,269],"any":[115],"propositions":[116],"$p$":[117],"and":[118,140,170,180,196,216,255],"$q,$":[119],"$where\\wedge":[120],"is$":[121,126],"conjunctive":[123,193,215],"$and\\vee":[125],"disjunctive":[128,157,218],"symbol.This":[129],"suggests":[131],"disjunction":[141],"in":[142,163,220,231,284],"sense":[144,165],"logic":[148],"should":[149,189,202,224],"also":[150,190],"conjunction.We":[152],"easily":[154],"introduce":[155,184],"$1'$":[159],"'":[160],"into":[161,248,278,287],"CFGs":[162,223],"Backus":[167],"normal":[168],"form,":[169],"interpret":[171],"$Xarrow\\alpha$":[172,179],"I":[173],"$\\beta$":[174],"pair":[177],"$Xarrow\\beta$":[181],".If":[182],"symbol,":[187],"have":[191,203,225],"\"&,":[195],"following":[198],"$Parrow\\sim(\\alpha":[200],"1\\beta)$":[201],"same":[205,227],"meaning":[206],"P\\rightarrow":[210],"-cx&-\\beta":[211],".Furthermore,":[212],"negative,":[214],"operations":[219],"our":[221],"extended":[222],"features":[228],"those":[230],"logic.Thirdly,":[234],"has":[236],"been":[237],"known":[238],"every":[240],"definite":[241,266],"clause":[242,267],"program":[243],"automatically":[246],"transformed":[247,277],"equivalent":[250,280],"Coupled":[251],"Context-Free":[252],"Grammar":[253],"(CCFG)":[254],"vice":[256],"versa":[257],"$[YaNa1][YaNa2]$":[258],".By":[259],"transformation":[261],"rule,":[262],"program,":[268],"example":[270],"even(0),":[271],"$(s(s(X)))$":[273],":-even(X),":[274],"CFG,":[281],"is,":[283],"case":[286],"$Evenarrow":[288]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}