{"id":"https://openalex.org/W1174953579","doi":"https://doi.org/10.1007/978-3-319-22002-4_4","title":"Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms","display_name":"Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W1174953579","doi":"https://doi.org/10.1007/978-3-319-22002-4_4","mag":"1174953579"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-22002-4_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-22002-4_4","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/A5039882261","display_name":"Mario Alviano","orcid":"https://orcid.org/0000-0002-2052-2063"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mario Alviano","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017101409","display_name":"Wolfgang Faber","orcid":"https://orcid.org/0000-0002-0330-5868"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wolfgang Faber","raw_affiliation_strings":["University of Huddersfield, Huddersfield, UK"],"affiliations":[{"raw_affiliation_string":"University of Huddersfield, Huddersfield, UK","institution_ids":["https://openalex.org/I133837150"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5039882261"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6819,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.67426857,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"30","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":1.0,"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":1.0,"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.996999979019165,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9959999918937683,"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/computer-science","display_name":"Computer science","score":0.7804859280586243},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.5410550832748413},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4617706835269928},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44134801626205444},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35670551657676697},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34790658950805664},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.29157739877700806},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1323586106300354},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.07733994722366333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7804859280586243},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.5410550832748413},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4617706835269928},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44134801626205444},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35670551657676697},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34790658950805664},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.29157739877700806},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1323586106300354},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.07733994722366333}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-22002-4_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-22002-4_4","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:eprints.hud.ac.uk:24889","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401852","display_name":"University of Huddersfield Repository (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Book Chapter"},{"id":"pmh:oai:pure.atira.dk:publications/7b911138-8a30-4817-ae7e-ad594519f813","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=84951155712&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Alviano, M & Faber, W 2015, Supportedly stable answer sets for logic programs with generalized atoms. in Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings. vol. 9209, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9209, Springer Verlag, pp. 30-44, 9th International Conference on Web Reasoning and Rule Systems, Berlin, Berlin, Germany, 4/08/15. https://doi.org/10.1007/978-3-319-22002-4_4","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W50549667","https://openalex.org/W165019675","https://openalex.org/W342706626","https://openalex.org/W1481719343","https://openalex.org/W1489954224","https://openalex.org/W1498546115","https://openalex.org/W1500460229","https://openalex.org/W1503635106","https://openalex.org/W1508718221","https://openalex.org/W1577827016","https://openalex.org/W1766332311","https://openalex.org/W1800801472","https://openalex.org/W2029702617","https://openalex.org/W2049791401","https://openalex.org/W2050890691","https://openalex.org/W2064864283","https://openalex.org/W2066812801","https://openalex.org/W2069156007","https://openalex.org/W2100983017","https://openalex.org/W2105869173","https://openalex.org/W2106500031","https://openalex.org/W2151485489","https://openalex.org/W2175390224","https://openalex.org/W2399332859","https://openalex.org/W2608239929","https://openalex.org/W3099886518","https://openalex.org/W3104588709"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2544423928","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2052122378","https://openalex.org/W2062023542","https://openalex.org/W4313731559"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}