{"id":"https://openalex.org/W2050512801","doi":"https://doi.org/10.1007/s10472-009-9117-x","title":"Consistency properties and set based logic programming","display_name":"Consistency properties and set based logic programming","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2050512801","doi":"https://doi.org/10.1007/s10472-009-9117-x","mag":"2050512801"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-009-9117-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-009-9117-x","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","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/A5082347461","display_name":"Anil Nerode","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Anil Nerode","raw_affiliation_strings":["Department of Mathematics, Cornell University, Ithaca, NY, 14853, USA","Department of Mathematics, Cornell University, Ithaca, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Cornell University, Ithaca, NY, 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Mathematics, Cornell University, Ithaca, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113511227","display_name":"Jeffrey B. Remmel","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffrey B. Remmel","raw_affiliation_strings":["Department of Computer Science, University of California at San Diego, La Jolla, CA, 92903, USA","Department of Mathematics, University of California at San Diego, La Jolla, CA, 92903, USA","Department of Mathematics, University of California at San Diego, La Jolla, USA","Department of Computer Science, University of California at San Diego, La Jolla, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California at San Diego, La Jolla, CA, 92903, USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Department of Mathematics, University of California at San Diego, La Jolla, CA, 92903, USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Department of Mathematics, University of California at San Diego, La Jolla, USA","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Department of Computer Science, University of California at San Diego, La Jolla, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082347461"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08146641,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"53","issue":"1-4","first_page":"289","last_page":"311"},"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/T10215","display_name":"Semantic Web and Ontologies","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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9951000213623047,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.755773663520813},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6988824605941772},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.6535189151763916},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5545192360877991},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.553210437297821},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.512208878993988},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.4507472813129425},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4486968517303467},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4433008134365082},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.435139536857605},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42885392904281616},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3855655789375305},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3748836815357208},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36935484409332275},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.35865509510040283},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35196202993392944},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3482344150543213},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.34654152393341064},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.2963574528694153},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.183571457862854},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1831449568271637}],"concepts":[{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.755773663520813},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6988824605941772},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.6535189151763916},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5545192360877991},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.553210437297821},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.512208878993988},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.4507472813129425},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4486968517303467},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4433008134365082},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.435139536857605},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42885392904281616},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3855655789375305},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3748836815357208},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36935484409332275},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.35865509510040283},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35196202993392944},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3482344150543213},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.34654152393341064},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2963574528694153},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.183571457862854},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1831449568271637},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10472-009-9117-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-009-9117-x","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W313043026","https://openalex.org/W627280605","https://openalex.org/W1486447085","https://openalex.org/W1572150856","https://openalex.org/W1606891084","https://openalex.org/W1639901403","https://openalex.org/W1672891595","https://openalex.org/W2003205306","https://openalex.org/W2034442203","https://openalex.org/W2067946622","https://openalex.org/W2152131859","https://openalex.org/W2155322595","https://openalex.org/W2482804480"],"related_works":["https://openalex.org/W2118908921","https://openalex.org/W2521563055","https://openalex.org/W2063499502","https://openalex.org/W2397930642","https://openalex.org/W60507602","https://openalex.org/W2590646851","https://openalex.org/W2544650017","https://openalex.org/W1507732441","https://openalex.org/W1993519655","https://openalex.org/W150743059"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}