{"id":"https://openalex.org/W31419782","doi":null,"title":"Query answering under the Any-World Assumption for normal logic programs","display_name":"Query answering under the Any-World Assumption for normal logic programs","publication_year":2006,"publication_date":"2006-06-02","ids":{"openalex":"https://openalex.org/W31419782","mag":"31419782"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.522.5660","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.522.5660","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.aaai.org/Papers/KR/2006/KR06-035.pdf","raw_type":"text"},"volume":null,"type":"article","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/A5021966059","display_name":"Umberto Straccia","orcid":"https://orcid.org/0000-0001-5998-6757","observed_orcids":["https://orcid.org/0000-0001-5998-6757"]},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Umberto Straccia","raw_affiliation_strings":["ISTI--CNR, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0001-5998-6757","affiliations":[{"raw_affiliation_string":"ISTI--CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021966059"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":null,"apc_paid":null,"fwci":2.1213,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.8699178,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"329","last_page":"339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9965999722480774,"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.9965999722480774,"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.0008999999845400453,"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/T10215","display_name":"Semantic Web and Ontologies","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"}}],"keywords":[{"id":"https://openalex.org/keywords/normal-logic-programs","display_name":"normal logic programs","score":0.9319999814033508},{"id":"https://openalex.org/keywords/query-answering","display_name":"query answering","score":0.9700000286102295},{"id":"https://openalex.org/keywords/closed-world-assumption","display_name":"closed world assumption","score":0.8050000071525574},{"id":"https://openalex.org/keywords/open-world-assumption","display_name":"open world assumption","score":1.0},{"id":"https://openalex.org/keywords/bilattices","display_name":"bilattices","score":0.5260000228881836},{"id":"https://openalex.org/keywords/default-assumptions","display_name":"default assumptions","score":0.7279999852180481},{"id":"https://openalex.org/keywords/fixed-point-semantics","display_name":"fixed-point semantics","score":0.5910000205039978}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5966865420341492},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.558722734451294},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5273735523223877},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5002825260162354},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.4849574565887451},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.42550987005233765},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37163466215133667},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3443566560745239},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3232901692390442},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30970531702041626},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28167200088500977},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.24500933289527893},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.13217365741729736},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.12673553824424744},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.09622669219970703},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.522.5660","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.522.5660","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.aaai.org/Papers/KR/2006/KR06-035.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.66.5024","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.5024","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://gaia.isti.cnr.it/~straccia/download/papers/KR06/KR06.pdf","raw_type":"text"},{"id":"mag:31419782","doi":null,"is_oa":false,"landing_page_url":"https://www.aaai.org/Papers/KR/2006/KR06-035.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306420732","display_name":"Principles of Knowledge Representation and Reasoning","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":"Principles of Knowledge Representation and Reasoning","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W115237046","https://openalex.org/W136232721","https://openalex.org/W168384132","https://openalex.org/W192368243","https://openalex.org/W1279140112","https://openalex.org/W1487409515","https://openalex.org/W1512994821","https://openalex.org/W1514971878","https://openalex.org/W1526221803","https://openalex.org/W1541434994","https://openalex.org/W1552501472","https://openalex.org/W1564184705","https://openalex.org/W1565496223","https://openalex.org/W1571998101","https://openalex.org/W1580662449","https://openalex.org/W1592619431","https://openalex.org/W1672891595","https://openalex.org/W1848229861","https://openalex.org/W1968513265","https://openalex.org/W1979129485","https://openalex.org/W1980589711","https://openalex.org/W1995375207","https://openalex.org/W1996347293","https://openalex.org/W2001805670","https://openalex.org/W2003531456","https://openalex.org/W2011992362","https://openalex.org/W2022427243","https://openalex.org/W2027379370","https://openalex.org/W2036241121","https://openalex.org/W2037518358","https://openalex.org/W2070598037","https://openalex.org/W2076698873","https://openalex.org/W2089296451","https://openalex.org/W2093713825","https://openalex.org/W2099792091","https://openalex.org/W2102048877","https://openalex.org/W2110182592","https://openalex.org/W2129670563","https://openalex.org/W2151403295","https://openalex.org/W2155322595","https://openalex.org/W2156168740","https://openalex.org/W2158350199","https://openalex.org/W2167383908","https://openalex.org/W2169602487","https://openalex.org/W2170766543","https://openalex.org/W2277514732","https://openalex.org/W2611415697","https://openalex.org/W2945259913","https://openalex.org/W3163292956","https://openalex.org/W4206370914"],"related_works":["https://openalex.org/W1876907935","https://openalex.org/W2486078656","https://openalex.org/W2167383908","https://openalex.org/W2100344918","https://openalex.org/W2156168740","https://openalex.org/W1521860126","https://openalex.org/W157725840","https://openalex.org/W1522014353","https://openalex.org/W63164771","https://openalex.org/W1500623975"],"abstract_inverted_index":{"Recently,":[0],"in":[1,79],"(Loyer":[2,80],"&":[3,81],"Straccia":[4,82],"2005)":[5],"the":[6,21,30,54,74,84],"Any-World":[7],"Assumption":[8,27,33],"(AWA)":[9],"has":[10,76],"been":[11,77],"introduced":[12],"for":[13,69,100],"normal":[14,70],"logic":[15,71],"programs":[16,72],"as":[17],"a":[18,43,49,63,66,92],"generalization":[19],"of":[20,24,86],"well-known":[22],"notions":[23],"Closed":[25],"World":[26,32],"(CWA)":[28],"and":[29,56,65],"Open":[31],"(OWA).":[34],"The":[35],"AWA":[36,75],"allows":[37],"any":[38],"assignment":[39],"(i.e.":[40],"interpretation),":[41],"over":[42],"truth":[44],"space":[45],"(bi-lattice),":[46],"to":[47,90],"be":[48],"default":[50],"assumption":[51],"and,":[52],"thus,":[53],"CWA":[55],"OWA":[57],"are":[58],"just":[59],"special":[60],"cases.":[61],"While":[62],"declarative":[64],"fixed-point":[67],"characterization":[68],"under":[73],"given":[78],"2005),":[83],"topic":[85],"this":[87,101],"pa-per":[88],"is":[89],"provide":[91],"simple,":[93],"yet":[94],"general":[95],"top-down":[96],"query":[97],"answering":[98],"procedure":[99],"setting.":[102]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}