{"id":"https://openalex.org/W2022128215","doi":"https://doi.org/10.1016/0020-0190(92)90052-w","title":"Relating minimal models and pre-requisite-free normal defaults","display_name":"Relating minimal models and pre-requisite-free normal defaults","publication_year":1992,"publication_date":"1992-11-01","ids":{"openalex":"https://openalex.org/W2022128215","doi":"https://doi.org/10.1016/0020-0190(92)90052-w","mag":"2022128215"},"language":"en","primary_location":{"id":"doi:10.1016/0020-0190(92)90052-w","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0020-0190(92)90052-w","pdf_url":null,"source":{"id":"https://openalex.org/S147953040","display_name":"Information Processing Letters","issn_l":"0020-0190","issn":["0020-0190","1872-6119"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Processing Letters","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/A5105652031","display_name":"Jorge Lobo","orcid":"https://orcid.org/0000-0002-9438-0926"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jorge Lobo","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Illinois, Chicago, IL 60680, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois, Chicago, IL 60680, USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038645035","display_name":"V. S. Subrahmanian","orcid":"https://orcid.org/0000-0001-7191-0296"},"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":"V.S. Subrahmanian","raw_affiliation_strings":["Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, MD 20742, USA","Department of Computer Science and Institute for Advanced Computer Studies,University of Maryland, College Park, MD 20742, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, MD 20742, 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, MD 20742, USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038645035","https://openalex.org/A5105652031"],"corresponding_institution_ids":["https://openalex.org/I39422238","https://openalex.org/I66946132"],"apc_list":{"value":2040,"currency":"USD","value_usd":2040},"apc_paid":null,"fwci":1.1115,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.81710424,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"44","issue":"3","first_page":"129","last_page":"133"},"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.9984999895095825,"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.998199999332428,"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/default-logic","display_name":"Default logic","score":0.7142120599746704},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.6585747003555298},{"id":"https://openalex.org/keywords/default","display_name":"Default","score":0.6086406111717224},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.5804484486579895},{"id":"https://openalex.org/keywords/minimal-models","display_name":"Minimal models","score":0.5277565121650696},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4795075058937073},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4259951114654541},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4043664336204529},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38706886768341064},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38350242376327515},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35969772934913635},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3360499143600464},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.27762043476104736},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.18128058314323425},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1708141267299652},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16196948289871216},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.15112504363059998},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12785783410072327},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.07031366229057312}],"concepts":[{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.7142120599746704},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.6585747003555298},{"id":"https://openalex.org/C69637215","wikidata":"https://www.wikidata.org/wiki/Q702362","display_name":"Default","level":2,"score":0.6086406111717224},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.5804484486579895},{"id":"https://openalex.org/C2778681612","wikidata":"https://www.wikidata.org/wiki/Q15427593","display_name":"Minimal models","level":2,"score":0.5277565121650696},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4795075058937073},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4259951114654541},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4043664336204529},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38706886768341064},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38350242376327515},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35969772934913635},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3360499143600464},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.27762043476104736},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.18128058314323425},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1708141267299652},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16196948289871216},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.15112504363059998},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12785783410072327},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.07031366229057312},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0020-0190(92)90052-w","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0020-0190(92)90052-w","pdf_url":null,"source":{"id":"https://openalex.org/S147953040","display_name":"Information Processing Letters","issn_l":"0020-0190","issn":["0020-0190","1872-6119"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Processing Letters","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":22,"referenced_works":["https://openalex.org/W3747978","https://openalex.org/W128301608","https://openalex.org/W156747920","https://openalex.org/W192651373","https://openalex.org/W1505241859","https://openalex.org/W1524811847","https://openalex.org/W1672891595","https://openalex.org/W1906451465","https://openalex.org/W2008294142","https://openalex.org/W2029246084","https://openalex.org/W2067326626","https://openalex.org/W2082367267","https://openalex.org/W2091433498","https://openalex.org/W2106649793","https://openalex.org/W2155322595","https://openalex.org/W2331930889","https://openalex.org/W2411085520","https://openalex.org/W2612793397","https://openalex.org/W6600155218","https://openalex.org/W6606520095","https://openalex.org/W6631188490","https://openalex.org/W6637298476"],"related_works":["https://openalex.org/W2155322595","https://openalex.org/W157785659","https://openalex.org/W2124620840","https://openalex.org/W1546460049","https://openalex.org/W43037849","https://openalex.org/W313521069","https://openalex.org/W2003879797","https://openalex.org/W148181624","https://openalex.org/W2054201370","https://openalex.org/W2001082547"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}