{"id":"https://openalex.org/W2113211405","doi":null,"title":"Credulous resolution for answer set programming","display_name":"Credulous resolution for answer set programming","publication_year":2008,"publication_date":"2008-07-13","ids":{"openalex":"https://openalex.org/W2113211405","mag":"2113211405"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.219.7505","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.7505","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.nmsu.edu/~tson/papers/AAAI13BonattiP.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/A5046243825","display_name":"Piero A. Bonatti","orcid":"https://orcid.org/0000-0003-1436-5660","observed_orcids":["https://orcid.org/0000-0003-1436-5660"]},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Piero A. Bonatti","raw_affiliation_strings":["Dip. di Scienze Fisiche, Sezione di Informatica, Universit\u00e0 di Napoli Federico II, Napoli, Italy#TAB#"],"raw_orcid":"https://orcid.org/0000-0003-1436-5660","affiliations":[{"raw_affiliation_string":"Dip. di Scienze Fisiche, Sezione di Informatica, Universit\u00e0 di Napoli Federico II, Napoli, Italy#TAB#","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024528910","display_name":"Enrico Pontelli","orcid":"https://orcid.org/0000-0002-7753-1737","observed_orcids":["https://orcid.org/0000-0002-7753-1737"]},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Enrico Pontelli","raw_affiliation_strings":["Department of Computer Science, New Mexico State University, Las Cruces, NM"],"raw_orcid":"https://orcid.org/0000-0002-7753-1737","affiliations":[{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, Las Cruces, NM","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063459912","display_name":"Tran Cao Son","orcid":"https://orcid.org/0000-0003-3689-8433","observed_orcids":["https://orcid.org/0000-0003-3689-8433"]},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tran Cao Son","raw_affiliation_strings":["Department of Computer Science, New Mexico State University, Las Cruces, NM"],"raw_orcid":"https://orcid.org/0000-0003-3689-8433","affiliations":[{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, Las Cruces, NM","institution_ids":["https://openalex.org/I10052268"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7963,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.91145366,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"418","last_page":"423"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980000257492065,"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.9980000257492065,"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/T10126","display_name":"Logic, programming, and type systems","score":0.00039999998989515007,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.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/credulous-reasoning","display_name":"credulous reasoning","score":0.9539999961853027},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"answer set programming","score":0.824999988079071},{"id":"https://openalex.org/keywords/resolution-calculus","display_name":"resolution calculus","score":0.828000009059906},{"id":"https://openalex.org/keywords/sld-resolution","display_name":"SLD-resolution","score":0.7900000214576721},{"id":"https://openalex.org/keywords/query-answering","display_name":"query answering","score":0.8100000023841858},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.8830000162124634},{"id":"https://openalex.org/keywords/choice-rules","display_name":"choice rules","score":0.9290000200271606},{"id":"https://openalex.org/keywords/constraints","display_name":"constraints","score":0.5950000286102295},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.5040000081062317}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8706076145172119},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.7793523073196411},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7595255374908447},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7409982681274414},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7259016633033752},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6714909672737122},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6449506282806396},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.511671781539917},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3559379577636719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16520854830741882},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.219.7505","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.7505","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.nmsu.edu/~tson/papers/AAAI13BonattiP.pdf","raw_type":"text"},{"id":"mag:2113211405","doi":null,"is_oa":false,"landing_page_url":"https://www.aaai.org/Papers/AAAI/2008/AAAI08-066.pdf","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":17,"referenced_works":["https://openalex.org/W211091001","https://openalex.org/W1497192272","https://openalex.org/W1530816382","https://openalex.org/W1536278125","https://openalex.org/W1541434994","https://openalex.org/W1627528933","https://openalex.org/W1639901403","https://openalex.org/W1648841277","https://openalex.org/W1672891595","https://openalex.org/W1720682562","https://openalex.org/W1981948868","https://openalex.org/W1987080413","https://openalex.org/W2011124182","https://openalex.org/W2014205104","https://openalex.org/W2049129243","https://openalex.org/W2119055724","https://openalex.org/W2152131859"],"related_works":["https://openalex.org/W7099141984","https://openalex.org/W91024833","https://openalex.org/W1569435728","https://openalex.org/W2728676088","https://openalex.org/W7097382942","https://openalex.org/W3177450816","https://openalex.org/W2147104186","https://openalex.org/W7097976468","https://openalex.org/W7095414215","https://openalex.org/W4386211478"],"abstract_inverted_index":{"The":[0,15,32,67,90],"paper":[1,91],"presents":[2],"a":[3,19,98],"calculus":[4],"based":[5],"on":[6],"resolution":[7,35,57,68],"for":[8,55,61,100],"credulous":[9,34,101],"reasoning":[10,102],"in":[11,25,39,80,103],"Answer":[12,81,104],"Set":[13,82,105],"Programming.":[14,106],"new":[16],"approach":[17],"allows":[18],"top-down":[20],"and":[21,44,47,52,88],"goal":[22],"directed":[23],"resolution,":[24],"the":[26,56],"same":[27],"spirit":[28],"as":[29,85],"traditional":[30,76],"SLD-resolution.":[31],"proposed":[33],"can":[36],"be":[37],"used":[38,79],"query-answering":[40],"with":[41,45],"nonground":[42],"queries":[43],"non-ground,":[46],"possibly":[48],"infinite,":[49],"programs.":[50,66],"Soundness":[51],"completeness":[53],"results":[54],"procedure":[58,69],"are":[59],"proved":[60],"large":[62],"classes":[63],"of":[64,97],"logic":[65],"is":[70],"also":[71,92],"extended":[72],"to":[73],"handle":[74],"some":[75],"syntactic":[77],"extensions":[78],"Programming,":[83],"such":[84],"choice":[86],"rules":[87],"constraints.":[89],"describes":[93],"an":[94],"initial":[95],"implementation":[96],"system":[99]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}