{"id":"https://openalex.org/W2282023992","doi":null,"title":"Predicate Answer Set Programming with Coinduction","display_name":"Predicate Answer Set Programming with Coinduction","publication_year":2010,"publication_date":"2010-12-20","ids":{"openalex":"https://openalex.org/W2282023992","mag":"2282023992"},"language":"en","primary_location":{"id":"mag:2282023992","doi":null,"is_oa":false,"landing_page_url":"https://www.amazon.com/Predicate-Answer-Set-Programming-Coinduction/dp/3843365822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"book","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/A5067377863","display_name":"Gopal Gupta","orcid":"https://orcid.org/0000-0001-9727-0362","observed_orcids":["https://orcid.org/0000-0001-9727-0362"]},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gopal Gupta","raw_affiliation_strings":["The University of Texas at Dallas"],"raw_orcid":"https://orcid.org/0000-0001-9727-0362","affiliations":[{"raw_affiliation_string":"The University of Texas at Dallas","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036757709","display_name":"Richard Min","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard Min","raw_affiliation_strings":["The University of Texas at Dallas"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Dallas","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I162577319"],"apc_list":null,"apc_paid":null,"fwci":0.4048,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.68933333,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9976000189781189,"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.9976000189781189,"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.000699999975040555,"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/negation","display_name":"negation","score":0.8130000233650208},{"id":"https://openalex.org/keywords/non-monotonic-reasoning","display_name":"nonmonotonic reasoning","score":0.8799999952316284},{"id":"https://openalex.org/keywords/declarative-semantics","display_name":"declarative semantics","score":0.5809999704360962},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.8149999976158142},{"id":"https://openalex.org/keywords/asp-solvers","display_name":"ASP solvers","score":0.8169999718666077}],"concepts":[{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.8097405433654785},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7901262044906616},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7319107055664062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6671069860458374},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5727519392967224},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5327218770980835},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.5192503929138184},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.4823564887046814},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.46228599548339844},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.379025936126709},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3718630075454712},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.3705914616584778},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2886803150177002},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2382916510105133},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2282023992","doi":null,"is_oa":false,"landing_page_url":"https://www.amazon.com/Predicate-Answer-Set-Programming-Coinduction/dp/3843365822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"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":181,"referenced_works":["https://openalex.org/W6965820","https://openalex.org/W14274997","https://openalex.org/W46517763","https://openalex.org/W60619409","https://openalex.org/W73864267","https://openalex.org/W83671853","https://openalex.org/W90143897","https://openalex.org/W121190113","https://openalex.org/W125598877","https://openalex.org/W127451913","https://openalex.org/W133375989","https://openalex.org/W139008883","https://openalex.org/W168384132","https://openalex.org/W173759488","https://openalex.org/W197957271","https://openalex.org/W201914929","https://openalex.org/W204503899","https://openalex.org/W349962764","https://openalex.org/W963806165","https://openalex.org/W1279140112","https://openalex.org/W1481294694","https://openalex.org/W1487409515","https://openalex.org/W1491405159","https://openalex.org/W1494051470","https://openalex.org/W1494102861","https://openalex.org/W1495396426","https://openalex.org/W1498722751","https://openalex.org/W1503579182","https://openalex.org/W1504482310","https://openalex.org/W1504738844","https://openalex.org/W1505455772","https://openalex.org/W1506396519","https://openalex.org/W1511336005","https://openalex.org/W1511711492","https://openalex.org/W1519044014","https://openalex.org/W1520331889","https://openalex.org/W1523712082","https://openalex.org/W1524332517","https://openalex.org/W1526625950","https://openalex.org/W1530765221","https://openalex.org/W1536525036","https://openalex.org/W1541434994","https://openalex.org/W1543461272","https://openalex.org/W1547562281","https://openalex.org/W1549946801","https://openalex.org/W1552605223","https://openalex.org/W1555563750","https://openalex.org/W1557561422","https://openalex.org/W1559402073","https://openalex.org/W1560084034","https://openalex.org/W1562940416","https://openalex.org/W1566723378","https://openalex.org/W1567025285","https://openalex.org/W1568715102","https://openalex.org/W1568909857","https://openalex.org/W1569596742","https://openalex.org/W1570021672","https://openalex.org/W1572277334","https://openalex.org/W1572712485","https://openalex.org/W1578088218","https://openalex.org/W1589232796","https://openalex.org/W1589875904","https://openalex.org/W1592287058","https://openalex.org/W1600919542","https://openalex.org/W1602567617","https://openalex.org/W1603799276","https://openalex.org/W1606891084","https://openalex.org/W1607619406","https://openalex.org/W1627528933","https://openalex.org/W1639901403","https://openalex.org/W1663140555","https://openalex.org/W1667362966","https://openalex.org/W1672891595","https://openalex.org/W1694306392","https://openalex.org/W1720682562","https://openalex.org/W1732487661","https://openalex.org/W1733489975","https://openalex.org/W1751869754","https://openalex.org/W1757148883","https://openalex.org/W1764055246","https://openalex.org/W1765915613","https://openalex.org/W1766332311","https://openalex.org/W1794109234","https://openalex.org/W1809050960","https://openalex.org/W1848771705","https://openalex.org/W1924904173","https://openalex.org/W1968513265","https://openalex.org/W1969682671","https://openalex.org/W1970598347","https://openalex.org/W1975629841","https://openalex.org/W1976303542","https://openalex.org/W1977815811","https://openalex.org/W1979129485","https://openalex.org/W1984715534","https://openalex.org/W1985274317","https://openalex.org/W1985819576","https://openalex.org/W1991650963","https://openalex.org/W1993979893","https://openalex.org/W1999459111","https://openalex.org/W2003531456","https://openalex.org/W2003545826","https://openalex.org/W2004414305","https://openalex.org/W2005715553","https://openalex.org/W2010104109","https://openalex.org/W2010565190","https://openalex.org/W2011124182","https://openalex.org/W2011306767","https://openalex.org/W2017637575","https://openalex.org/W2018969105","https://openalex.org/W2021473914","https://openalex.org/W2023578426","https://openalex.org/W2026433347","https://openalex.org/W2026582799","https://openalex.org/W2035688359","https://openalex.org/W2035855976","https://openalex.org/W2037035101","https://openalex.org/W2038809129","https://openalex.org/W2041706386","https://openalex.org/W2046213250","https://openalex.org/W2048746006","https://openalex.org/W2049129243","https://openalex.org/W2054839338","https://openalex.org/W2056546032","https://openalex.org/W2056850725","https://openalex.org/W2057124712","https://openalex.org/W2061490938","https://openalex.org/W2062897452","https://openalex.org/W2069972706","https://openalex.org/W2070598037","https://openalex.org/W2071095465","https://openalex.org/W2072224912","https://openalex.org/W2072493788","https://openalex.org/W2073424542","https://openalex.org/W2076698873","https://openalex.org/W2078332702","https://openalex.org/W2084816568","https://openalex.org/W2087588854","https://openalex.org/W2089111669","https://openalex.org/W2090798572","https://openalex.org/W2091154692","https://openalex.org/W2092211394","https://openalex.org/W2097366413","https://openalex.org/W2100738443","https://openalex.org/W2105486835","https://openalex.org/W2106646548","https://openalex.org/W2108911687","https://openalex.org/W2111353076","https://openalex.org/W2111654715","https://openalex.org/W2113211405","https://openalex.org/W2113722134","https://openalex.org/W2114568665","https://openalex.org/W2115128204","https://openalex.org/W2122339611","https://openalex.org/W2127852846","https://openalex.org/W2132210624","https://openalex.org/W2137865376","https://openalex.org/W2141740710","https://openalex.org/W2143117796","https://openalex.org/W2143382644","https://openalex.org/W2152121662","https://openalex.org/W2152131859","https://openalex.org/W2155322595","https://openalex.org/W2158059231","https://openalex.org/W2158744037","https://openalex.org/W2173702800","https://openalex.org/W2173808493","https://openalex.org/W2337392266","https://openalex.org/W2399343913","https://openalex.org/W2474384703","https://openalex.org/W2475151412","https://openalex.org/W2612793397","https://openalex.org/W2912411308","https://openalex.org/W2913459036","https://openalex.org/W2945259913","https://openalex.org/W2954333904","https://openalex.org/W2977904728","https://openalex.org/W3146075203","https://openalex.org/W3152053308","https://openalex.org/W4206370914","https://openalex.org/W4410799177","https://openalex.org/W7100120274"],"related_works":["https://openalex.org/W2475151412","https://openalex.org/W1570021672","https://openalex.org/W7099088604","https://openalex.org/W173759488","https://openalex.org/W7100682993","https://openalex.org/W1559995437","https://openalex.org/W2281733131","https://openalex.org/W91024833","https://openalex.org/W1780080223","https://openalex.org/W1658739789"],"abstract_inverted_index":{"We":[0,17,38,106],"introduce":[1],"negation":[2],"into":[3],"coinductive":[4],"logic":[5,60],"programming":[6,53],"(co-LP)":[7],"via":[8],"what":[9],"we":[10],"term":[11],"Coinductive":[12],"SLDNF":[13],"(co-SLDNF":[14],")":[15],"resolution.":[16],"present":[18,27,107],"declarative":[19],"and":[20,26,35,110,128,147,155],"operational":[21],"semantics":[22],"of":[23,33,65,90,99,134],"co-SLDNF":[24,42,93],"resolution":[25,43,94],"their":[28],"equivalence":[29],"under":[30],"the":[31,97,122],"restriction":[32],"rationality":[34],"its":[36],"applications.":[37],"apply":[39],"co-LP":[40,91],"with":[41,77,92,117],"to":[44,71,113,158],"Answer":[45],"Set":[46],"Programming":[47],"(ASP).":[48],"ASP":[49,66,115,136,141,160],"is":[50,145],"a":[51,78,108,131],"powerful":[52],"paradigm":[54],"for":[55,104,124],"performing":[56],"nonmonotonic":[57],"reasoning":[58],"within":[59],"programming.":[61],"The":[62,88],"current":[63,159],"state":[64],"solvers":[67],"has":[68,95],"been":[69],"restricted":[70],"\u201cgrounded":[72],"range-restricted":[73],"function-free":[74],"normal":[75],"programs\u201d,":[76],"\u201cbottom-up\u201d":[79],"evaluation":[80,102],"strategy":[81],"(that":[82],"is,":[83],"not":[84],"goal-driven)":[85],"until":[86],"now.":[87],"introduction":[89],"enabled":[96],"development":[98],"top-down":[100,148],"goal":[101],"strategies":[103],"ASP.":[105],"novel":[109],"innovative":[111,154],"approach":[112],"solving":[114],"programs":[116,137],"co-LP.":[118],"Our":[119],"method":[120,150],"eliminates":[121],"need":[123],"grounding,":[125],"allows":[126],"functions,":[127],"effectively":[129],"handles":[130],"large":[132],"class":[133],"predicate":[135],"including":[138],"possibly":[139],"infinite":[140],"programs.":[142],"Moreover,":[143],"it":[144],"goal-directed":[146],"execution":[149],"that":[151],"provides":[152],"an":[153],"attractive":[156],"alternative":[157],"solver":[161],"technology.":[162]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"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"}