{"id":"https://openalex.org/W2113835981","doi":"https://doi.org/10.1017/s1471068413000355","title":"Disjunctive logic programs with existential quantification in rule heads","display_name":"Disjunctive logic programs with existential quantification in rule heads","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W2113835981","doi":"https://doi.org/10.1017/s1471068413000355","mag":"2113835981"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068413000355","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068413000355","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/A5103160823","display_name":"Jia-Huai You","orcid":"https://orcid.org/0000-0001-9372-4371"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"JIA-HUAI YOU","raw_affiliation_strings":["University of Alberta, Edmonton T6G 2E8, Canada","University of Alberta"],"affiliations":[{"raw_affiliation_string":"University of Alberta, Edmonton T6G 2E8, Canada","institution_ids":["https://openalex.org/I154425047"]},{"raw_affiliation_string":"University of Alberta","institution_ids":["https://openalex.org/I154425047"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100373159","display_name":"Heng Zhang","orcid":"https://orcid.org/0000-0003-2159-9705"},"institutions":[{"id":"https://openalex.org/I63525965","display_name":"Western Sydney University","ror":"https://ror.org/03t52dk35","country_code":"AU","type":"education","lineage":["https://openalex.org/I63525965"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"HENG ZHANG","raw_affiliation_strings":["University of Western Sydney, Penrith, NSW 2751, Australia","University of Western Sydney"],"affiliations":[{"raw_affiliation_string":"University of Western Sydney, Penrith, NSW 2751, Australia","institution_ids":["https://openalex.org/I63525965"]},{"raw_affiliation_string":"University of Western Sydney","institution_ids":["https://openalex.org/I63525965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100456303","display_name":"Yan Zhang","orcid":"https://orcid.org/0000-0002-7329-0382"},"institutions":[{"id":"https://openalex.org/I63525965","display_name":"Western Sydney University","ror":"https://ror.org/03t52dk35","country_code":"AU","type":"education","lineage":["https://openalex.org/I63525965"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"YAN ZHANG","raw_affiliation_strings":["University of Western Sydney, Penrith, NSW 2751, Australia","University of Western Sydney"],"affiliations":[{"raw_affiliation_string":"University of Western Sydney, Penrith, NSW 2751, Australia","institution_ids":["https://openalex.org/I63525965"]},{"raw_affiliation_string":"University of Western Sydney","institution_ids":["https://openalex.org/I63525965"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103160823"],"corresponding_institution_ids":["https://openalex.org/I154425047"],"apc_list":null,"apc_paid":null,"fwci":1.4428,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.86252533,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"13","issue":"4-5","first_page":"563","last_page":"578"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9975000023841858,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9923999905586243,"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/decidability","display_name":"Decidability","score":0.8663930892944336},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.8288350105285645},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7288329601287842},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.6352410316467285},{"id":"https://openalex.org/keywords/existentialism","display_name":"Existentialism","score":0.5860791802406311},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5565638542175293},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.5374809503555298},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.42214399576187134},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37491321563720703},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.30882886052131653},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.2089431881904602},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.090221107006073}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8663930892944336},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8288350105285645},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7288329601287842},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.6352410316467285},{"id":"https://openalex.org/C127882523","wikidata":"https://www.wikidata.org/wiki/Q38066","display_name":"Existentialism","level":2,"score":0.5860791802406311},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5565638542175293},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.5374809503555298},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.42214399576187134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37491321563720703},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.30882886052131653},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2089431881904602},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.090221107006073},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068413000355","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068413000355","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W30003877","https://openalex.org/W92284009","https://openalex.org/W1496017402","https://openalex.org/W1591297108","https://openalex.org/W1672891595","https://openalex.org/W1746884077","https://openalex.org/W1925597182","https://openalex.org/W1976055110","https://openalex.org/W1986667059","https://openalex.org/W1988045490","https://openalex.org/W2001399171","https://openalex.org/W2005957522","https://openalex.org/W2007273639","https://openalex.org/W2017025480","https://openalex.org/W2022846948","https://openalex.org/W2044118198","https://openalex.org/W2045427198","https://openalex.org/W2098440172","https://openalex.org/W2102729564","https://openalex.org/W2105016364","https://openalex.org/W2109586917","https://openalex.org/W2115872603","https://openalex.org/W2125424848","https://openalex.org/W2134039900","https://openalex.org/W2145813209","https://openalex.org/W2152131859","https://openalex.org/W2156281487","https://openalex.org/W2156347478","https://openalex.org/W2160146772","https://openalex.org/W2211916015","https://openalex.org/W2295882966","https://openalex.org/W2399343913","https://openalex.org/W2752197104","https://openalex.org/W3124832616","https://openalex.org/W6637882594","https://openalex.org/W6654663888","https://openalex.org/W6676525859","https://openalex.org/W6683112287","https://openalex.org/W6712688321","https://openalex.org/W7015712883"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2962928105","https://openalex.org/W2170336571","https://openalex.org/W2020140696"],"abstract_inverted_index":{"Abstract":[0],"We":[1,123,152],"consider":[2],"disjunctive":[3,111,137],"logic":[4,62],"programs":[5,87,101,138],"without":[6],"function":[7],"symbols":[8],"but":[9],"with":[10,141],"existential":[11,46,142,166],"quantification":[12,143],"in":[13,30,55,145],"rule":[14,146],"heads,":[15],"under":[16],"the":[17,49,53,69,96,126,130,148],"semantics":[18],"of":[19,68,71,82,99,108,118,163],"general":[20],"stable":[21,83,97,121,131],"models.":[22,122],"There":[23],"are":[24],"at":[25],"least":[26],"two":[27],"interesting":[28,155],"prospects":[29],"these":[31,61,72,86,100],"programs.":[32,63,73],"The":[33],"first":[34],"is":[35,51,139],"that":[36,88],"a":[37,77,115,160],"program":[38],"can":[39,102],"be":[40,103],"made":[41],"more":[42],"succinct":[43],"by":[44,60,105,158],"using":[45],"variables,":[47],"and":[48],"second":[50],"on":[52],"potential":[54],"representing":[56],"defeasible":[57],"ontological":[58],"knowledge":[59],"This":[64],"paper":[65],"studies":[66],"some":[67],"properties":[70],"First,":[74],"we":[75],"show":[76],"simple":[78],"yet":[79],"intuitive":[80],"definition":[81],"models":[84,98],"for":[85,110,120,135],"does":[89],"not":[90],"resort":[91],"to":[92],"second-order":[93],"logic.":[94],"Second,":[95],"characterized":[104],"an":[106,154],"extension":[107],"progression":[109],"programs,":[112],"which":[113],"provides":[114],"native":[116],"characterization":[117],"justification":[119],"then":[124],"study":[125],"decidability":[127],"issue.":[128],"While":[129],"model":[132],"existence":[133],"problem":[134,149],"safe":[136],"decidable,":[140],"allowed":[144],"heads":[147],"becomes":[150],"undecidable.":[151],"identify":[153],"decidable":[156],"fragment":[157],"exploring":[159],"new":[161],"notion":[162],"stratification":[164],"over":[165],"quantification.":[167]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}