{"id":"https://openalex.org/W197257577","doi":null,"title":"Query answering in circumscriptive and closed-world theories","display_name":"Query answering in circumscriptive and closed-world theories","publication_year":1986,"publication_date":"1986-08-11","ids":{"openalex":"https://openalex.org/W197257577","mag":"197257577"},"language":"en","primary_location":{"id":"mag:197257577","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/aaai/aaai86-1.html#Przymusinski86","pdf_url":null,"source":{"id":"https://openalex.org/S4306420577","display_name":"National Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"National Conference on Artificial Intelligence","raw_type":null},"volume":null,"type":"conference-paper","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/A5112745453","display_name":"Teodor C. Przymusi\u0144ski","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Teodor C. Przymusi\u0144ski","raw_affiliation_strings":["Department of Mathematical Sciences, University of Texas, El Paso, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, University of Texas, El Paso, TX","institution_ids":["https://openalex.org/I164936912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5112745453"],"corresponding_institution_ids":["https://openalex.org/I164936912"],"apc_list":null,"apc_paid":null,"fwci":3.354,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.9430303,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"186","last_page":"190"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9984999895095825,"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.9984999895095825,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.00019999999494757503,"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":9.999999747378752e-05,"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/query-answering","display_name":"query answering","score":0.9900000095367432},{"id":"https://openalex.org/keywords/circumscription","display_name":"circumscription","score":0.9779999852180481},{"id":"https://openalex.org/keywords/closed-world-assumption","display_name":"closed world assumption","score":0.9919999837875366},{"id":"https://openalex.org/keywords/incomplete-information","display_name":"incomplete information","score":0.7009999752044678},{"id":"https://openalex.org/keywords/negative-information","display_name":"negative information","score":0.9419999718666077},{"id":"https://openalex.org/keywords/minimal-models","display_name":"minimal models","score":0.9169999957084656},{"id":"https://openalex.org/keywords/decidability","display_name":"decidability","score":0.5920000076293945}],"concepts":[{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.9270980954170227},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8452286720275879},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7124627828598022},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5531184673309326},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5113784670829773},{"id":"https://openalex.org/C2777146004","wikidata":"https://www.wikidata.org/wiki/Q14949826","display_name":"CLARITY","level":2,"score":0.5099273920059204},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.4454093873500824},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43283605575561523},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.41997548937797546},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3871052861213684},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37295496463775635},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3168294131755829},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10964512825012207},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:197257577","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/aaai/aaai86-1.html#Przymusinski86","pdf_url":null,"source":{"id":"https://openalex.org/S4306420577","display_name":"National Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"National Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W101701348","https://openalex.org/W189317106","https://openalex.org/W1279140112","https://openalex.org/W1496815773","https://openalex.org/W2000141049","https://openalex.org/W2039303449","https://openalex.org/W2058656940","https://openalex.org/W2090825759","https://openalex.org/W2092842298","https://openalex.org/W2143659798","https://openalex.org/W2411085520","https://openalex.org/W2911298501","https://openalex.org/W2913309218","https://openalex.org/W2945259913"],"related_works":["https://openalex.org/W7097852791","https://openalex.org/W2004352874","https://openalex.org/W2076380009","https://openalex.org/W7096943865","https://openalex.org/W2006098451","https://openalex.org/W2143659798","https://openalex.org/W2807880741","https://openalex.org/W1649706165","https://openalex.org/W3023887635","https://openalex.org/W2005984922"],"abstract_inverted_index":{"Among":[0],"various":[1],"approaches":[2],"to":[3,20,33,58,92,112,125],"handling":[4],"incomplete":[5],"and":[6,55,72,76],"negative":[7],"information":[8],"in":[9,36,95],"knowledge":[10],"representation":[11],"systems":[12],"based":[13,42],"on":[14,43],"predicate":[15],"logic,":[16],"McCarthy's":[17],"circumscription":[18],"appears":[19],"be":[21,79],"the":[22,98,104],"most":[23],"powerful.":[24],"In":[25],"this":[26],"paper":[27],"we":[28,108],"describe":[29],"a":[30,44,53,63,67,82,122],"decidable":[31],"algorithm":[32,40],"answer":[34],"queries":[35,94],"circumscriptive":[37],"theories.":[38],"The":[39],"is":[41],"modified":[45],"version":[46],"of":[47,85,106,115,128],"ordered":[48],"linear":[49],"resolution,":[50],"which":[51],"constitutes":[52],"sound":[54],"complete":[56],"procedure":[57],"determine":[59],"whether":[60],"there":[61],"exists":[62],"minimal":[64],"model":[65],"satisfying":[66],"given":[68],"formula.\r\n\r\nThe":[69],"Closed-World":[70,99],"Assumption":[71,100],"its":[73,102],"generalizations,":[74],"GCWA":[75],"ECWA,":[77],"can":[78],"considered":[80],"as":[81],"special":[83],"form":[84],"circumscription.":[86],"Consequently,":[87],"our":[88,110],"method":[89],"also":[90],"applies":[91],"answering":[93],"theories":[96,113,126],"using":[97],"or":[101],"generalizations.\r\n\r\nFor":[103],"sake":[105],"clarity,":[107],"restrict":[109],"attention":[111],"consisting":[114,127],"ground":[116],"clauses.":[117,130],"Our":[118],"algorithm,":[119],"however,":[120],"has":[121],"natural":[123],"extension":[124],"arbitrary":[129]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}