{"id":"https://openalex.org/W2989366559","doi":"https://doi.org/10.1007/s10472-009-9161-6","title":"General default logic","display_name":"General default logic","publication_year":2009,"publication_date":"2009-09-28","ids":{"openalex":"https://openalex.org/W2989366559","doi":"https://doi.org/10.1007/s10472-009-9161-6","mag":"2989366559"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-009-9161-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-009-9161-6","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/A5101839113","display_name":"Yi Zhou","orcid":"https://orcid.org/0000-0002-4206-4163"},"institutions":[{"id":"https://openalex.org/I63525965","display_name":"Western Sydney University","ror":"https://ror.org/03t52dk35","country_code":"AU","type":"education","lineage":["https://openalex.org/I63525965"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Yi Zhou","raw_affiliation_strings":["Intelligent Systems Lab, School of Computing and Mathematics, University of Western Sydney, Sydney, New South Wales, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intelligent Systems Lab, School of Computing and Mathematics, University of Western Sydney, Sydney, New South Wales, Australia","institution_ids":["https://openalex.org/I63525965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102011179","display_name":"Fangzhen Lin","orcid":"https://orcid.org/0000-0002-3141-8675"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Fangzhen Lin","raw_affiliation_strings":["Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, People\u2019s Republic of China","Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, People's Republic of China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100456377","display_name":"Yan Zhang","orcid":"https://orcid.org/0000-0003-1585-0801"},"institutions":[{"id":"https://openalex.org/I63525965","display_name":"Western Sydney University","ror":"https://ror.org/03t52dk35","country_code":"AU","type":"education","lineage":["https://openalex.org/I63525965"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yan Zhang","raw_affiliation_strings":["Intelligent Systems Lab, School of Computing and Mathematics, University of Western Sydney, Sydney, New South Wales, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intelligent Systems Lab, School of Computing and Mathematics, University of Western Sydney, Sydney, New South Wales, Australia","institution_ids":["https://openalex.org/I63525965"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101839113"],"corresponding_institution_ids":["https://openalex.org/I63525965"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":1.5702,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.88698835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"57","issue":"2","first_page":"125","last_page":"160"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9965999722480774,"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.9958000183105469,"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/default-logic","display_name":"Default logic","score":0.9011099338531494},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.7959789037704468},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.6689032912254333},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5888819694519043},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5476738810539246},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.5418992042541504},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4882845878601074},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.4842195510864258},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.4823188781738281},{"id":"https://openalex.org/keywords/probabilistic-logic-network","display_name":"Probabilistic logic network","score":0.4786747097969055},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.47498172521591187},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40870213508605957},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3970593214035034},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3884775638580322}],"concepts":[{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.9011099338531494},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.7959789037704468},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.6689032912254333},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5888819694519043},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5476738810539246},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.5418992042541504},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4882845878601074},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.4842195510864258},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.4823188781738281},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.4786747097969055},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.47498172521591187},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40870213508605957},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3970593214035034},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3884775638580322},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10472-009-9161-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-009-9161-6","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"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-18558","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-18558","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W11793264","https://openalex.org/W28460116","https://openalex.org/W56211936","https://openalex.org/W117351571","https://openalex.org/W119525975","https://openalex.org/W142011187","https://openalex.org/W157999327","https://openalex.org/W169453374","https://openalex.org/W290319452","https://openalex.org/W1542026696","https://openalex.org/W1545164166","https://openalex.org/W1552604813","https://openalex.org/W1567252621","https://openalex.org/W1582663744","https://openalex.org/W1586434992","https://openalex.org/W1587067956","https://openalex.org/W1601726121","https://openalex.org/W1623618347","https://openalex.org/W1672891595","https://openalex.org/W1694306392","https://openalex.org/W1766332311","https://openalex.org/W1800801472","https://openalex.org/W1831160428","https://openalex.org/W1982644464","https://openalex.org/W1985274317","https://openalex.org/W1986999264","https://openalex.org/W1987903153","https://openalex.org/W1988045110","https://openalex.org/W1988882917","https://openalex.org/W1997714358","https://openalex.org/W2008106366","https://openalex.org/W2010160994","https://openalex.org/W2019449346","https://openalex.org/W2023797662","https://openalex.org/W2041487507","https://openalex.org/W2046618597","https://openalex.org/W2067326626","https://openalex.org/W2073491323","https://openalex.org/W2076073997","https://openalex.org/W2076698873","https://openalex.org/W2089296451","https://openalex.org/W2104806676","https://openalex.org/W2108400336","https://openalex.org/W2110472925","https://openalex.org/W2123740011","https://openalex.org/W2123810163","https://openalex.org/W2155322595","https://openalex.org/W2165108943","https://openalex.org/W2169146127","https://openalex.org/W2611415697","https://openalex.org/W2952727465","https://openalex.org/W4213009134","https://openalex.org/W4236476618"],"related_works":["https://openalex.org/W2005957522","https://openalex.org/W290319452","https://openalex.org/W1556144545","https://openalex.org/W1577123288","https://openalex.org/W11378686","https://openalex.org/W1408900831","https://openalex.org/W103897470","https://openalex.org/W2989366559","https://openalex.org/W1652051049","https://openalex.org/W2186219411"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}