{"id":"https://openalex.org/W2023797662","doi":"https://doi.org/10.1007/978-3-540-72200-7_21","title":"General Default Logic","display_name":"General Default Logic","publication_year":2007,"publication_date":"2007-06-05","ids":{"openalex":"https://openalex.org/W2023797662","doi":"https://doi.org/10.1007/978-3-540-72200-7_21","mag":"2023797662"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-72200-7_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72200-7_21","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":"conference-paper","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/A5101854123","display_name":"Yi Zhou","orcid":"https://orcid.org/0009-0004-8877-5173"},"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":"Yi Zhou","raw_affiliation_strings":["School of Computing and Mathematics, University of Western Sydney, Penrith South DC NSW 1797, Australia","School of Computing and Mathematics, University of Western Sydney, Penrith South DC, NSW, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematics, University of Western Sydney, Penrith South DC NSW 1797, Australia","institution_ids":["https://openalex.org/I63525965"]},{"raw_affiliation_string":"School of Computing and Mathematics, University of Western Sydney, Penrith South DC, NSW, 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, Clear Water Bay, Kowloon, Hong Kong","Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong,#TAB#","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":["School of Computing and Mathematics, University of Western Sydney, Penrith South DC NSW 1797, Australia","School of Computing and Mathematics, University of Western Sydney, Penrith South DC, NSW, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematics, University of Western Sydney, Penrith South DC NSW 1797, Australia","institution_ids":["https://openalex.org/I63525965"]},{"raw_affiliation_string":"School of Computing and Mathematics, University of Western Sydney, Penrith South DC, NSW, Australia","institution_ids":["https://openalex.org/I63525965"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"241","last_page":"253"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9973000288009644,"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.8482211828231812},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.6268520951271057},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5649251341819763},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5326679944992065},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.48623767495155334},{"id":"https://openalex.org/keywords/default","display_name":"Default","score":0.4597679674625397},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4432591497898102},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.4288107454776764},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.4157656729221344},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36693283915519714},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.34585875272750854},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.26205819845199585},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.16347777843475342},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.07137998938560486},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.05534055829048157}],"concepts":[{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.8482211828231812},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.6268520951271057},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5649251341819763},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5326679944992065},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.48623767495155334},{"id":"https://openalex.org/C69637215","wikidata":"https://www.wikidata.org/wiki/Q702362","display_name":"Default","level":2,"score":0.4597679674625397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4432591497898102},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.4288107454776764},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.4157656729221344},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36693283915519714},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.34585875272750854},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.26205819845199585},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.16347777843475342},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.07137998938560486},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.05534055829048157}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-72200-7_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72200-7_21","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:repository.hkust.edu.hk:1783.1-27588","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-27588","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":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W11793264","https://openalex.org/W28460116","https://openalex.org/W56211936","https://openalex.org/W119525975","https://openalex.org/W142011187","https://openalex.org/W157999327","https://openalex.org/W290319452","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/W1672891595","https://openalex.org/W1694306392","https://openalex.org/W1766332311","https://openalex.org/W1800801472","https://openalex.org/W1831160428","https://openalex.org/W1985274317","https://openalex.org/W1986999264","https://openalex.org/W1997714358","https://openalex.org/W2008106366","https://openalex.org/W2010160994","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/W2110472925","https://openalex.org/W2123740011","https://openalex.org/W2123810163","https://openalex.org/W2155322595","https://openalex.org/W2165108943","https://openalex.org/W2169146127","https://openalex.org/W2407465274","https://openalex.org/W2611415697","https://openalex.org/W2952307435","https://openalex.org/W2952727465"],"related_works":["https://openalex.org/W2666015","https://openalex.org/W2005957522","https://openalex.org/W2055558461","https://openalex.org/W290319452","https://openalex.org/W1573206013","https://openalex.org/W3100510665","https://openalex.org/W2020323165","https://openalex.org/W4205677294","https://openalex.org/W2075399510","https://openalex.org/W2989366559"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}