{"id":"https://openalex.org/W1526885614","doi":"https://doi.org/10.1007/bfb0030666","title":"Computing stable and partial stable models of extended disjunctive logic programs","display_name":"Computing stable and partial stable models of extended disjunctive logic programs","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1526885614","doi":"https://doi.org/10.1007/bfb0030666","mag":"1526885614"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0030666","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0030666","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5041714557","display_name":"Carolina Ruiz","orcid":"https://orcid.org/0000-0001-9997-2536"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Carolina Ruiz","raw_affiliation_strings":["Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, 20742, College Park, MD, USA","Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, 20742, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078013111","display_name":"Jack Minker","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jack Minker","raw_affiliation_strings":["Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, 20742, College Park, MD, USA","Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, 20742, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041714557"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.7268,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.92644276,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"205","last_page":"229"},"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.9987999796867371,"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.9962000250816345,"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/stable-model-semantics","display_name":"Stable model semantics","score":0.9508001804351807},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.7344812154769897},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.7335554957389832},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6858656406402588},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"Partial evaluation","score":0.5787434577941895},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.558059573173523},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5288984179496765},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5135145783424377},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46858662366867065},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.4438393712043762},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.43801528215408325},{"id":"https://openalex.org/keywords/disjunctive-normal-form","display_name":"Disjunctive normal form","score":0.4334322214126587},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.42625465989112854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40219834446907043},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3400965929031372},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2643848657608032},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.20554882287979126},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.07894828915596008}],"concepts":[{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.9508001804351807},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.7344812154769897},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7335554957389832},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6858656406402588},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.5787434577941895},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.558059573173523},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5288984179496765},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5135145783424377},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46858662366867065},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.4438393712043762},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.43801528215408325},{"id":"https://openalex.org/C136726353","wikidata":"https://www.wikidata.org/wiki/Q903789","display_name":"Disjunctive normal form","level":2,"score":0.4334322214126587},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.42625465989112854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40219834446907043},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3400965929031372},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2643848657608032},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.20554882287979126},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.07894828915596008}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bfb0030666","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0030666","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:drum.lib.umd.edu:1903/722","is_oa":false,"landing_page_url":"http://hdl.handle.net/1903/722","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Technical Report"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.4000000059604645,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W72396871","https://openalex.org/W349962764","https://openalex.org/W1542916848","https://openalex.org/W1564814748","https://openalex.org/W1606754801","https://openalex.org/W1672891595","https://openalex.org/W1979129485","https://openalex.org/W2003531456","https://openalex.org/W2070455216","https://openalex.org/W2082367267","https://openalex.org/W2082945161","https://openalex.org/W2085084839","https://openalex.org/W2085592760","https://openalex.org/W2753176400","https://openalex.org/W6637298476","https://openalex.org/W7037065903"],"related_works":["https://openalex.org/W2176973685","https://openalex.org/W2124627636","https://openalex.org/W2403737729","https://openalex.org/W1533155510","https://openalex.org/W2065755686","https://openalex.org/W1482272107","https://openalex.org/W2544650017","https://openalex.org/W4388968112","https://openalex.org/W1526885614","https://openalex.org/W2056850725"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}