{"id":"https://openalex.org/W2692232979","doi":"https://doi.org/10.24963/ijcai.2017/682","title":"First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)","display_name":"First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)","publication_year":2017,"publication_date":"2017-07-28","ids":{"openalex":"https://openalex.org/W2692232979","doi":"https://doi.org/10.24963/ijcai.2017/682","mag":"2692232979"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2017/682","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/682","pdf_url":"https://www.ijcai.org/proceedings/2017/0682.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2017/0682.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074195056","display_name":"Amelia Harrison","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amelia Harrison","raw_affiliation_strings":["University of Texas","University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas","institution_ids":[]},{"raw_affiliation_string":"University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008816972","display_name":"Yuliya Lierler","orcid":"https://orcid.org/0000-0002-6146-623X"},"institutions":[{"id":"https://openalex.org/I122266389","display_name":"University of Nebraska at Omaha","ror":"https://ror.org/04yrkc140","country_code":"US","type":"education","lineage":["https://openalex.org/I122266389"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuliya Lierler","raw_affiliation_strings":["University of Nebraska at Omaha"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nebraska at Omaha","institution_ids":["https://openalex.org/I122266389"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.277,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.52608609,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"4859","last_page":"4863"},"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.9947999715805054,"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.9944999814033508,"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/conservative-extension","display_name":"Conservative extension","score":0.8580902218818665},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7913646697998047},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.743740975856781},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7090848684310913},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5971227288246155},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5942360162734985},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5714188814163208},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.553675651550293},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5008642673492432},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.47404882311820984},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.47329631447792053},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21330246329307556}],"concepts":[{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.8580902218818665},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7913646697998047},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.743740975856781},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7090848684310913},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5971227288246155},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5942360162734985},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5714188814163208},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.553675651550293},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5008642673492432},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.47404882311820984},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.47329631447792053},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21330246329307556},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2017/682","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/682","pdf_url":"https://www.ijcai.org/proceedings/2017/0682.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2017/682","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/682","pdf_url":"https://www.ijcai.org/proceedings/2017/0682.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2604041883","display_name":"RI: Small: Mathematical Analysis of an Answer Set Programming Language","funder_award_id":"1422455","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320333424","display_name":"University Research Committee, Emory University","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2692232979.pdf","grobid_xml":"https://content.openalex.org/works/W2692232979.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1526528721","https://openalex.org/W1672891595","https://openalex.org/W1800801472","https://openalex.org/W1985274317","https://openalex.org/W2087563242","https://openalex.org/W2092211394","https://openalex.org/W2105016364","https://openalex.org/W2134039900","https://openalex.org/W2249048248","https://openalex.org/W2949146001"],"related_works":["https://openalex.org/W2157334321","https://openalex.org/W1836559177","https://openalex.org/W2576194653","https://openalex.org/W1521860126","https://openalex.org/W1493824320","https://openalex.org/W1511336005","https://openalex.org/W2003151706","https://openalex.org/W50928870","https://openalex.org/W1542459781","https://openalex.org/W2174235632"],"abstract_inverted_index":{"This":[0,31,67],"paper":[1,74],"introduces":[2],"first-order":[3],"modular":[4,39],"logic":[5],"programs,":[6],"which":[7],"provide":[8],"a":[9,55,69,73],"way":[10],"of":[11,18,28,54,72],"viewing":[12],"answer":[13],"set":[14],"programs":[15,40],"as":[16,41,43],"consisting":[17],"many":[19],"independent,":[20],"meaningful":[21],"modules.":[22],"We":[23],"also":[24],"present":[25],"conservative":[26,56],"extensions":[27],"such":[29],"programs.":[30,46],"concept":[32],"helps":[33],"to":[34,61],"identify":[35],"strong":[36],"relationships":[37],"between":[38,44],"well":[42],"traditional":[45],"For":[47],"example,":[48],"we":[49],"illustrate":[50],"how":[51],"the":[52,63,78],"notion":[53],"extension":[57],"can":[58],"be":[59],"used":[60],"justify":[62],"common":[64],"projection":[65],"rewriting.":[66],"is":[68],"short":[70],"version":[71],"was":[75],"presented":[76],"at":[77],"32nd":[79],"International":[80],"Conference":[81],"on":[82],"Logic":[83],"Programming":[84],"(Harrison":[85],"and":[86],"Lierler,":[87],"2016).":[88]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}