{"id":"https://openalex.org/W2963895714","doi":"https://doi.org/10.1017/s1471068416000326","title":"Paraconsistency and word puzzles","display_name":"Paraconsistency and word puzzles","publication_year":2016,"publication_date":"2016-09-01","ids":{"openalex":"https://openalex.org/W2963895714","doi":"https://doi.org/10.1017/s1471068416000326","mag":"2963895714"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068416000326","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068416000326","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/A5005579782","display_name":"Tiantian Gao","orcid":"https://orcid.org/0000-0002-2056-5784"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"TIANTIAN GAO","raw_affiliation_strings":["Stony Brook University, New York, USA (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University, New York, USA (e-mail:","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013114471","display_name":"Paul Fodor","orcid":"https://orcid.org/0000-0002-2978-676X"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"PAUL FODOR","raw_affiliation_strings":["Stony Brook University, New York, USA (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University, New York, USA (e-mail:","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059918476","display_name":"Michael Kifer","orcid":"https://orcid.org/0000-0003-3177-5792"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MICHAEL KIFER","raw_affiliation_strings":["Stony Brook University, New York, USA (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University, New York, USA (e-mail:","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I59553526"],"apc_list":null,"apc_paid":null,"fwci":0.4331,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.82191622,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"16","issue":"5-6","first_page":"703","last_page":"720"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9976999759674072,"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.9965999722480774,"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.7932759523391724},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.5613232851028442},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.5480853915214539},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4999814033508301},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4821488559246063},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4729568362236023},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.46079736948013306},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4334682822227478},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4224318265914917},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4154413938522339},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3840186595916748},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.2940256893634796},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.2922476530075073},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.11665815114974976},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09326431155204773}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7932759523391724},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.5613232851028442},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.5480853915214539},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4999814033508301},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4821488559246063},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4729568362236023},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.46079736948013306},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4334682822227478},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4224318265914917},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4154413938522339},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3840186595916748},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2940256893634796},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.2922476530075073},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.11665815114974976},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09326431155204773},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068416000326","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068416000326","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":[{"id":"https://metadata.un.org/sdg/4","score":0.7400000095367432,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W136232721","https://openalex.org/W1482532598","https://openalex.org/W1487409515","https://openalex.org/W1536822850","https://openalex.org/W1577536563","https://openalex.org/W1597596662","https://openalex.org/W1607801167","https://openalex.org/W1980589711","https://openalex.org/W2011184850","https://openalex.org/W2135380458","https://openalex.org/W2141261170","https://openalex.org/W2142616542","https://openalex.org/W2152754327","https://openalex.org/W2546408443","https://openalex.org/W2625406132","https://openalex.org/W2736446878","https://openalex.org/W3015761148","https://openalex.org/W4234048930","https://openalex.org/W4236428523","https://openalex.org/W6722195822"],"related_works":["https://openalex.org/W1995761317","https://openalex.org/W4210846614","https://openalex.org/W1535709177","https://openalex.org/W2830670145","https://openalex.org/W3047081339","https://openalex.org/W4210459994","https://openalex.org/W1503070883","https://openalex.org/W2171306597","https://openalex.org/W4323929292","https://openalex.org/W1784292258"],"abstract_inverted_index":{"Abstract":[0],"Word":[1],"puzzles":[2,87,150],"and":[3,28,59,91,111,134,213,217,243,261],"the":[4,17,37,61,74,82,99,117,167,171,226],"problem":[5,38],"of":[6,39,56,63,85,102,124,162,174,252],"their":[7],"representations":[8,42,90,173],"in":[9,16,69,148,154,182,236,254],"logic":[10],"languages":[11],"have":[12],"received":[13],"considerable":[14],"attention":[15],"last":[18],"decade":[19],"(Ponnuru":[20],"et":[21,209,257,266],"al":[22,210,258,267],".":[23,211,259,268],"2004;":[24],"Shapiro":[25],"2011;":[26],"Baral":[27],"Dzifcak":[29],"2012;":[30],"Schwitter":[31,218],"2013).":[32],"Of":[33],"special":[34],"interest":[35],"is":[36,72,77,189],"generating":[40],"such":[41,80,202],"directly":[43],"from":[44],"natural":[45,50],"language":[46,51],"(NL)":[47],"or":[48],"controlled":[49],"(CNL).":[52],"An":[53],"interesting":[54],"variation":[55,68],"this":[57,70,95,246,250],"problem,":[58],"to":[60,114,165,248],"best":[62],"our":[64],"knowledge,":[65],"scarcely":[66],"explored":[67],"context,":[71],"when":[73,186],"input":[75],"information":[76,188],"inconsistent.":[78],"In":[79,94],"situations,":[81],"existing":[83,199],"encodings":[84],"word":[86,149],"produce":[88],"inconsistent":[89,187],"break":[92],"down.":[93],"paper,":[96],"we":[97,221,244],"bring":[98],"well-known":[100],"type":[101],"paraconsistent":[103],"logics,":[104],"called":[105,129],"Annotated":[106],"Predicate":[107],"Calculus":[108],"(APC)":[109],"(Kifer":[110],"Lozinskii":[112],"1992),":[113],"bear":[115],"on":[116],"problem.":[118],"We":[119,157],"introduce":[120],"a":[121,141,160],"new":[122],"kind":[123],"non-monotonic":[125],"semantics":[126,231],"for":[127,144],"APC,":[128],"consistency":[130,227],"preferred":[131,228],"stable":[132,229,241],"models":[133],"argue":[135],"that":[136,223],"it":[137],"makes":[138],"APC":[139,224,253],"into":[140,191,198],"suitable":[142],"platform":[143],"dealing":[145],"with":[146,225,238],"inconsistency":[147],"and,":[151],"more":[152],"generally,":[153],"NL":[155,175],"sentences.":[156],"also":[158],"devise":[159],"number":[161],"general":[163],"principles":[164,194],"help":[166],"user":[168],"choose":[169],"among":[170],"different":[172],"sentences,":[176],"which":[177],"might":[178],"seem":[179],"equivalent":[180],"but,":[181],"fact,":[183],"behave":[184],"differently":[185],"taken":[190],"account.":[192],"These":[193],"can":[195,232],"be":[196,233],"incorporated":[197],"CNL":[200],"translators,":[201],"as":[203],"Attempto":[204],"Controlled":[205],"English":[206],"(ACE)":[207],"(Fuchs":[208],"2008)":[212],"PENG":[214],"Light":[215],"(White":[216],"2009).":[219],"Finally,":[220],"show":[222],"model":[230],"equivalently":[234],"embedded":[235],"ASP":[237],"preferences":[239],"over":[240],"models,":[242],"use":[245],"embedding":[247],"implement":[249],"version":[251],"Clingo":[255],"(Gebser":[256],"2011)":[260],"its":[262],"Asprin":[263],"add-on":[264],"(Brewka":[265],"2015).":[269]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}